Alternatives and similar repositories for Crisp:

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

• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 9 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated last week
• plasma-umass / DoubleTake
  Evidence-based dynamic analysis: a fast checker for memory errors.
  ☆21Updated 7 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• smowton / llpe
  ☆49Updated 11 months ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• ahorn / native-symbolic-execution-clang
  Source-to-source transformation to call native symbolic execution library and SMT Kit
  ☆32Updated 10 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆39Updated last week
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆49Updated 4 years ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆24Updated 3 years ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆26Updated 10 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆21Updated 6 years ago
• Infinidat / infinitrace
  A trace solution for C/C++ code on Linux, optimized for high trace volumes and low latency
  ☆12Updated 9 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 8 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆43Updated 9 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 6 years ago
• jfbastien / ponies
  C++ on the Web: ponies for developers without pwn’ing users
  ☆11Updated 9 years ago
• blucia0a / CTraps-gcc
  Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis
  ☆13Updated 10 years ago
• StanfordPL / strata-data
  Experimental results of the strata project
  ☆9Updated 8 years ago
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆12Updated this week
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago
• martintrojer / symbolic-execution
  Applied Symbolic Execution with KLEE/LLVM
  ☆24Updated 11 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆60Updated 10 years ago
• hotelzululima / insight
  A(nother) Binary Analysis Framework
  ☆30Updated 10 years ago
• formalmethods / smtlectures
  A collection of slides of the SMT course I held at University of Milan in fall 2011
  ☆8Updated 9 years ago
• trailofbits / clang-tidy-audit
  Rewrite C/C++/Obj-C to Annotate Points of Interest
  ☆27Updated 9 years ago