Alternatives and similar repositories for jvm-verifier

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

• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆114Updated 3 years ago
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆92Updated 11 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆52Updated 11 years ago
• Sable / jasmin
  ☆97Updated 4 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆88Updated 2 years ago
• cliffclick / aa
  Cliff Click Language Hacking
  ☆288Updated last month
• jfager / jdiscript
  A simple scripting frontend for the Java Debugger Interface
  ☆58Updated 6 years ago
• themaplelab / averroes
  Java bytecode generator for sound and precise partial program analysis
  ☆24Updated 4 years ago
• java-port / clank
  Clank is a Java-port of popular Clang frontend
  ☆38Updated 8 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆53Updated 6 months ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆224Updated 2 years ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 8 years ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆226Updated 2 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 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
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆80Updated 2 years ago
• kframework / c-semantics
  Semantics of C in K
  ☆321Updated 3 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
• regehr / compiler-crashes
  60 artisanal compiler crashes
  ☆39Updated 9 years ago
• mgrabmueller / harpy
  Runtime code generation for x86 machine code
  ☆26Updated 2 years ago
• slebok / zoo
  Grammar Zoo
  ☆98Updated 7 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆79Updated 4 years ago
• jnr / jnr-x86asm
  Pure java x86 and x86_64 assembler
  ☆69Updated 2 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 10 years ago
• paulsmith / getting-started-llvm-c-api
  Getting started with the LLVM C API
  ☆115Updated 7 years ago
• SableCC / sablecc
  SableCC
  ☆153Updated last year
• gckrol / cover
  Cover: a safe subset of C++ on the JVM using Graal/Truffle
  ☆19Updated 9 years ago
• MiniJavaCompiler / MiniJavaLLVM
  MiniJava x86, LLVM Compiler and Interpreter
  ☆74Updated 9 years ago