cretz / javan-warty-pig
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
- coverage guided fuzz testing for java☆230Updated 3 years ago
- Standalone jdk.compiler / JDK javac Compiler Framework + Compiler Tree API☆46Updated last year
- VMVM: Unit Test Virtualization for Java☆26Updated 2 years ago
- Bil Lewis' Omniscient Debugger for Java.☆57Updated 5 years ago
- Compiling string matching algorithms and regular expressions to java bytecode☆56Updated this week
- Using z3's never been easier (maybe)☆101Updated 3 years ago
- A subset of BouncyCastle crypto primitives, refactored to use DirectByteBuffer.☆30Updated last year
- Recaffeinating Java ☕️ with custom semantics and extensions☆51Updated 3 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated last year
- Rubah is a Dynamic Software Updating (DSU) system for Java that works on stock JVMs☆24Updated 9 years ago
- A project to cause (controlled) destruction on your jvm application☆67Updated 3 years ago
- a concolic testing engine for Java☆105Updated 7 years ago
- Generalized Diffie-Hellman key exchange Java library built on top of the Vert.x framework☆32Updated 5 years ago
- Shrinks JARs by removing redundant class-files.☆75Updated 3 years ago
- Runs Java code without a build system, grabbing dependencies declared in the Java file itself.☆17Updated 11 months ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated 3 weeks ago
- Humio JITrex - Fast JVM Bytecode Regex Engine☆39Updated 3 years ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- ☆46Updated 2 years ago
- a web-based development environment for constructing parsers by example (backend code)☆17Updated 7 years ago
- CLI for resolving dependencies on the JVM☆32Updated 2 months ago
- Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.☆103Updated last year
- Java Byte Code 2 LLVM IR☆14Updated 10 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated 2 months ago
- GramTest: A tool for Grammar based Test case generation☆85Updated last year
- ☆18Updated 2 years ago
- Resumable exceptions and delimited continuations for JVM☆40Updated last month
- Java tracing agent and live trace client☆73Updated last year
- A pure Java 7+ build tool with advanced compiler features and strong opinions☆38Updated 3 years ago
- JVM agent to add method parameters to Java stack traces☆124Updated 7 years ago