A new version of Soot with a completely overhauled architecture
-
Updated
May 31, 2024 - Java
A new version of Soot with a completely overhauled architecture
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.
Soot - A Java optimization framework
Monitor air quality data near Marquette university (Engineering Hall)
This is a program to generate polydisperse synthetic soot aggregates from an ensemble of monomers of various sizes based on External Mixing Hypothesis.
A build well Android APK call graph generator
Corax for Java: A general static analysis framework for java code checking.
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.
Multiphysics models for use with the Pele suite of codes.
Concolic Unit Test Generation for Java
Stava is a static program analysis for identifying stack allocable objects of code written in Java 8
Confuzzion is a Java Virtual Machine (JVM) fuzzer generating Java programs to find bugs and vulnerabilities in the Java VM.
A step-by-step tutorial for Soot (a Java static analysis framework)
🔫 A tool to remind developers to maintain javadoc in Java8 project. (SOFT620020 & SOFT737001 PROJ)
南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference
Add a description, image, and links to the soot topic page so that developers can more easily learn about it.
To associate your repository with the soot topic, visit your repo's landing page and select "manage topics."