57 results for “topic:soot”
Soot - A Java optimization framework
A new version of Soot with a completely overhauled architecture
A step-by-step tutorial for Soot (a Java static analysis framework)
Joint Advanced Defect assEsment for android applications
Corax for Java: A general static analysis framework for java code checking.
A tool to instrument Android APKs based on Soot
Analysis for access-control vulnerabilities in Java Spring Security applications.
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.
UI-CTX: demystifying Android UI behaviors with a concise and effective representation, in NDSS '25
Multiphysics models for use with the Pele suite of codes.
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.
Detailed population balance modelling
Static Analysis of Scala Programs - A Concept
Stava is a static program analysis for identifying stack allocable objects of code written in Java 8
Soot temperature and volume fraction from colour photographs
Executable scripts for helping with Android related work
Confuzzion is a Java Virtual Machine (JVM) fuzzer generating Java programs to find bugs and vulnerabilities in the Java VM.
A Static Analysis tool, based on Soot
A build well Android APK call graph generator
Repository to capture data, information, and insights from data related to climate change in the arctic.
.NET CIL Extension for Static Analysis Framework Soot
A computational algorithm to produce fractal aggregates with hybridity in primary particles
Concolic Unit Test Generation for Java
Matlab code for mapping fringes in HRTEM images of soot
DEM program for soot aggregate mechanics
A commutativity verifier for Java Reducer.
Implementing Value Range Analysis in Soot for fun and profit
Construction of Spec files using a running of java bytecode
Getting started with Soot Transformer and Packs
A TArgeted Pointer Analysis for Java programs