Alternatives and similar repositories for UTBotCpp:

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

• tbricks / itiviti-cpp-analyzer
  Clang plugin with several static analysis checks
  ☆26Updated 2 years ago
• srcML / srcML
  srcML Toolkit
  ☆133Updated this week
• UnitTestBot / UTBotJava
  Automated unit test generation and precise code analysis for Java
  ☆139Updated 11 months ago
• UnitTestBot / klee
  KLEEF Symbolic Execution Engine
  ☆18Updated last week
• haoNoQ / clang-analyzer-guide
  An easy guide to Clang Static Analyzer extension.
  ☆142Updated 5 years ago
• shao-hua-li / CompDiff
  ☆36Updated 2 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆142Updated 3 months ago
• secure-software-engineering / phasar
  A LLVM-based static analysis framework.
  ☆981Updated last week
• program-analysis-team / cooddy
  Source code (C,C++,Java) static analysis tool
  ☆46Updated 10 months ago
• nsumner / clang-plugins-demo
  A simple example of defining custom plugins for clang and the clang static analyzer.
  ☆85Updated 4 years ago
• hityangzhen / DRTracker
  data race detection
  ☆13Updated 8 years ago
• Xazax-hun / csa-testbench
  Toolset to do differential testing on the Clang Static Analyzer
  ☆21Updated 2 years ago
• esbmc / esbmc
  The efficient SMT-based context-bounded model checker (ESBMC)
  ☆344Updated this week
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆165Updated 10 months ago
• nlohmann / mutate_cpp
  C++ Mutation Test Environment
  ☆181Updated 10 months ago
• google / fuzztest
  ☆828Updated this week
• Vermeille / clang-callgraph
  A tool based on clang which generates a call graph from a given C++ codebase
  ☆140Updated 2 months ago
• arichardson / juliet-test-suite-c
  ☆80Updated last month
• 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
• QuanjunZhang / gcov
  code coverage for c
  ☆40Updated 7 years ago
• ARISTODE / program-dependence-graph
  Program dependence graph in LLVM
  ☆35Updated 10 months ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆33Updated last month
• magsilva / proteum
  Tool for mutation testing of C programs
  ☆19Updated 5 years ago
• mistupv / JavaSlicer
  A program slicer for Java, based on the system dependence graph (SDG).
  ☆66Updated last year
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• staticafi / symbiotic
  Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
  ☆324Updated last month
• bernardnongpoh / CallGraph
  A CallGraph Generation LLVM Pass for C and C++ program
  ☆27Updated 3 years ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆113Updated 2 years ago
• yuedeji / c_func_name_extract
  Extract Function Name in C/C++ Source Codes
  ☆27Updated 7 years ago
• skyhover / Deckard
  Code clone detection; clone-related bug detection; sematic clone analysis
  ☆216Updated last year