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
Related projects ⓘ
Alternatives and complementary repositories for jvm-verifier
- An LLVM IR Editor plugin for Eclipse☆51Updated 10 years ago
- JVM Abstracting Abstract Machine☆25Updated 5 years ago
- A reporting project on the performance of self-optimizing interpreters☆16Updated 8 years ago
- ☆49Updated 8 months ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- ☆10Updated 8 years ago
- An x86 disassembler written in Java (port of udis86)☆13Updated 9 years ago
- ☆14Updated 6 years ago
- A tool for testing C compilers automatically☆20Updated 8 years ago
- The Dyvil programming language☆64Updated 10 months ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Updated 2 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆50Updated 7 months 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
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- Java bindings for LLVM libraries☆30Updated 11 years ago
- Polyglot Extensible Compiler Framework for Java☆108Updated 2 years ago
- Clank is a Java-port of popular Clang frontend☆38Updated 7 years ago
- Convert Java bytecode to firm IR☆18Updated 7 years ago
- Assembler / Disassembler for Java Bytecode☆24Updated 3 years ago
- C Language Analysis in Rascal☆25Updated last week
- The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…☆8Updated 3 years ago
- ☆94Updated 2 years ago
- ☆33Updated 9 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- The C/C++/Fortran compiler collection written in Java☆36Updated 3 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 3 years ago
- Thor Hammer and a way to express invokedynamic in Java☆18Updated 4 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago