Skip to content
EclipsePlugin of Data Race Detection
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
svfmtaplugin
.gitignore
README.md

README.md

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.

You can’t perform that action at this time.