cretz / javan-warty-pigLinks
AFL-like fuzzer for the Java Virtual Machine
☆48Updated 6 years ago
Alternatives and similar repositories for javan-warty-pig
Users that are interested in javan-warty-pig are comparing it to the libraries listed below
Sorting:
- Compiling string matching algorithms and regular expressions to java bytecode☆58Updated last month
- Recaffeinating Java ☕️ with custom semantics and extensions☆51Updated 3 years ago
- coverage guided fuzz testing for java☆230Updated 4 years ago
- a concolic testing engine for Java☆106Updated 7 years ago
- Bil Lewis' Omniscient Debugger for Java.☆57Updated 5 years ago
- Standalone jdk.compiler / JDK javac Compiler Framework + Compiler Tree API☆46Updated last year
- Optimizer library for tail recursive calls in Java bytecode☆123Updated 2 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated last year
- Java Concolic Unit Testing Engine☆89Updated 10 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated 2 weeks ago
- VMVM: Unit Test Virtualization for Java☆26Updated 2 years ago
- A simple scripting frontend for the Java Debugger Interface☆58Updated 5 years ago
- Humio JITrex - Fast JVM Bytecode Regex Engine☆39Updated 3 years ago
- Incremental Program Analysis Framework☆90Updated 4 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation☆58Updated 7 years ago
- JVM agent to add method parameters to Java stack traces☆125Updated 7 years ago
- A controlled concurrency testing framework for the JVM☆99Updated this week
- Runs Java code without a build system, grabbing dependencies declared in the Java file itself.☆17Updated last year
- ☆46Updated 2 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆70Updated 9 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated this week
- ☆14Updated 6 years ago
- Rubah is a Dynamic Software Updating (DSU) system for Java that works on stock JVMs☆24Updated 9 years ago
- Vectorized UTF-8 Validation for Java☆64Updated 11 months ago
- GramTest: A tool for Grammar based Test case generation☆86Updated last year
- a web-based development environment for constructing parsers by example (backend code)☆17Updated 7 years ago
- My experimental programming language using Truffle☆111Updated 5 years ago
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- A Java library to parse JVM bytecode, simulate the stack and extract as much information as possible☆41Updated 11 years ago