Alternatives and similar repositories for Crisp

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

• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated 2 weeks ago
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆12Updated 12 years ago
• smowton / llpe
  ☆53Updated last year
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• fred-dbg / fred
  ☆21Updated 10 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆43Updated 11 months ago
• BinaryAnalysisPlatform / bap-frames
  Store and read traces in Protobuf
  ☆20Updated last year
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆41Updated last month
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆35Updated 7 years ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆26Updated 4 years ago
• plasma-umass / DoubleTake
  Evidence-based dynamic analysis: a fast checker for memory errors.
  ☆21Updated 8 years ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆26Updated 10 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 8 years ago
• lifting-bits / cxx-common
  Common dependency management for various Trail of Bits C++ codebases
  ☆34Updated last year
• rmmh / whomp
  reverse engineering branch predictors
  ☆17Updated 9 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…
  ☆13Updated 3 months ago
• SNSystems / dexter
  DExTer - Debug Experience Tester
  ☆34Updated 3 years ago
• rprichard / pcboot
  BIOS-based boot menu and loader
  ☆16Updated 8 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆43Updated 9 years ago
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago
• lally / ppt
  Production Performance Telemetry
  ☆21Updated 4 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated 3 weeks ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 5 years ago
• ispras / quix86
  An x86-64 instruction decoder.
  ☆16Updated last year
• davidhildenbrand / drob
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆25Updated 5 years ago
• nemequ / compfuzz
  Fuzzing compression libraries
  ☆19Updated 9 years ago
• frdwarf / dwarf-synthesis
  ☆29Updated 5 years ago