sed-inf-u-szeged / OpenStaticAnalyzer

Related projects ⓘ

Alternatives and complementary repositories for OpenStaticAnalyzer

• shramos / pyc-cfg
  Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
  ☆52Updated 6 years ago
• se-sic / cppstats
  toolsuite for analyzing cpp-preprocessor-based software product lines
  ☆11Updated last year
• fasten-project / fasten
  Analyse package dependency networks at the call graph level
  ☆92Updated 11 months ago
• srcML / srcML
  srcML Toolkit
  ☆118Updated this week
• dspinellis / tokenizer
  Convert source code into numerical tokens
  ☆64Updated last year
• TestRoots / travistorrent-tools
  Tools used to create the data on TravisTorrent (http://travistorrent.testroots.org).
  ☆43Updated last year
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆46Updated last month
• wogscpar / SZZUnleashed
  An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.
  ☆110Updated 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…
  ☆92Updated last week
• dspinellis / cqmetrics
  C Quality Metrics
  ☆64Updated 2 years ago
• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆35Updated 7 months ago
• kin-y / miningReviewRepo
  ☆16Updated 4 years ago
• scanoss / engine
  SCANOSS Open Source Inventory Engine
  ☆35Updated 2 months ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆67Updated 3 weeks ago
• diverse-project / maven-miner
  This projects mines maven central and creates a global dependency graph
  ☆31Updated 2 years ago
• datacamp / antlr-ast
  Library for building abstract syntax trees from antlr parsers
  ☆39Updated 4 years ago
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆90Updated this week
• aserg-ufmg / RefDiff
  A tool to mine refactorings in the commit history of git repositories.
  ☆148Updated 3 years ago
• dspinellis / rdbunit
  Unit testing for SQL queries
  ☆24Updated 3 months ago
• STAMP-project / botsing
  Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.
  ☆32Updated last year
• saltudelft / libsa4py
  LibSA4Py: Light-weight static analysis for extracting type hints and features
  ☆11Updated last year
• paradise-fi / divine
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆20Updated 3 years ago
• ctreude / nlp2code
  NLP2Code: Code Snippet Content Assist via Natural Language Tasks
  ☆33Updated 4 years ago
• gpoo / ccfinderx
  CCFinderX with autotools support
  ☆53Updated 8 years ago
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 9 years ago
• mast-group / api-mining
  Probabilistic API Mining
  ☆53Updated 6 years ago
• Xazax-hun / csa-testbench
  Toolset to do differential testing on the Clang Static Analyzer
  ☆19Updated 2 years ago
• PRL-PRG / dejavu-artifact
  Artifact for the OOPSLA 17 DejaVu Paper
  ☆10Updated 7 years ago
• JetBrains-Research / sosed
  Finding similar repositories on GitHub
  ☆46Updated last year