GitHub topics: soot
soot-oss/SootUp
A new version of Soot with a completely overhauled architecture
Language: Java - Size: 294 MB - Last synced at: about 12 hours ago - Pushed at: about 13 hours ago - Stars: 690 - Forks: 91
soot-oss/soot
Soot - A Java optimization framework
Language: Java - Size: 821 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 2,972 - Forks: 720
AymenDaoudi/Rimaz
Rimaz static byte code analyzer for Android applications written in Java.
Language: Java - Size: 26.7 MB - Last synced at: 3 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
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.
Language: MATLAB - Size: 231 MB - Last synced at: 2 days ago - Pushed at: 9 months ago - Stars: 11 - Forks: 8
Hamed-NKR/PFAL
A computational algorithm to produce fractal aggregates with hybridity in primary particles
Language: MATLAB - Size: 133 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 2 - Forks: 0
Feysh-Group/corax-community
Corax for Java: A general static analysis framework for java code checking.
Language: Kotlin - Size: 38 MB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 239 - Forks: 20
flankerhqd/JAADAS ๐ฆ
Joint Advanced Defect assEsment for android applications
Language: Java - Size: 50.2 MB - Last synced at: 3 months ago - Pushed at: about 8 years ago - Stars: 348 - Forks: 107
DaweiX/UI-CTX
UI-CTX: demystifying Android UI behaviors with a concise and effective representation, in NDSS '25
Language: Java - Size: 5.18 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 3 - Forks: 0
mrigankpawagi/ArrayBoundsAnalysis ๐ฆ
Static analysis to find out-of-bound array indexes in Java programs.
Language: Java - Size: 15.5 MB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
egor-demidov/soot-dem-gui
DEM program for soot aggregate mechanics
Language: C++ - Size: 3.32 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0
noidsirius/SootTutorial
A step-by-step tutorial for Soot (a Java static analysis framework)
Language: Java - Size: 5.68 MB - Last synced at: 7 months ago - Pushed at: over 2 years ago - Stars: 430 - Forks: 176
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.
Language: Java - Size: 249 KB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 2
secure-software-engineering/authcheck
Analysis for access-control vulnerabilities in Java Spring Security applications.
Language: JavaScript - Size: 11.4 MB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 14 - Forks: 3
izgzhen/droid-scripts
Executable scripts for helping with Android related work
Language: Shell - Size: 77.7 MB - Last synced at: 6 months ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 2
jgiaccai/Raman-curve-fit
Programs for fitting Raman data of soot with multiple peaks and wavelengths
Language: Python - Size: 264 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0
acuoci/LIISignals
Simulation of Laser-Induced Incandescence (LII) signals
Language: C++ - Size: 57.6 KB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 0
thepalbi/souffle-points-to-analysis
Souffle + Soot points to analysis
Language: Java - Size: 98.6 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
CompL-Research/stava
Stava is a static program analysis for identifying stack allocable objects of code written in Java 8
Language: Java - Size: 27.6 MB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 6
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.
Language: MATLAB - Size: 24.4 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
rtfeng/FlowdroidCG
A build well Android APK call graph generator
Language: Java - Size: 86.5 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 2
noidsirius/android-soot-instrumentor
A tool to instrument Android APKs based on Soot
Language: Java - Size: 977 KB - Last synced at: 10 months ago - Pushed at: almost 5 years ago - Stars: 15 - Forks: 6
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.
Language: Java - Size: 6.84 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
AMReX-Combustion/PeleMP
Multiphysics models for use with the Pele suite of codes.
Language: C++ - Size: 5.46 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 8
canliture/nju-software-analysis-homework
ๅไบฌๅคงๅญฆใ่ฝฏไปถๅๆใ่ฏพ็จ่ฏพๅไฝไธ(้Bamboo) NJU's software analysis homework; ... Not official, just a reference
Language: Java - Size: 2.51 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 275 - Forks: 38
arctic-risk/arctic-data
Repository to capture data, information, and insights from data related to climate change in the arctic.
Language: Jupyter Notebook - Size: 15.4 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0
ucam-ceb-como/MOpS
Detailed population balance modelling
Language: C++ - Size: 28.4 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 5
ucam-ceb-como/FlamePyrometry
Soot temperature and volume fraction from colour photographs
Language: Python - Size: 51.8 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 3
schtho/soot-dotnet
.NET CIL Extension for Static Analysis Framework Soot
Language: C# - Size: 212 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1
CMPT-479/VBNConcolicGen
Concolic Unit Test Generation for Java
Language: Java - Size: 479 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
comp-comb/vizData
Monitor air quality data near Marquette university (Engineering Hall)
Language: Jupyter Notebook - Size: 190 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
skyleaworlder/javadoc-reminder
:gun: A tool to remind developers to maintain javadoc in Java8 project. (SOFT620020 & SOFT737001 PROJ)
Language: Scala - Size: 129 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
Alexandre-Bartel/permission-map
COPES (COllect PErmissionS) is a tool to extract permission checks from the Android Framework.
Language: Java - Size: 13.8 MB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1
ufarooq/HelloTransform-Soot
Getting started with Soot Transformer and Packs
Language: Java - Size: 11.5 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1
sangjin-hash/FLUID_UseCase
๋ค์ค ์ํผ์ค ์ํธ์์ฉ ์ง์์ ์ํ ๋ชจ๋ฐ์ผ ์ฑ ๋ณํ ํ๋ ์์ํฌ
Language: Java - Size: 72.1 MB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 1
LideLinusZhang/recursioncheck-maven-plugin
CIS 2019 Summer Program Final Project
Language: Java - Size: 69.3 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
hafizmfamin/hafizmfamin.github.io
Language: HTML - Size: 102 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
ucam-ceb-como/HRTEMFringeMapping
Matlab code for mapping fringes in HRTEM images of soot
Language: MATLAB - Size: 1 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
FireElementalNE/MPCLoopParallelization
Loop Parallelization for MPC
Language: Java - Size: 569 KB - Last synced at: 9 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
shaunazzopardi/tapa
A TArgeted Pointer Analysis for Java programs
Language: Java - Size: 14.8 MB - Last synced at: 1 day ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 1
ch4174nya/CryptAnalyzer
A Static Analysis tool, based on Soot
Language: Java - Size: 201 MB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 5 - Forks: 2
nitzanfarhi/JimpleInstrument
Construction of Spec files using a running of java bytecode
Language: HTML - Size: 13.9 MB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 1
thepalbi/SootLab
Interactive lab for experimenting with Soot IRs
Language: JavaScript - Size: 217 KB - Last synced at: 3 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
ufarooq/DroidCFG
Language: Java - Size: 210 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 2
oyeb/range-analysis
Implementing Value Range Analysis in Soot for fun and profit
Language: Java - Size: 587 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
spencerwuwu/J-ReCoVer
A commutativity verifier for Java Reducer.
Language: Java - Size: 155 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1
Harkirat94/bughunter
Exception analysis tool to identify potential runtime exceptions that can occur in a Java program.
Language: Java - Size: 20.5 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
kshitijgorde/Interprocedural-CFG
Language: GAP - Size: 180 MB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
deepak0004/Inter_And_Intra
Language: Java - Size: 28.3 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
lingfennan/app-rewriter
Language: Java - Size: 37.3 MB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 2
gupta-himanshu/static-analysis-scala
Static Analysis of Scala Programs - A Concept
Language: Java - Size: 184 KB - Last synced at: almost 2 years ago - Pushed at: about 11 years ago - Stars: 7 - Forks: 1
