Sable / jasmin
☆95Updated 3 years ago
Alternatives and similar repositories for jasmin:
Users that are interested in jasmin are comparing it to the libraries listed below
- Polyglot Extensible Compiler Framework for Java☆110Updated 3 years ago
- a concolic testing engine for Java☆103Updated 7 years ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- Assembler / Disassembler for Java Bytecode☆23Updated 3 years ago
- Java bindings for LLVM libraries☆30Updated 11 years ago
- An LLVM IR Editor plugin for Eclipse☆51Updated 11 years ago
- A simple scripting frontend for the Java Debugger Interface☆58Updated 5 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago
- IFDS/IDE Solver for Soot and other frameworks☆240Updated last year
- A symbolic Java virtual machine for program analysis, verification and test generation☆109Updated 2 months ago
- Java tracing agent and live trace client☆73Updated last year
- A Java library to parse JVM bytecode, simulate the stack and extract as much information as possible☆41Updated 11 years ago
- Annotation hints for the Hotspot JVM JIT compiler.☆43Updated 2 years ago
- The C Preprocessor as a Java library☆109Updated 3 years ago
- A dynamic symbolic analysis tool for Java☆116Updated 5 years ago
- *old repository* --> this is now integrated in https://github.com/javaparser/javaparser☆292Updated 7 years ago
- Phosphor: Dynamic Taint Tracking for the JVM☆173Updated 2 months ago
- An extensible java agent framework that instruments (modifies the bytecode at class loading time) programs running on the JVM, with the p…☆47Updated 5 years ago
- Sample maven project containing a Java agent and examples of bytecode manipulation with ASM and Javassist☆56Updated 8 years ago
- VMVM: Unit Test Virtualization for Java☆26Updated 2 years ago
- Maxine VM: A meta-circular research VM☆327Updated 4 years ago
- Hot replaces classes in the JVM☆213Updated last year
- Framework model for static analysis of Android☆46Updated 8 years ago
- Fork of jdk8u/hotspot with support for JVMCI☆74Updated 3 years ago
- A constraint solver abstraction layer for Java☆21Updated last year
- Goal-directed static analysis tool for JVM languages.☆58Updated 8 years ago
- A Groovy AST transformation which allows writing the body of a method as bytecode instructions.☆48Updated 8 years ago
- Recaffeinating Java ☕️ with custom semantics and extensions☆51Updated 2 years ago
- dk.brics.automaton - finite-state automata and regular expressions for Java☆218Updated 7 months ago
- Apache Commons BCEL☆256Updated this week