shramos / pyc-cfg
Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
☆53Updated 7 years ago
Alternatives and similar repositories for pyc-cfg:
Users that are interested in pyc-cfg are comparing it to the libraries listed below
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆38Updated last year
- Deep learning code semantic similarity☆62Updated 5 years ago
- ☆56Updated last year
- Lightweight tool for slicing☆35Updated last week
- ☆25Updated 3 years ago
- This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX☆69Updated 2 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆63Updated 3 years ago
- ☆79Updated 2 weeks ago
- DBGBench Website:☆18Updated 4 years ago
- ☆112Updated 2 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆46Updated 3 years ago
- ☆20Updated 8 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- Software vulnerabilities data set☆24Updated 5 years ago
- ☆45Updated 2 years ago
- GitHub Cloner & Compiler☆69Updated 3 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆68Updated 3 months ago
- User Guided API Misuse Detection☆29Updated 2 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆40Updated last year
- ☆16Updated 5 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆75Updated last week
- Program dependence graph in LLVM☆35Updated 9 months ago
- Dynamic Program Slicing in LLVM Compiler☆136Updated 6 years ago
- Set of tools to help working with "Big Code"☆43Updated 2 years ago
- ☆39Updated last year
- cppminer produces a code2seq compatible datasets from C++ code bases.☆23Updated 5 years ago
- Static Slicer for LLVM☆66Updated 9 years ago
- ☆96Updated 5 months ago
- Python Symbolic Execution☆67Updated 5 years ago
- A tool for identifying patch correctness in test-based program repair☆18Updated 5 years ago