Lists (20)
Sort Name ascending (A-Z)
Android Concolic&Dynamic Anlysis
Android Static&DataFlow Analysis
Concolic Execution
Concrete Execution
Dynamic Analysis
Firmware Reverse Engineering
Java Concolic Execution
Java Concrete Execution
Java Dynamic Analysis
Java Opti&Dec&Obf&Deobf&Tools
Java Static&IR&DataFlow Analysis
Java Symbolic Execution&Solver
.Net Concolic&Dynamic Anlysis
.Net Static&DataFlow Analysis
Opti&Dec&Obf&Deobf&Tools
Static&IR&DataFlow Analysis
Symbolic Execution&Solver
Temp
Web AST&Static&DataFlow Analysis
Web Concolic&Dynamic Analysis
Starred repositories
Runtime code generation for the Java virtual machine.
BTrace - a safe, dynamic tracing tool for the Java platform
LWJGL is a Java library that enables cross-platform access to popular native APIs useful in the development of graphics (OpenGL, Vulkan, bgfx), audio (OpenAL, Opus), parallel computing (OpenCL, CUD…
Allows you to emulate an Android native library, and an experimental iOS emulation
Decompiler from Java bytecode to Java, used in IntelliJ IDEA.
Modern Java decompiler aiming to be as accurate as possible, with an emphasis on output quality. Fork of the Fernflower decompiler.
FlowDroid Static Data Flow Tracker
Multifunctional java deobfuscation tool suite
T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.
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…
This is a fork of cuchaz's Enigma, a deobfuscation/remapping tool for Java software.
A symbolic Java virtual machine for program analysis, verification and test generation
SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.