soot
There are 55 repositories under soot topic.
soot-oss/soot
Soot - A Java optimization framework
soot-oss/SootUp
A new version of Soot with a completely overhauled architecture
noidsirius/SootTutorial
A step-by-step tutorial for Soot (a Java static analysis framework)
flankerhqd/JAADAS
Joint Advanced Defect assEsment for android applications
canliture/nju-software-analysis-homework
南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference
Feysh-Group/corax-community
Corax for Java: A general static analysis framework for java code checking.
noidsirius/android-soot-instrumentor
A tool to instrument Android APKs based on Soot
secure-software-engineering/authcheck
Analysis for access-control vulnerabilities in Java Spring Security applications.
AMReX-Combustion/PeleMP
Multiphysics models for use with the Pele suite of codes.
tsipkens/atems
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.
JonaNeu/Phenax
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.
ucam-ceb-como/MOpS
Detailed population balance modelling
CompL-Research/stava
Stava is a static program analysis for identifying stack allocable objects of code written in Java 8
gupta-himanshu/static-analysis-scala
Static Analysis of Scala Programs - A Concept
ucam-ceb-como/FlamePyrometry
Soot temperature and volume fraction from colour photographs
ch4174nya/CryptAnalyzer
A Static Analysis tool, based on Soot
izgzhen/droid-scripts
Executable scripts for helping with Android related work
rtfeng/FlowdroidCG
A build well Android APK call graph generator
software-engineering-and-security/confuzzion
Confuzzion is a Java Virtual Machine (JVM) fuzzer generating Java programs to find bugs and vulnerabilities in the Java VM.
arctic-risk/arctic-data
Repository to capture data, information, and insights from data related to climate change in the arctic.
DaweiX/UI-CTX
UI-CTX: demystifying Android UI behaviors with a concise and effective representation, in NDSS '25
schtho/soot-dotnet
.NET CIL Extension for Static Analysis Framework Soot
Hamed-NKR/MCEM
This is a program to generate polydisperse synthetic soot aggregates from an ensemble of monomers of various sizes based on External Mixing Hypothesis.
spencerwuwu/J-ReCoVer
A commutativity verifier for Java Reducer.
ucam-ceb-como/HRTEMFringeMapping
Matlab code for mapping fringes in HRTEM images of soot
acuoci/LIISignals
Simulation of Laser-Induced Incandescence (LII) signals
Alexandre-Bartel/permission-map
COPES (COllect PErmissionS) is a tool to extract permission checks from the Android Framework.
CMPT-479/VBNConcolicGen
Concolic Unit Test Generation for Java
egor-demidov/soot-dem-gui
DEM program for soot aggregate mechanics
jgiaccai/Raman-curve-fit
Programs for fitting Raman data of soot with multiple peaks and wavelengths
nitzanfarhi/JimpleInstrument
Construction of Spec files using a running of java bytecode
oyeb/range-analysis
Implementing Value Range Analysis in Soot for fun and profit
shaunazzopardi/tapa
A TArgeted Pointer Analysis for Java programs
thepalbi/souffle-points-to-analysis
Souffle + Soot points to analysis
tsipkens/wat-lii-fluence
A simple Matlab utility to evaluate the transition fluence and temperature relevant to time-resolved laser-induced incandescence (TiRe-LII) fluence curves.
ufarooq/HelloTransform-Soot
Getting started with Soot Transformer and Packs