Artifacts using Soot A J*va Optimization Framework (19)
5. Java Soot Call Graph Constructor Service3 usages
com.sap.research.security.vulas » lang-java-reach-sootApache
Alternative call graph constructor for Java
Last Release on Sep 24, 2020
8. SootConfig2 usages
de.tu-darmstadt.stg » sootconfigApache
Fluent-interface configuration for Soot
Last Release on Mar 13, 2017
10. Attestor1 usages
de.rwth.i2 » attestorGPL
A verification tool for model-checking Java pointer programs based on context-free graph grammars.
Last Release on Oct 28, 2019