Artifacts using Soot A J*va Optimization Framework (19)
Sort by:Popular

Soot extending data flow tracking components for Java
Last Release on Jul 12, 2021
Efficient and Precise Pointer and Data-Flow Analysis
Last Release on Mar 12, 2025
Soot call graph constructor service
Last Release on Sep 20, 2022
Implementation for setting up Boomerang tests
Last Release on Mar 12, 2025
Alternative call graph constructor for Java
Last Release on Sep 24, 2020
Android-specific components of FlowDroid
Last Release on Sep 8, 2020
CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
Last Release on Mar 14, 2025
Fluent-interface configuration for Soot
Last Release on Mar 13, 2017
A collection of Java tools.
Last Release on Oct 29, 2018
A verification tool for model-checking Java pointer programs based on context-free graph grammars.
Last Release on Oct 28, 2019