sed-inf-u-szeged / OpenStaticAnalyzer

Related projects ⓘ

Alternatives and complementary repositories for OpenStaticAnalyzer

• bright-tools / ccsm
  C Code Source Metrics - tool to gather simple metrics from C code
  ☆34Updated 7 months ago
• 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 5 months ago
• fasten-project / fasten
  Analyse package dependency networks at the call graph level
  ☆92Updated 11 months ago
• 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
• EnSoftCorp / call-graph-toolbox
  A toolbox with several call graph construction algorithm implementations
  ☆19Updated last year
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• TestRoots / travistorrent-tools
  Tools used to create the data on TravisTorrent (http://travistorrent.testroots.org).
  ☆43Updated last year
• UCL-CREST / Siamese
  Siamese: a scalable code clone search engine
  ☆35Updated 3 months ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆92Updated 3 years ago
• wogscpar / SZZUnleashed
  An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.
  ☆110Updated last year
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆45Updated 3 weeks ago
• srcML / srcML
  srcML Toolkit
  ☆118Updated this week
• JUnitContest / JUGE
  junit tools contest infrastructure
  ☆11Updated 9 months ago
• RepoReapers / reaper
  Calculate the score of a repository based on best engineering practices.
  ☆107Updated 4 years ago
• gpoo / ccfinderx
  CCFinderX with autotools support
  ☆53Updated 8 years ago
• boalang / compiler
  The Boa language reference compiler.
  ☆33Updated 8 months ago
• zhongxingyu / Java-Annotation-Study
  Source code and data about our large scale study about Java annotaion in practice
  ☆12Updated last year
• kin-y / miningReviewRepo
  ☆16Updated 4 years ago
• tushartushar / DeepLearningSmells
  Smelling smells using Deep Learning
  ☆44Updated 3 years ago
• ArchitectingSoftware / Bunch
  ☆14Updated 2 years ago
• dspinellis / cqmetrics
  C Quality Metrics
  ☆64Updated 2 years ago
• saltudelft / libsa4py
  LibSA4Py: Light-weight static analysis for extracting type hints and features
  ☆11Updated last year
• diverse-project / maven-miner
  This projects mines maven central and creates a global dependency graph
  ☆31Updated 2 years ago
• srcML / srcUML
  UML Class diagram reverse engineering tool
  ☆14Updated last month
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆11Updated 6 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.
  ☆97Updated 3 weeks ago
• saeg / jaguar
  JAva code coveraGe faUlt locAlization Rank
  ☆29Updated 3 years ago
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆77Updated 2 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