Alternatives and similar repositories for proceedings

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

• ispras / crusher
  ☆39Updated last month
• yandex-cloud / go-protobuf-mutator
  This is a go-protobuf-mutator library for random value mutations. This is a Go equivalent of libprotobuf-mutator, which is implemented in…
  ☆35Updated last week
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆30Updated 2 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆10Updated 7 years ago
• ldv-klever / klever
  Read-only mirror of the Klever Git repository
  ☆23Updated last month
• ispras / sydr-benchmark
  Sydr benchmark applications
  ☆17Updated 3 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 3 years ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆22Updated last year
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆44Updated 2 years ago
• ligurio / lua-c-api-tests
  Fuzzing Lua runtimes without pain
  ☆10Updated this week
• Xazax-hun / csa-testbench
  Toolset to do differential testing on the Clang Static Analyzer
  ☆22Updated 2 years ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆67Updated 9 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 7 years ago
• srcML / srcSlice
  Lightweight tool for slicing
  ☆35Updated last week
• neil-kulkarni / arvada
  Grammar synthesis algorithm using a black box oracle
  ☆37Updated last year
• vrthra / mimid
  Replication package for Mining Input Grammars From Dynamic Control Flow
  ☆25Updated 5 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆13Updated 9 years ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆59Updated last year
• cristianassaiante / incomplete-debuginfo
  A framework for finding completeness bugs in optimizing compiler toolchains
  ☆22Updated last year
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆248Updated last year
• gaoxiang9430 / Fix2Fit
  ☆20Updated 4 years ago
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆244Updated 10 months ago
• hxuhack / logic_bombs
  This repository contains several examples of logic bomb.
  ☆112Updated last year
• mpdn / unthread
  A deterministic, fuzzable pthread implementation
  ☆42Updated 2 years ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆19Updated 4 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆57Updated 5 years ago
• jburnim / crest
  CREST is a concolic test generation tool for C.
  ☆162Updated 5 years ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆100Updated 2 years ago
• gardatech / bugbane
  tools for CI fuzzing automation
  ☆33Updated last month
• ispras / oss-sydr-fuzz
  OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
  ☆141Updated last week