Alternatives and similar repositories for locksmith:

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

• ksen007 / calfuzzer
  ☆24Updated 10 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆75Updated this week
• jieyu / concurrency-bugs
  A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…
  ☆60Updated 11 years ago
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆79Updated 4 years ago
• rssys / snowboard
  This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard:…
  ☆24Updated 2 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 4 years ago
• chenruibuaa / racebench
  Examples for NASAC 2019 interrupt race detection competition
  ☆9Updated 5 years ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆18Updated last year
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 5 years ago
• UniCodeSphere / Creal
  ☆32Updated 5 months ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆31Updated 5 months ago
• RiS3-Lab / kubo
  Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…
  ☆23Updated 3 years ago
• arichardson / juliet-test-suite-c
  ☆79Updated last week
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆52Updated 3 weeks ago
• xlab-uiuc / openctest
  Testing Configuration Changes in Context to Prevent Production Failures
  ☆30Updated last year
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆99Updated 2 years ago
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆136Updated 6 years ago
• wcventure / PERIOD
  [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling
  ☆31Updated 2 years ago
• umnsec / mlta
  TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
  ☆92Updated last year
• grievejia / tpa
  Pointer Analysis with Tunable Precision
  ☆26Updated 9 years ago
• stephenfreund / RoadRunner
  ☆71Updated 7 years ago
• xlab-uiuc / cdep-fse-ae
  Configuration dependency analysis for cloud software
  ☆22Updated 3 years ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆63Updated 9 months ago
• SanRazor-repo / SanRazor
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆53Updated 3 years ago
• bernardnongpoh / CallGraph
  A CallGraph Generation LLVM Pass for C and C++ program
  ☆26Updated 2 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆102Updated last year
• umnsec / linux-bitcode
  Pre-built bitcode files for the Linux kernel
  ☆22Updated 5 years ago
• ARISTODE / program-dependence-graph
  Program dependence graph in LLVM
  ☆34Updated 9 months ago
• DeadCodeProductions / dead
  ☆51Updated last year