Soot - A Java optimization framework
A new version of Soot with a completely overhauled architecture
A step-by-step tutorial for Soot (a Java static analysis framework)
Joint Advanced Defect assEsment for android applications
A tool to instrument Android APKs based on Soot
UI-CTX: demystifying Android UI behaviors with a concise and effective representation, in NDSS '25
Static Analysis of Scala Programs - A Concept
Stava is a static program analysis for identifying stack allocable objects of code written in Java 8
Confuzzion is a Java Virtual Machine (JVM) fuzzer generating Java programs to find bugs and vulnerabilities in the Java VM.
A build well Android APK call graph generator
Concolic Unit Test Generation for Java
A commutativity verifier for Java Reducer.
Implementing Value Range Analysis in Soot for fun and profit
A TArgeted Pointer Analysis for Java programs
This project is designed to enhance the usability of Software Defect Datasets, particularly Bugswarm. It involves using Sootup to create control flow graphs for the programs compiled with Bugswarm and Sootup. Additionally, the project aims to educate users on how to effectively implement Bugswarm in their projects for various use cases.
COPES (COllect PErmissionS) is a tool to extract permission checks from the Android Framework.
Add a description, image, and links to the soot topic page so that developers can more easily learn about it.
To associate your repository with the soot topic, visit your repo's landing page and select "manage topics."