saltudelft / libsa4py
LibSA4Py: Light-weight static analysis for extracting type hints and features
☆11Updated last year
Related projects ⓘ
Alternatives and complementary repositories for libsa4py
- Code for "Typilus: Neural Type Hints" PLDI 2020☆59Updated last year
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆61Updated last year
- A tool for mining graph-based change patterns in Python code☆19Updated 5 months ago
- ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.☆22Updated 3 years ago
- Finding similar repositories on GitHub☆46Updated last year
- CD4Py: Code De-Duplication for Python☆22Updated 3 years ago
- ☆25Updated this week
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 4 months ago
- Extract semantic information about static Python code☆69Updated 3 weeks ago
- an implementation of "code2vec: Learning Distributed Representations of Code"☆29Updated 4 months ago
- ☆50Updated 4 years ago
- Restoring Execution Environments of Jupyter Notebooks☆21Updated last year
- Keep your bugs contained. A platform for studying historical software bugs.☆67Updated 2 weeks ago
- Official repository for PraPR source code☆14Updated 3 years ago
- A program repair tool which modifies any bugged Python script based on cues from rest of program.☆17Updated 3 years ago
- Flow graphs for Python☆25Updated 2 years ago
- Unit testing for SQL queries☆23Updated 2 months ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆66Updated this week
- REGEL: Regular Expression Generation from Examples and Language☆33Updated 2 years ago
- Scalpel: The Python Static Analysis Framework☆295Updated 7 months ago
- Library for building abstract syntax trees from antlr parsers☆39Updated 4 years ago
- A python backend for the GumTree diff tool.☆8Updated 9 months ago
- AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations☆25Updated 3 years ago
- Source code and data about our large scale study about Java annotaion in practice☆12Updated last year
- An empirical study on patch correctness☆15Updated 2 years ago
- Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.☆52Updated 6 years ago
- Hierarchical Delta Debugging Framework☆57Updated 2 weeks ago
- Mutation analysis tool for Coq verification projects☆30Updated 4 years ago
- ☆30Updated 3 months ago
- Python bindings for Comby☆13Updated last year