Alternatives and similar repositories for SemRep:

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

• binsec / icse2021-artifact992
  ☆10Updated 4 years ago
• octopus-platform / octopus
  Generic server for collaborative code analysis
  ☆13Updated 8 years ago
• martintrojer / symbolic-execution
  Applied Symbolic Execution with KLEE/LLVM
  ☆24Updated 11 years ago
• csienslab-PCC / PathConstraintClassifier
  ☆9Updated 6 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆14Updated 9 years ago
• mboehme / learn2fix
  Human-In-The-Loop Automatic Program Repair
  ☆19Updated 5 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• movingname / fuzzingModel
  Empirical Analysis and Modeling of Black-Box Mutational Fuzzing
  ☆10Updated 9 years ago
• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆29Updated 10 months ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆36Updated 8 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆33Updated 3 years ago
• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆36Updated 6 years ago
• seahorn / seahorn-tutorial
  Supplementary files for SSFT 2015 summer school
  ☆11Updated 5 years ago
• patchloc / VulnLoc
  ☆11Updated 3 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆47Updated 5 months ago
• ispras / sydr-benchmark
  Sydr benchmark applications
  ☆17Updated 2 years ago
• eurecom-s3 / dissecting_afl
  Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper
  ☆13Updated 2 years ago
• RUB-SysSec / EvilCoder
  Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016
  ☆45Updated 8 years ago
• tum-i4 / munch
  Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
  ☆38Updated 6 years ago
• zardus / paper-templates
  A set of templates for different academic venues.
  ☆27Updated 5 years ago
• ProgramRepair / SearchRepair
  The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)
  ☆26Updated 6 years ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆24Updated 3 years ago
• bin2415 / Bitype
  source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"
  ☆14Updated 6 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆28Updated 4 years ago
• hotelzululima / insight
  A(nother) Binary Analysis Framework
  ☆30Updated 10 years ago
• season-lab / memsight
  MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
  ☆23Updated 4 months ago
• bitblaze-fuzzball / d-s-se-directed-tests
  Binary dynamic, static, and symbolic execution analysis tools for directed test generation
  ☆22Updated 5 years ago
• jku-ssw / gcc-builtin-study
  ☆12Updated 5 years ago