Alternatives and similar repositories for exebench

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

• brenocfg / AnghaBench
  A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.
  ☆108Updated 5 years ago
• purseclab / DnD
  A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis
  ☆80Updated 6 months ago
• lac-dcc / Angha
  Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.
  ☆22Updated last year
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆38Updated last year
• huzecong / ghcc
  GitHub Cloner & Compiler
  ☆72Updated 3 years ago
• IITH-Compilers / IR2Vec
  Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings
  ☆97Updated last month
• rimsa / CFGgrind
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆122Updated 2 months ago
• ise-uiuc / FreeFuzz
  Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)
  ☆78Updated 2 years ago
• bda-tool / bda
  BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation
  ☆29Updated 4 years ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆54Updated last year
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆81Updated 4 years ago
• UniCodeSphere / Creal
  ☆34Updated 7 months ago
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆60Updated last month
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆63Updated 11 months ago
• seclab-ucr / UBITect
  ☆39Updated 2 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆78Updated this week
• HexHive / fuzzing-seed-selection
  "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)
  ☆42Updated 2 years ago
• purseclab / D-helix
  a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.
  ☆16Updated 9 months ago
• seclab-ucr / SUTURE
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆79Updated 2 weeks ago
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆61Updated 7 months ago
• n132 / ARVO-Meta
  ☆63Updated this week
• BinTuner / Dev
  BinTuner
  ☆62Updated 2 years ago
• dmc1778 / Orion
  Fuzzing Deep Learning Libraries Via Mining Security Knowledge from Open Source
  ☆14Updated last year
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆33Updated 5 years ago
• mikekben / SLOT
  SLOT: SMT-LLVM Optimizing Translation
  ☆56Updated 2 months ago
• XMUsuny / symbolic-execution-papers
  Recent symbolic execution papers and tools.
  ☆167Updated last month
• UTD-FAST-Lab / RevBugBench
  ☆31Updated last year
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆59Updated last year
• yonsei-sslab / XBA
  A deep learning tool for generating platform-agnostic binary code embeddings
  ☆21Updated 2 years ago
• R-Fuzz / jigsaw
  JIGSAW is a fuzzing-based path constraint solver.
  ☆69Updated last year