Alternatives and similar repositories for OpenStaticAnalyzer:

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

• Xazax-hun / csa-testbench
  Toolset to do differential testing on the Clang Static Analyzer
  ☆21Updated 2 years ago
• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆37Updated last year
• SpoonLabs / coming
  A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…
  ☆96Updated 5 months ago
• fasten-project / fasten
  Analyse package dependency networks at the call graph level
  ☆93Updated last year
• bumper-app / nicad
  NiCad3 Clone Detector
  ☆30Updated 9 years ago
• magsilva / proteum
  Tool for mutation testing of C programs
  ☆19Updated 4 years ago
• shramos / pyc-cfg
  Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
  ☆53Updated 7 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 2 years ago
• STAMP-project / botsing
  Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.
  ☆33Updated 2 years ago
• wogscpar / SZZUnleashed
  An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.
  ☆116Updated last year
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆223Updated this week
• TestRoots / travistorrent-tools
  Tools used to create the data on TravisTorrent (http://travistorrent.testroots.org).
  ☆43Updated 2 years ago
• UCL-CREST / Siamese
  Siamese: a scalable code clone search engine
  ☆35Updated 9 months ago
• RepoReapers / reaper
  Calculate the score of a repository based on best engineering practices.
  ☆111Updated 4 years ago
• ASSERT-KTH / pankti
  Generating tests from production workloads http://arxiv.org/pdf/2012.01198
  ☆18Updated 5 months ago
• dspinellis / rdbunit
  Unit testing for SQL queries
  ☆24Updated 8 months ago
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆93Updated last week
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆47Updated 6 months ago
• gpoo / ccfinderx
  CCFinderX with autotools support
  ☆55Updated 8 years ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆61Updated 3 years ago
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆98Updated 6 months ago
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆79Updated 8 months ago
• jeffsvajlenko / CloneWorks
  ☆11Updated 4 years ago
• scanoss / engine
  SCANOSS Open Source Inventory Engine
  ☆38Updated last month
• SpoonLabs / astor
  Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…
  ☆210Updated last month
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆93Updated 3 years ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated 3 months ago
• dspinellis / tokenizer
  Convert source code into numerical tokens
  ☆65Updated last year
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆70Updated last year
• ASSERT-KTH / software-engineering-research
  Research material about software engineering at KTH
  ☆17Updated 8 months ago