gpoo / ccfinderx

Related projects ⓘ

Alternatives and complementary repositories for ccfinderx

• stg-tud / MUBench
  ☆54Updated 11 months 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
• srcML / srcSlice
  Lightweight tool for slicing
  ☆34Updated this week
• mistupv / JavaSlicer
  A program slicer for Java, based on the system dependence graph (SDG).
  ☆55Updated last year
• shramos / pyc-cfg
  Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
  ☆52Updated 6 years ago
• prapr / prapr
  Practical Program Repair via Bytecode Mutation
  ☆64Updated 2 years ago
• IBM / D2A
  This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX
  ☆61Updated 2 years ago
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆77Updated 2 months ago
• parasol-aser / deepsim
  Deep learning code semantic similarity
  ☆60Updated 5 years ago
• skyhover / Deckard
  Code clone detection; clone-related bug detection; sematic clone analysis
  ☆211Updated 8 months ago
• squaresLab / ManyBugs
  ☆16Updated 5 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• clonebench / BigCloneBench
  ☆110Updated 2 years ago
• jeffsvajlenko / BigCloneEval
  BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench
  ☆73Updated 10 months ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆35Updated 7 months 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…
  ☆66Updated this week
• TruX-DTF / PatchParser
  A tool of collecting patch-related commits and parsing patches.
  ☆13Updated 5 years ago
• electricalwind / data7
  A vulnerability patch gathering tool
  ☆40Updated 5 years ago
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 3 years ago
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆45Updated 3 years ago
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆76Updated 4 years ago
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆68Updated last year
• ghaffarian / progex
  PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code
  ☆83Updated 3 years ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆104Updated last month
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 3 years ago
• PCWcn / CCAligner
  ICSE 2018 paper implement
  ☆17Updated 5 years ago
• shiyy123 / FCDetector
  Functional clone detection(currently maintained version)
  ☆32Updated 2 years ago
• Symbolk / Code2Graph
  Towards converting multilingual source code into one language-agnostic graph representation.
  ☆42Updated last year
• srcML / srcML
  srcML Toolkit
  ☆118Updated this week
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆56Updated this week