Alternatives and similar repositories for cclyzer-souffle

Users that are interested in cclyzer-souffle are comparing it to the libraries listed below

• davidtr1037 / chopper
  KLEE / CSE Project
  ☆46Updated 5 years ago
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 3 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆102Updated 5 years ago
• HexHive / Gramatron
  Coverage-guided grammar aware fuzzer that uses grammar automatons
  ☆74Updated 3 years ago
• vrthra / mimid
  Replication package for Mining Input Grammars From Dynamic Control Flow
  ☆25Updated 5 years ago
• vandaltool / vandalir
  ☆25Updated 3 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆57Updated 5 years ago
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆70Updated last week
• staticafi / sbt-instrumentation
  Configurable instrumentation of LLVM bitcode
  ☆34Updated 7 months ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆249Updated last year
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 6 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆33Updated 5 years ago
• tum-i4 / munch
  Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
  ☆38Updated 6 years ago
• vasumv / bonsai-fuzzing
  ☆27Updated 2 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆19Updated 6 months ago
• season-lab / survey-symbolic-execution
  A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.
  ☆82Updated 7 years ago
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆21Updated 2 years ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆104Updated 2 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆32Updated 3 years ago
• uds-se / lFuzzer
  Fuzzing Parsers with Tokens
  ☆33Updated 4 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆58Updated 5 years ago
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆124Updated 3 years ago
• DonggeLiu / Legion
  A coverage-based software testing tool
  ☆34Updated 4 years ago
• uds-se / pFuzzer
  The parser-directed Fuzzer
  ☆39Updated 5 years ago
• HexHive / FuZZan
  FuZZan: Efficient Sanitizer Metadata Design for Fuzzing
  ☆124Updated 4 years ago
• neil-kulkarni / arvada
  Grammar synthesis algorithm using a black box oracle
  ☆37Updated last year
• vrthra / F1
  ☆82Updated 2 months ago
• nettrino / slowfuzz
  ☆54Updated 7 years ago
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆85Updated 5 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆37Updated 5 years ago