caseycas / gitcproc

Related projects: ⓘ

• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆14Updated 8 years ago
• sola-st / SemSeed
  ☆25Updated 3 years ago
• hub-se / BeDivFuzz
  ☆12Updated last month
• Programming-Systems-Lab / dyclink
  ☆9Updated 6 years ago
• yannicnoller / hydiff
  ☆25Updated 3 years ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆17Updated 3 years ago
• program-repair / RepairThemAll_experiment
  ☆14Updated last year
• swtv-kaist / MUSIC
  MUSIC: MUtation analySIs tool with High Configurability and Extensibility
  ☆17Updated last year
• sola-da / StaticBugCheckers
  StaticBugCheckers is an empirical study of the recall (i.e., how many of known bugs can we find) of state-of-the art static bug finding t…
  ☆11Updated 5 years ago
• stg-tud / MUBench
  ☆53Updated 9 months ago
• s3team / DeepFuzz
  ☆23Updated 3 years ago
• shramos / pyc-cfg
  Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
  ☆51Updated 6 years ago
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 3 years ago
• BugSwarm / bugswarm
  ☆30Updated this week
• romanofski / programslice
  Static analysis tool to slice python programs
  ☆36Updated 7 years ago
• TestingResearchIllinois / srciror
  A mutation tool for source and IR
  ☆13Updated 6 years ago
• twelveand0 / CarrotsBlender
  holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…
  ☆20Updated 4 years ago
• ProgramRepair / SearchRepair
  The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)
  ☆25Updated 5 years ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆33Updated 6 months ago
• gaoxiang9430 / Fix2Fit
  ☆19Updated 3 years ago
• parasol-aser / deepsim
  Deep learning code semantic similarity
  ☆60Updated 5 years ago
• PRL-PRG / dejavu-artifact
  Artifact for the OOPSLA 17 DejaVu Paper
  ☆10Updated 7 years ago
• TruX-DTF / PatchParser
  A tool of collecting patch-related commits and parsing patches.
  ☆13Updated 5 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 4 years ago
• UCL-CREST / Siamese
  Siamese: a scalable code clone search engine
  ☆35Updated 2 months ago
• electricalwind / data7
  A vulnerability patch gathering tool
  ☆40Updated 5 years ago
• petablox / arbitrar
  User Guided API Misuse Detection
  ☆26Updated last year
• srcML / srcSlice
  Lightweight tool for slicing
  ☆34Updated this week
• mjc92 / buffer_overrun_memory_networks
  ☆21Updated 7 years ago
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated last year