shramos / pyc-cfg

Related projects ⓘ

Alternatives and complementary repositories for pyc-cfg

• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆38Updated 8 months ago
• squaresLab / ManyBugs
  ☆16Updated 5 years ago
• ARISTODE / program-dependence-graph
  Program dependence graph in LLVM
  ☆34Updated 4 months ago
• parasol-aser / deepsim
  Deep learning code semantic similarity
  ☆60Updated 5 years ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆67Updated 3 weeks ago
• stg-tud / MUBench
  ☆55Updated 11 months ago
• sola-st / SemSeed
  ☆25Updated 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
  ☆77Updated 4 years ago
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 3 years ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆18Updated 3 years ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆30Updated last month
• danhper / bigcode-tools
  Set of tools to help working with "Big Code"
  ☆43Updated 2 years ago
• arichardson / juliet-test-suite-c
  ☆75Updated last year
• 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
• PRL-PRG / dejavu-artifact
  Artifact for the OOPSLA 17 DejaVu Paper
  ☆10Updated 7 years ago
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆134Updated 6 years ago
• srcML / srcSlice
  Lightweight tool for slicing
  ☆34Updated this week
• Kolkir / cppminer
  cppminer produces a code2seq compatible datasets from C++ code bases.
  ☆23Updated 4 years ago
• OOPSLA-2019-BugDetection / OOPSLA-2019-BugDetection
  ☆45Updated 2 years ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆18Updated 11 months ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆72Updated last week
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• srg-imperial / klee-float
  KLEE with floating point support (unmaintained)
  ☆18Updated 2 years ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆97Updated 2 years ago
• rshariffdeen / CPR
  CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…
  ☆30Updated 2 years ago
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated 2 years ago
• jburnim / crest
  CREST is a concolic test generation tool for C.
  ☆159Updated 4 years ago
• electricalwind / data7
  A vulnerability patch gathering tool
  ☆40Updated 5 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 4 years ago