cretz / javan-warty-pigLinks
AFL-like fuzzer for the Java Virtual Machine
☆49Updated 7 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:
- GramTest: A tool for Grammar based Test case generation☆88Updated 2 years ago
- coverage guided fuzz testing for java☆228Updated 4 years ago
- Optimizer library for tail recursive calls in Java bytecode☆124Updated 2 years ago
- Bil Lewis' Omniscient Debugger for Java.☆59Updated 6 years ago
- a concolic testing engine for Java☆105Updated 7 years ago
- Compiling string matching algorithms and regular expressions to java bytecode☆64Updated last week
- Java Concolic Unit Testing Engine☆93Updated 11 years ago
- A subset of BouncyCastle crypto primitives, refactored to use DirectByteBuffer.☆31Updated last year
- A simple scripting frontend for the Java Debugger Interface☆58Updated 6 years ago
- Recaffeinating Java ☕️ with custom semantics and extensions☆51Updated 3 years ago
- Standalone jdk.compiler / JDK javac Compiler Framework + Compiler Tree API☆48Updated 2 months ago
- A Java parser combinator library written with an unmatched feature set.☆131Updated 4 years ago
- Rubah is a Dynamic Software Updating (DSU) system for Java that works on stock JVMs☆24Updated 10 years ago
- Humio JITrex - Fast JVM Bytecode Regex Engine☆42Updated 3 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated 2 years ago
- An LLVM IR Editor plugin for Eclipse☆53Updated 12 years ago
- Purely functional data structures in Java☆39Updated 4 years ago
- ☆46Updated 3 years ago
- My experimental programming language using Truffle☆113Updated 5 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆80Updated 7 years ago
- Using z3's never been easier (maybe)☆102Updated 4 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated this week
- HTTP App. Server and JSON DB - Shared Parallel (Atomic) & Distributed☆148Updated 9 months ago
- A pure Java 7+ build tool with advanced compiler features and strong opinions☆40Updated 3 years ago
- A project to cause (controlled) destruction on your jvm application☆70Updated 4 years ago
- Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.☆105Updated 2 years ago
- A practical interface generator for data formats.☆128Updated 5 years ago
- Runs Java code without a build system, grabbing dependencies declared in the Java file itself.☆17Updated last year
- ☆97Updated 4 years ago