sola-st / DynaPyt

Related projects ⓘ

Alternatives and complementary repositories for DynaPyt

• 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 last week
• michaelpradel / LExecutor
  A learning-guided approach for executing arbitrary Python code snippets
  ☆15Updated 8 months ago
• soarsmu / BugsInPy
  BugsInPy: Benchmarking Bugs in Python Projects
  ☆81Updated 4 months ago
• sola-st / SemSeed
  ☆25Updated 3 years ago
• wala / ML
  ☆25Updated this week
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆18Updated 11 months ago
• ppashakhanloo / CodeTrek
  A powerful relational representation of source code
  ☆29Updated last year
• bears-bugs / bears-benchmark
  An Extensible Java Bug Benchmark for Automatic Program Repair Studies
  ☆32Updated 8 months ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆295Updated 7 months ago
• april1989 / Incremental_Points_to_Analysis
  This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA
  ☆24Updated last year
• hub-se / BeDivFuzz
  ☆13Updated this week
• 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
• wala / WALA-start
  a basic Gradle configuration to get started with WALA
  ☆28Updated last month
• stg-tud / MUBench
  ☆54Updated 11 months ago
• jkoppel / QuixBugs
  A multi-lingual program repair benchmark set based on the Quixey Challenge
  ☆102Updated 2 years ago
• codeflaws / codeflaws
  This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)
  ☆38Updated 4 years ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆62Updated 4 months ago
• tuhh-softsec / vul4j
  Vul4J: A Dataset of Reproducible Java Vulnerabilities
  ☆67Updated 2 months ago
• BugSwarm / bugswarm
  ☆31Updated this week
• squaresLab / ManyBugs
  ☆16Updated 5 years ago
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆31Updated last week
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆68Updated last year
• mistupv / JavaSlicer
  A program slicer for Java, based on the system dependence graph (SDG).
  ☆58Updated last year
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 3 years ago
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆77Updated 2 weeks ago
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆130Updated last month
• microsoft / codamosa
  ☆120Updated 5 months ago
• utopia-group / TypeT5
  Seq2seq Type Inference using Static Analysis and CodeT5
  ☆30Updated last year
• IBM / D2A
  This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX
  ☆64Updated 2 years ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆41Updated 4 months ago