Alternatives and similar repositories for Open-NiCad

Users that are interested in Open-NiCad are comparing it to the libraries listed below

• srcML / srcML
  srcML Toolkit
  ☆147Updated this week
• gpoo / ccfinderx
  CCFinderX with autotools support
  ☆61Updated 9 years ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆51Updated 2 months ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆236Updated this week
• wogscpar / SZZUnleashed
  An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.
  ☆122Updated 2 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆97Updated 4 years ago
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆73Updated 10 months ago
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆249Updated this week
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆76Updated 3 months ago
• IBM / tree-sitter-codeviews
  Extract and combine multiple source code views using tree-sitter
  ☆152Updated last month
• se2p / FlaPy
  A Tool for Mining Flaky Tests at Scale
  ☆16Updated 2 months ago
• CordyJ / OpenTxl
  TXL programming language compiler/interpreter
  ☆25Updated last week
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆85Updated last year
• Fraunhofer-AISEC / cpg
  A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.
  ☆380Updated this week
• SpoonLabs / astor
  Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…
  ☆211Updated 6 months ago
• esbmc / esbmc
  The efficient SMT-based context-bounded model checker (ESBMC)
  ☆392Updated this week
• BugsJS / bug-dataset
  BugsJS benchmark framework and data files.
  ☆28Updated 5 years ago
• shao-hua-li / CompDiff
  ☆36Updated 2 years ago
• swtv-kaist / MUSIC
  MUSIC: MUtation analySIs tool with High Configurability and Extensibility
  ☆18Updated 2 years ago
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆71Updated 2 years ago
• TestingResearchIllinois / starts
  STARTS - A tool for STAtic Regression Test Selection
  ☆30Updated last year
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆230Updated last week
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆64Updated last week
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆320Updated last year
• kupl / npex
  ☆15Updated 2 years ago
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆42Updated last year
• iradicek / clara
  CLuster And RepAir tool for introductory programming assignments
  ☆46Updated last year
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆101Updated last year
• theosotr / buildfs
  A dynamic method for detecting faults in incremental and parallel builds.
  ☆19Updated 3 years ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆60Updated last year