Alternatives and similar repositories for Relooper:

Users that are interested in Relooper are comparing it to the libraries listed below

• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated last month
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated 2 months ago
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆18Updated 4 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆41Updated last week
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 5 years ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆20Updated 6 years ago
• contificate / lr
  An interactive tool for experimenting with LR(1) grammars
  ☆14Updated 3 years ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆54Updated 2 years ago
• google / jsir
  An MLIR-based JavaScript intermediate representation
  ☆31Updated last week
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆40Updated 10 years ago
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆67Updated this week
• contificate / match
  Match compilation algorithm in OCaml
  ☆25Updated 2 months ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆67Updated this week
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆27Updated 3 years ago
• csabahruska / p4f-control-flow-analysis
  Haskell implementation of P4F Control-Flow Analysis
  ☆21Updated 2 years ago
• sdasgup3 / binary-decompilation
  Extracting high level semantic information from binary code
  ☆65Updated 5 years ago
• EarlGray / language-incubator
  Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
  ☆57Updated last year
• maurer / holmes
  Datalog engine with extensions for integrating analyses
  ☆38Updated 7 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆47Updated 3 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆24Updated 3 weeks ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• regehr / guided-tree-search
  heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape
  ☆12Updated last year
• chifflier / ocaml-llvm-tutorial
  OCaml LLVM bindings tutorial
  ☆21Updated 8 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• bchurchill / pldi19-equivalence-checker
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆42Updated 5 years ago