coetaur0 / staticfg

Related projects ⓘ

Alternatives and complementary repositories for staticfg

• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆296Updated 7 months ago
• vitsalis / PyCG
  Static Python call graph generator
  ☆324Updated 11 months ago
• soarsmu / BugsInPy
  BugsInPy: Benchmarking Bugs in Python Projects
  ☆81Updated 4 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
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆67Updated 3 weeks ago
• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆59Updated last year
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆38Updated 8 months ago
• iradicek / clara
  CLuster And RepAir tool for introductory programming assignments
  ☆45Updated 8 months ago
• bdqnghi / ast-node-encoding
  A tool to convert nodes in an Abstract Syntax Tree into vector embeddings
  ☆72Updated 2 years ago
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆68Updated last year
• danhper / bigcode-tools
  Set of tools to help working with "Big Code"
  ☆43Updated 2 years ago
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆77Updated 3 months ago
• srcML / srcML
  srcML Toolkit
  ☆118Updated this week
• 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
• spcl / ncc
  Neural Code Comprehension: A Learnable Representation of Code Semantics
  ☆206Updated this week
• jkoppel / QuixBugs
  A multi-lingual program repair benchmark set based on the Quixey Challenge
  ☆102Updated 2 years ago
• bdqnghi / graph-ast
  A tool to provide the graph representation of the source code based on the paper: "Learning to Represent Program with Graph, ICLR'18"
  ☆46Updated 4 years ago
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆59Updated last week
• TruX-DTF / PatchParser
  A tool of collecting patch-related commits and parsing patches.
  ☆13Updated 5 years ago
• wogscpar / SZZUnleashed
  An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.
  ☆110Updated last year
• clonebench / BigCloneBench
  ☆110Updated 2 years ago
• bugs-dot-jar / bugs-dot-jar
  Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair
  ☆51Updated 6 years ago
• jeffsvajlenko / BigCloneEval
  BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench
  ☆73Updated 11 months ago
• tuhh-softsec / vul4j
  Vul4J: A Dataset of Reproducible Java Vulnerabilities
  ☆68Updated 2 months ago
• ppashakhanloo / CodeTrek
  A powerful relational representation of source code
  ☆29Updated last year
• program-repair / defects4j-dissection
  Defects4J Dissection presents data to help researchers and practitioners to better understand the Defects4J bug dataset
  ☆58Updated last year
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆77Updated this week
• JohnnyPeng18 / HiTyper
  This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"
  ☆40Updated last year
• epicosy / devign
  Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks
  ☆198Updated 10 months ago
• casics / spiral
  A Python 3 module that provides functions for splitting identifiers found in source code files.
  ☆48Updated last year