Search Results for "soot"

Soot is a Java optimization framework. It provides four intermediate representations for analyzing and transforming Java bytecode. Baf: a streamlined representation of bytecode which is simple to manipulate. Jimple: a typed 3-address intermediate representation suitable for optimization. Shimple: an SSA variation of Jimple. Grimp: an aggregated version of Jimple suitable for decompilation and code inspection.

...It is primarily based on the idea of program analysis and code mutation. The cross boundary data exchanges are identified by performing data flow analysis using java byte code analysis and transformation framework-soot. Mutant injection is also done via the soot framework. jMINT tool can be used to measure the effectiveness of integration test suites.

PSF is a path-sensitive, inter-procedural program analysis framework developed on top of Soot.

The JAnalyzer Toolkit implements a visualisation tool for static analysis on Java applications. The analysis is based on the SOOT bytecode optimization package. So the program is capable of analysing sourcecode as well as bytecode packages.

JC is a Java virtual machine implementation that converts class files into C source files using the Soot Java bytecode analysis framework, compiles them with GCC, and loads them using a built-in ELF object loader. JC uses GNU Classpath's class library.