Artifacts using soot version 4.0.0

Efficient and Precise Pointer and Data-Flow Analysis

Implementation for setting up Boomerang tests

IDE solver using Boomerang to resolve aliases

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.