krestenkrab / jvm-verifierLinks
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 15 years ago
Alternatives and similar repositories for jvm-verifier
Users that are interested in jvm-verifier are comparing it to the libraries listed below
Sorting:
- An LLVM IR Editor plugin for Eclipse☆51Updated 11 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 last year
- Artifact accompanying our OOPSLA'15 publication.☆33Updated last year
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Updated 2 years ago
- An x86 disassembler written in Java (port of udis86)☆13Updated 10 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
- A tool for testing C compilers automatically☆21Updated 9 years ago
- Prana is a library providing a generic AST data structure called utree☆25Updated 13 years ago
- ☆14Updated 6 years ago
- DEPRECATED☆12Updated 9 years ago
- BSD Licensed Bignum Library☆233Updated last year
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- Deterministic Regular Expressions with Backreferences☆21Updated 4 years ago
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-spec☆26Updated 8 years ago
- ☆33Updated 10 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆32Updated 5 years ago
- ☆89Updated 3 years ago
- Evidence-based dynamic analysis: a fast checker for memory errors.☆21Updated 8 years ago
- custom type systems for Clang☆98Updated 9 years ago
- a concolic testing engine for Java☆106Updated 7 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- PIOS: Parallel Instructional Operating System - Instructional Template Code☆37Updated 12 years ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆58Updated 3 years ago
- Runtime code generation for x86 machine code☆26Updated last year
- Parser for the llvm bitcode format☆59Updated 2 months ago