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
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.
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.
AMReX-Combustion/PeleMP
Multiphysics models for use with the Pele suite of codes.
DaweiX/UI-CTX
UI-CTX: demystifying Android UI behaviors with a concise and effective representation, in NDSS '25
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.
gupta-himanshu/static-analysis-scala
Static Analysis of Scala Programs - A Concept
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
ucam-ceb-como/FlamePyrometry
Soot temperature and volume fraction from colour photographs
izgzhen/droid-scripts
Executable scripts for helping with Android related work
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.
ch4174nya/CryptAnalyzer
A Static Analysis tool, based on Soot
rtfeng/FlowdroidCG
A build well Android APK call graph generator
arctic-risk/arctic-data
Repository to capture data, information, and insights from data related to climate change in the arctic.
Hamed-NKR/PFAL
A computational algorithm to produce fractal aggregates with hybridity in primary particles
schtho/soot-dotnet
.NET CIL Extension for Static Analysis Framework Soot
CMPT-479/VBNConcolicGen
Concolic Unit Test Generation for Java
egor-demidov/soot-dem-gui
DEM program for soot aggregate mechanics
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
aimanfatima/sootup-cfg-on-bugswarm-artifacts
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.
Alexandre-Bartel/permission-map
COPES (COllect PErmissionS) is a tool to extract permission checks from the Android Framework.
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