/SVF-MTA-EclipsePlugin

EclipsePlugin of Data Race Detection

Primary LanguageJava

SVF-MTA-EclipsePlugin

Eclipse Plugin for Data Race Detection

plug-in example - youtube

Setup instructions.

  1. Download the plugin (PLUGIN NAME) at (ADDRESS). (When released).

  2. Download the MTA tool and libraries at (ADDRESS).

  3. Setup the LLVM Gold plugin. Instructions are at https://github.com/SVF-tools/SVF/wiki/Install-LLVM-Gold-Plugin-on-Ubuntu

  4. In your C/C++ project set up a debug configuration. Toolchain must be LLVM with Clang. Imgur

  5. Right click the project's "Properties": And use the following compiler settings
    Imgur
    Imgur
    Building with the Debug configuration will yield bitcode files in the Debug folder
    Imgur

  6. Setup the MTA external tool: In 'External Tools Configurations'

  • Location: path to MTA
  • Working Directory: Current working directory
  • Arguments: -mhp <OUTPUTNAME>.bc
    Imgur

  1. Run the MTA external tool to generate the output.txt file

  2. Now errors in the file should be annotated if there are errors.