Starred repositories
BTrace - a safe, dynamic tracing tool for the Java platform
Unofficial mirror of FernFlower Java decompiler (All pulls should be submitted upstream)
Coverage-guided, in-process fuzzing for the JVM
An open source ML system for the end-to-end data science lifecycle
Programs for producing static and dynamic (runtime) call graphs for Java programs
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
JQF + Zest: Coverage-guided semantic fuzzing for Java.
A new version of Soot with a completely overhauled architecture
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastruc…
Programs for producing static call graphs for Java programs.
Auto Shift Planner is a user-friendly desktop application that can design detailed employees shift schedules and solve them automatically while meeting the maximum satisfaction of constraints.
A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)