Artifacts using soot version 4.3.0

Soot extending data flow tracking components for Java

Emt4j Common

jimple2cpg

String Analysis for the COAL Solver.

Useful classes and methods

Useful classes and methods

The tool checks Camunda projects for consistency and discovers errors in process-driven applications. Called as a JUnit test, it discovers esp. inconsistencies of a given BPMN model in the classpath and the sourcecode of an underlying java project, such as a delegate reference to a non-existing java class or a non-existing Spring bean.