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

Soot extending data flow tracking components for Java
Last Release on Oct 9, 2024
Scope implementation that allows running Boomerang and IDEal with different analysis frameworks
Last Release on Mar 12, 2025
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
Implementation for setting up Boomerang tests
Last Release on Mar 12, 2025
CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
Last Release on Mar 31, 2025
Scope implementation to run Boomerang and IDEal with Soot
Last Release on Mar 12, 2025
Emt4j Common
Last Release on Mar 9, 2023
IDE solver using Boomerang to resolve aliases
Last Release on Mar 12, 2025
String Analysis for the COAL Solver.
Last Release on Jun 27, 2022