microsoft / python-program-analysis
A Typescript library for parsing Python 3 and doing basic program analysis, like forming control-flow graphs and def-use chains.
☆52Updated 4 years ago
Related projects: ⓘ
- ☆50Updated 4 years ago
- Seq2seq Type Inference using Static Analysis and CodeT5☆27Updated last year
- ☆25Updated 3 years ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆33Updated 6 months ago
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆61Updated last year
- Dynamic analysis framework for Python☆56Updated last week
- A powerful relational representation of source code☆27Updated last year
- A multi-lingual program repair benchmark set based on the Quixey Challenge☆96Updated 2 years ago
- CLuster And RepAir tool for introductory programming assignments☆44Updated 6 months ago
- Refactory: Re-factoring based Program Repair applied to Programming Assignments☆31Updated 2 years ago
- Code for "Typilus: Neural Type Hints" PLDI 2020☆59Updated last year
- Set of tools to help working with "Big Code"☆43Updated 2 years ago
- Refazer: Learning Program Transformations from Examples☆30Updated 6 years ago
- A tool to provide the graph representation of the source code based on the paper: "Learning to Represent Program with Graph, ICLR'18"☆44Updated 4 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆65Updated last week
- ☆13Updated last year
- ☆16Updated 5 years ago
- ☆30Updated this week
- Hosts our tool for mining simple "stupid'' bugs (SStuBs).☆35Updated 2 years ago
- BugsInPy: Benchmarking Bugs in Python Projects☆77Updated 2 months ago
- A toolkit for pre-processing large source code corpora☆45Updated last year
- Lightweight tool for slicing☆34Updated this week
- ☆10Updated 5 years ago
- A learning-guided approach for executing arbitrary Python code snippets☆15Updated 6 months ago
- Data and Code for Reproducing "Global Relational Models of Source Code"☆82Updated 3 years ago
- Automated program repair bibliography, tools and benchmarks.☆73Updated last week
- AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations☆25Updated 3 years ago
- ☆12Updated 4 years ago
- Scalpel: The Python Static Analysis Framework☆285Updated 5 months ago
- Extract and combine multiple source code views using tree-sitter☆102Updated 2 months ago