Alternatives and similar repositories for csa-testbench:

Users that are interested in csa-testbench are comparing it to the libraries listed below

• grievejia / tpa
  Pointer Analysis with Tunable Precision
  ☆26Updated 8 years ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆65Updated 9 years ago
• Ericsson / clang
  Cross Translation Unit analysis capability for Clang Static Analyzer. (Fork of official clang at http://llvm.org/git/clang)
  ☆15Updated 5 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆73Updated last week
• haoNoQ / clang-analyzer-guide
  An easy guide to Clang Static Analyzer extension.
  ☆139Updated 4 years ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆113Updated last year
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆163Updated 7 months ago
• bingseclab / piecewise
  Piecewise debloating toolchain
  ☆13Updated 5 years ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆31Updated 3 months ago
• DeadCodeProductions / dead
  ☆50Updated last year
• bernardnongpoh / CallGraph
  A CallGraph Generation LLVM Pass for C and C++ program
  ☆23Updated 2 years ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆18Updated 3 years ago
• TestingResearchIllinois / srciror
  A mutation tool for source and IR
  ☆13Updated 6 years ago
• ARISTODE / program-dependence-graph
  Program dependence graph in LLVM
  ☆34Updated 6 months ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆33Updated 2 months ago
• ChunghaSung / intAbs
  Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
  ☆11Updated 5 years ago
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆136Updated 6 years ago
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆27Updated last year
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• UniCodeSphere / Creal
  ☆27Updated 2 months ago
• magsilva / proteum
  Tool for mutation testing of C programs
  ☆20Updated 4 years ago
• staticafi / sbt-instrumentation
  Configurable instrumentation of LLVM bitcode
  ☆33Updated last month
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆75Updated 3 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• chenruibuaa / racebench
  Examples for NASAC 2019 interrupt race detection competition
  ☆9Updated 5 years ago
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆56Updated 9 months ago
• yuejia / Milu
  A higher order mutation testing tool
  ☆58Updated 4 years ago
• thinkmoore / llvm-deps
  Inter-procedural analysis framework and dependency/information-flow analysis for LLVM
  ☆19Updated 11 years ago
• SanRazor-repo / SanRazor
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆52Updated 3 years ago
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆37Updated last year