Alternatives and similar repositories for jvm-verifier

Users that are interested in jvm-verifier are comparing it to the libraries listed below

• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆52Updated 11 years ago
• ianopolous / JayD
  An x86 disassembler written in Java (port of udis86)
  ☆13Updated 10 years ago
• Whiley / Jasm
  Assembler / Disassembler for Java Bytecode
  ☆23Updated 4 years ago
• plasma-umass / DoubleTake
  Evidence-based dynamic analysis: a fast checker for memory errors.
  ☆21Updated 8 years ago
• penberg / hornet
  Hornet, a JVM optimized for low-latency applications.
  ☆53Updated 10 years ago
• Sable / jasmin
  ☆95Updated 3 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• rwl / JLLVM
  A Java version of LLVM Core by Hao Liu
  ☆23Updated 12 years ago
• jnr / jnr-x86asm
  Pure java x86 and x86_64 assembler
  ☆67Updated last year
• MiniJavaCompiler / MiniJavaLLVM
  MiniJava x86, LLVM Compiler and Interpreter
  ☆74Updated 9 years ago
• microvm / microvm-spec
  We have moved: https://gitlab.anu.edu.au/mu/mu-spec
  ☆26Updated 9 years ago
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 8 years ago
• Dyvil / Dyvil
  The Dyvil programming language
  ☆64Updated last year
• smarr / selfopt-interp-performance
  A reporting project on the performance of self-optimizing interpreters
  ☆16Updated 9 years ago
• DavePearce / jkit
  Java Compiler Kit (JKit)
  ☆12Updated 8 years ago
• ksen007 / janala2
  a concolic testing engine for Java
  ☆106Updated 7 years ago
• radare / sal
  Scripting Assembly Language
  ☆12Updated 9 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• dslab-epfl / lfi
  Fault injection library
  ☆22Updated 10 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 8 years ago
• gmarpons / Crisp
  A Clang/LLVM add-on to enforce coding rules
  ☆33Updated 11 years ago
• ExtendJ / ExtendJ
  This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket
  ☆12Updated 3 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• doublec / nanojit
  Fork of Adobe/Mozilla lightweight library for generating machine code from C++
  ☆35Updated 15 years ago
• java-port / clank
  Clank is a Java-port of popular Clang frontend
  ☆39Updated 7 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated 3 weeks ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• embecosm / gnu-superopt
  The GNU Superoptimizer
  ☆26Updated 10 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆44Updated 9 years ago