Alternatives and similar repositories for proceedings:

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

• ispras / crusher
  ☆40Updated last month
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆27Updated last year
• ispras / oss-sydr-fuzz
  OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
  ☆136Updated last month
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆20Updated last year
• neil-kulkarni / arvada
  Grammar synthesis algorithm using a black box oracle
  ☆35Updated 8 months ago
• ispras / sydr-benchmark
  Sydr benchmark applications
  ☆17Updated 2 years ago
• anfedotoff / gdb-command
  Library for manipulating gdb in batch mode
  ☆20Updated 10 months ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 4 years ago
• ldv-klever / klever
  Read-only mirror of the Klever Git repository
  ☆21Updated this week
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆43Updated 4 years 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.
  ☆81Updated 6 years ago
• postgrespro / libblobstamper
  Framework for Structure Aware Fuzzing. Allows to build own stamps that would convert pulp-data that came from fuzzer to data with structu…
  ☆14Updated 3 months ago
• vrthra / mimid
  Replication package for Mining Input Grammars From Dynamic Control Flow
  ☆24Updated 4 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆17Updated 2 years ago
• FoRTE-Research / FoRTE-FuzzBench
  FoRTE-Research's fuzzing benchmarks
  ☆54Updated 5 years ago
• gardatech / bugbane
  tools for CI fuzzing automation
  ☆30Updated last month
• bingseclab / piecewise
  Piecewise debloating toolchain
  ☆13Updated 5 years ago
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 2 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆73Updated this week
• gaoxiang9430 / Fix2Fit
  ☆19Updated 3 years ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆240Updated last year
• AFLplusplus / fuzzer-challenges
  Challenging testcases for fuzzers
  ☆68Updated 10 months ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆50Updated 7 months ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆57Updated last year
• HexHive / Gramatron
  Coverage-guided grammar aware fuzzer that uses grammar automatons
  ☆65Updated 3 years ago
• AFLplusplus / AFL-Snapshot-LKM
  A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.
  ☆136Updated 3 years ago
• DeepseaPlatform / coastal
  Concolic analysis tool for Java
  ☆21Updated last year
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆18Updated 3 years ago
• angr / tracer
  Utilities for generating dynamic traces
  ☆88Updated 2 years ago