krestenkrab / jvm-verifier
A Verifier for JVM byte code that you can run off-line with detailed error reporting. Great for compiler writers. Useless for everyone else.
☆16Updated 14 years ago
Alternatives and similar repositories for jvm-verifier:
Users that are interested in jvm-verifier are comparing it to the libraries listed below
- An LLVM IR Editor plugin for Eclipse☆51Updated 11 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Updated 2 years ago
- A reporting project on the performance of self-optimizing interpreters☆16Updated 9 years ago
- An x86 disassembler written in Java (port of udis86)☆13Updated 10 years ago
- A tool for testing C compilers automatically☆20Updated 9 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆50Updated 10 months ago
- ☆95Updated 3 years ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- Assembler / Disassembler for Java Bytecode☆23Updated 3 years ago
- Java Software Transactional Memory☆57Updated 4 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-spec☆26Updated 8 years ago
- Fork of Adobe/Mozilla lightweight library for generating machine code from C++☆35Updated 14 years ago
- ☆49Updated 11 months ago
- A Java version of LLVM Core by Hao Liu☆22Updated 12 years ago
- a concolic testing engine for Java☆102Updated 7 years ago
- Java dialect using S-expressions☆31Updated 6 years ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆58Updated 2 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- Polyglot Extensible Compiler Framework for Java☆110Updated 3 years ago
- Clank is a Java-port of popular Clang frontend☆38Updated 7 years ago
- Java bindings for LLVM libraries☆30Updated 11 years ago
- Fast Bytecode Analysis☆15Updated 9 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆69Updated 8 years ago
- VMVM: Unit Test Virtualization for Java☆26Updated 2 years ago
- Haxathon Supremacy Virtual Machine☆31Updated 7 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆29Updated 9 years ago
- This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…☆9Updated 7 years ago