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
- A reporting project on the performance of self-optimizing interpreters☆16Updated 9 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 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
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated 11 months ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated 3 weeks ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Updated 2 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 9 years ago
- ☆95Updated 3 years ago
- The Dyvil programming language☆64Updated last year
- Prana is a library providing a generic AST data structure called utree☆25Updated 13 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- Conceptum is a stack-based, lightweight, Turing-equivalent JIT virtual machine running a small set of bytecodes for benchmarking VM perfo…☆22Updated 7 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 8 years ago
- Java Software Transactional Memory☆57Updated 4 years ago
- Clank is a Java-port of popular Clang frontend☆38Updated 7 years ago
- Convert Java bytecode to firm IR☆18Updated 8 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- Java dialect using S-expressions☆31Updated 6 years ago
- DEPRECATED☆12Updated 9 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-spec☆26Updated 8 years ago
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- VMVM: Unit Test Virtualization for Java☆26Updated 2 years ago
- An implementation of Oz on top of Truffle and Graal☆41Updated 3 years ago
- A Java version of LLVM Core by Hao Liu☆22Updated 12 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆69Updated 8 years ago
- Fast Bytecode Analysis☆15Updated 9 years ago