Artifacts using Soot A J*va Optimization Framework (21)
Sort:
popular
|
newest
3. 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
6. 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