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
- A tool for testing C compilers automatically☆21Updated 9 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- a concolic testing engine for Java☆106Updated 7 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 9 years ago
- Java bytecode generator for sound and precise partial program analysis☆24Updated 4 years ago
- The C Preprocessor as a Java library☆112Updated 4 years ago
- An x86 disassembler written in Java (port of udis86)☆13Updated 10 years ago
- Java Concolic Unit Testing Engine☆89Updated 10 years ago
- Clank is a Java-port of popular Clang frontend☆38Updated 7 years ago
- ☆95Updated 3 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆50Updated this week
- The Dyvil programming language☆64Updated last year
- Jssembly is a library that allows you to execute native assembly from Java.☆125Updated 8 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
- Polyglot Extensible Compiler Framework for Java☆112Updated 3 years ago
- Assembler / Disassembler for Java Bytecode☆23Updated 4 years ago
- A reporting project on the performance of self-optimizing interpreters☆16Updated 9 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 mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Updated 3 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- 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 3 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- My experimental programming language using Truffle☆111Updated 5 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-spec☆26Updated 9 years ago
- LuaTruffle, an implementation of Lua on the JVM using Truffle☆57Updated 10 years ago
- Pure java x86 and x86_64 assembler☆67Updated last year