Soot data-flow analysis

This repo consists of some Soot data-flow analysis.

In order to run any of the analysis, one has to compile the desired one with Maven, from the root folder of this repository:

mvn clean package

This will run all tests, and build all analysis, producing a jar named zero-analysis-1.0-SNAPSHOT-jar-with-dependencies.jar, for example.

To run any of the analysis, use the following command, turning on the corresponding phase (for this ones, check the analysis title):

java -jar sensible-data-leak-detector/target/sensible-data-leak-detector-1.0-SNAPSHOT-jar-with-dependencies.jar 
    -keep-line-number 
     -f J 
     -v -pp 
     -cp sensible-data-leak-detector/target/test-classes:sensible-data-leak-detector/target/classes 
     -print-tags 
     -p jtp.SensibleData on 
     soot.analyzables.TestMain

Analysis

• Division by Zero Analysis
• Sensible data leaks analysis

Other modules

There are some other modules inside this repository, for example:

• Utils: Contains some cross-analysis classes, like ValueVisitor<T>.
• Analysis Parent POM: Maven's parent pom for any analysis. Contains plugins in the build and package phase useful for packing all dependencies, and setting the main class.