Alternatives and similar repositories for Map2Check:

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

• davidtr1037 / chopper
  KLEE / CSE Project
  ☆43Updated 4 years ago
• staticafi / sbt-instrumentation
  Configurable instrumentation of LLVM bitcode
  ☆33Updated last week
• gaoxiang9430 / Fix2Fit
  ☆19Updated 3 years ago
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• yannicnoller / hydiff
  ☆25Updated 3 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆46Updated 4 months ago
• caballa / wrapped-intervals
  Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…
  ☆12Updated 7 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 5 years ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆66Updated 9 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆55Updated 5 years ago
• agra-uni-bremen / metaSMT
  ☆51Updated 8 years ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 4 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated 3 weeks ago
• isstac / badger
  ☆20Updated 6 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆57Updated last year
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆77Updated 4 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆14Updated 9 years ago
• awen-li / PCA
  A data dependence analyzer for C program
  ☆20Updated 3 years ago
• dblotsky / stringfuzz
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆20Updated 3 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆39Updated 2 months ago
• plast-lab / cclyzer-souffle
  CClyzer port to souffle lang
  ☆18Updated last year
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆22Updated 4 months ago
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆122Updated 2 years ago
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• seahorn / verify-c-common
  ☆16Updated 8 months ago
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆20Updated last year
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago