Write your own Interprocedural Dataflow Analysis

Dependencies

MavenGradle

<dependency>
    <groupId>org.soot-oss</groupId>
    <artifactId>sootup.analysis</artifactId>
    <version></version>
</dependency>

    compile "org.soot-oss:sootup.analysis:1.3.0"

Useful Knowledge

Background Knowledge as online lectures are available on YouTube.

• IFDS Framework
• IDE Framework

Examples

Taint Analysis, TypeState Analysis, Linear Constant Propagation, ...

// TODO incorporate & guide through examples

In the meantime please have a look into the test cases of the
analysis submodule to see example implementations of interprocedural
data-flow analysis via the IFDS or IDE Framework.