Soot - A Java optimization framework

• UpdatedMar 5, 2025
• Java

A new version of Soot with a completely overhauled architecture

• UpdatedMar 18, 2025
• Java

A step-by-step tutorial for Soot (a Java static analysis framework)

• UpdatedDec 23, 2022
• Java

Joint Advanced Defect assEsment for android applications

• UpdatedApr 12, 2017
• Java

Corax for Java: A general static analysis framework for java code checking.

• UpdatedDec 3, 2024
• Kotlin

A tool to instrument Android APKs based on Soot

• UpdatedJul 8, 2020
• Java

Analysis for access-control vulnerabilities in Java Spring Security applications.

• UpdatedMay 25, 2022
• JavaScript

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.

• UpdatedSep 19, 2024
• MATLAB

Multiphysics models for use with the Pele suite of codes.

• UpdatedJan 26, 2024
• C++

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.

• UpdatedOct 15, 2017
• Python

Detailed population balance modelling

• UpdatedOct 29, 2023
• C++

Stava is a static program analysis for identifying stack allocable objects of code written in Java 8

• UpdatedFeb 16, 2023
• Java

Static Analysis of Scala Programs - A Concept

• UpdatedMay 19, 2014
• Java

Soot temperature and volume fraction from colour photographs

• UpdatedAug 13, 2021
• Python

UI-CTX: demystifying Android UI behaviors with a concise and effective representation, in NDSS '25

• UpdatedJan 17, 2025
• Java

A build well Android APK call graph generator

• UpdatedApr 18, 2024
• Java

Executable scripts for helping with Android related work

• UpdatedDec 17, 2020
• Shell

Confuzzion is a Java Virtual Machine (JVM) fuzzer generating Java programs to find bugs and vulnerabilities in the Java VM.

• UpdatedMay 24, 2024
• Java

A Static Analysis tool, based on Soot

• UpdatedJul 20, 2020
• Java

Repository to capture data, information, and insights from data related to climate change in the arctic.

• UpdatedOct 29, 2021
• Jupyter Notebook