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
Sorting:
- An LLVM IR Editor plugin for Eclipse☆51Updated 11 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- An x86 disassembler written in Java (port of udis86)☆13Updated 10 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last year
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆26Updated 2 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- 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
- We have moved: https://gitlab.anu.edu.au/mu/mu-spec☆26Updated 8 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- The library FDR3 uses for parsing, type checking and evaluating machine CSP.☆31Updated 2 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- A reporting project on the performance of self-optimizing interpreters☆16Updated 9 years ago
- ☆95Updated 3 years ago
- DEPRECATED☆12Updated 9 years ago
- ☆52Updated last year
- Clank is a Java-port of popular Clang frontend☆38Updated 7 years ago
- Java bytecode generator for sound and precise partial program analysis☆23Updated 3 years ago
- ☆89Updated 3 years ago
- C++ compile-time Prolog interpreter☆66Updated 11 years ago
- ☆33Updated 10 years ago
- BSD Licensed Bignum Library☆233Updated last year
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆58Updated 2 years ago
- Runtime code generation for x86 machine code☆26Updated last year
- Polyglot Extensible Compiler Framework for Java☆112Updated 3 years ago
- The Delphin Project☆10Updated 8 years ago
- Hornet, a JVM optimized for low-latency applications.☆53Updated 9 years ago
- a concolic testing engine for Java☆106Updated 7 years ago
- Assembler / Disassembler for Java Bytecode☆23Updated 3 years ago
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Updated 10 years ago