MaC Home  |   CIS Home  |   Penn Engineering  |   Penn

MaC Download




User should download and install following three packages to use MaCware.

  1. MaCware

    There are two versions:

    • Version 0.991: Similar to version 0.99. The difference is the ' notion in MEDL auxiliary variables. The auxiliary variable that ends with ' denote a new value of that variable.
    • Version 0.99

    Both versions contain:

    • PEDL,MEDL and SADL compilers and Instrumentor
    • Filter/Injector, Event Recognizer, Run-time Checker
    • Examples and GUI
    • User manual and Language manual
    • Known Bug : filter sends 4 bytes for byte,char and short variables, which can crash event recognizer.

  2. JTrek Version 1.1 (by Compaq): You can download from here. Note: JTrek is no longer supported by Compaq.

  3. Manuals

MaC Home  |   CIS Home  |   Penn Engineering  |   Penn