Alternatives and similar repositories for jvm-verifier

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

• Whiley / Jasm
  Assembler / Disassembler for Java Bytecode
  ☆23Updated 4 years ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆113Updated 3 years ago
• Sable / jasmin
  ☆97Updated 3 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆52Updated 11 years ago
• smarr / selfopt-interp-performance
  A reporting project on the performance of self-optimizing interpreters
  ☆16Updated 10 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Updated 10 years ago
• sgodbillon / BytecodeParser
  A Java library to parse JVM bytecode, simulate the stack and extract as much information as possible
  ☆42Updated 11 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• java-port / clank
  Clank is a Java-port of popular Clang frontend
  ☆38Updated 8 years ago
• Dyvil / Dyvil
  The Dyvil programming language
  ☆65Updated last month
• jfager / jdiscript
  A simple scripting frontend for the Java Debugger Interface
  ☆58Updated 5 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• richardstartin / perfasm-visualiser
  ☆14Updated 7 years ago
• cliffclick / aa
  Cliff Click Language Hacking
  ☆286Updated last month
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆88Updated 2 years ago
• shevek / jcpp
  The C Preprocessor as a Java library
  ☆115Updated 4 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆223Updated 2 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆80Updated 2 years ago
• kerneis / cpc
  Continuation Passing C
  ☆115Updated 6 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆53Updated 5 months ago
• ianopolous / JayD
  An x86 disassembler written in Java (port of udis86)
  ☆13Updated 10 years ago
• davidar / jasmin
  Jasmin is an assembler for the Java Virtual Machine ⛺
  ☆202Updated 2 years ago
• DeuceSTM / DeuceSTM
  Java Software Transactional Memory
  ☆57Updated 5 years ago
• aposwolsky / delphin
  The Delphin Project
  ☆10Updated 9 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated last month
• penberg / hornet
  Hornet, a JVM optimized for low-latency applications.
  ☆53Updated 10 years ago
• smowton / llpe
  ☆55Updated last year
• cuplv / thresher
  Static heap reachability analysis for Java bytecode and Android memory leak finder.
  ☆32Updated 11 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 9 years ago