There are 2 repositories under soot topic.
A step-by-step tutorial for Soot (a Java static analysis framework)
Joint Advanced Defect assEsment for android applications
南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference
Corax for Java: A general static analysis framework for java code checking.
A tool to instrument Android APKs based on Soot
Analysis for access-control vulnerabilities in Java Spring Security applications.
Multiphysics models for use with the Pele suite of codes.
A MATLAB codebase to analyze TEM images of soot, which includes new methods associated with this project and a compilation of other pre-existing methods into a single package.
Stava is a static program analysis for identifying stack allocable objects of code written in Java 8
Static Analysis of Scala Programs - A Concept
Phenax is an open source framework to test Android applications whether they are malicious or not. Using a tool called GroddDroid and machine learning algorithms this framework repeatedly runs a number of goodware and malware applications forcing a different execution path in each application in each run.
Soot temperature and volume fraction from colour photographs
Executable scripts for helping with Android related work
A build well Android APK call graph generator
Confuzzion is a Java Virtual Machine (JVM) fuzzer generating Java programs to find bugs and vulnerabilities in the Java VM.
Repository to capture data, information, and insights from data related to climate change in the arctic.
Simulation of Laser-Induced Incandescence (LII) signals
This is a program to generate polydisperse synthetic soot aggregates from an ensemble of monomers of various sizes based on External Mixing Hypothesis.
.NET CIL Extension for Static Analysis Framework Soot
A commutativity verifier for Java Reducer.
COPES (COllect PErmissionS) is a tool to extract permission checks from the Android Framework.
Concolic Unit Test Generation for Java
Programs for fitting Raman data of soot with multiple peaks and wavelengths
Construction of Spec files using a running of java bytecode
Implementing Value Range Analysis in Soot for fun and profit
A TArgeted Pointer Analysis for Java programs
A simple Matlab utility to evaluate the transition fluence and temperature relevant to time-resolved laser-induced incandescence (TiRe-LII) fluence curves.
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.
A redundant null-check analysis and removal implementation using Soot on java, performed on Eclipse OpenJ9 JVM