Dynamic analysis framework for Python
☆80Jan 28, 2026Updated last month
Alternatives and similar repositories for DynaPyt
Users that are interested in DynaPyt are comparing it to the libraries listed below
Sorting:
- A learning-guided approach for executing arbitrary Python code snippets☆16Mar 4, 2024Updated 2 years ago
- LLM agent to automatically set up arbitrary projects and run their test suites☆60Jan 19, 2026Updated last month
- ☆15Nov 12, 2025Updated 3 months ago
- LLM-based approach to find regression bugs. It checks the behavioral changes introduced by a pull request against its title, description,…☆14Feb 26, 2026Updated last week
- ☆33Jan 15, 2026Updated last month
- This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…☆25Nov 18, 2022Updated 3 years ago
- Scalpel: The Python Static Analysis Framework☆324Mar 28, 2024Updated last year
- DiffSearch is a search engine for code changes. The input is a query that describes a code change and the output is a list of matching co…☆19Feb 9, 2024Updated 2 years ago
- Defect Library for LLM-enabled Software☆23Dec 31, 2025Updated 2 months ago
- ☆24Jun 17, 2021Updated 4 years ago
- This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"☆46Oct 19, 2023Updated 2 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 6 months ago
- A DL compiler fuzzer☆14Nov 1, 2024Updated last year
- A Tool for Intersecting Context-Free Grammars☆10Dec 19, 2017Updated 8 years ago
- Program Slicing. Experimental library.☆13Feb 2, 2022Updated 4 years ago
- [NeurIPS 2024] Self-Optimization Improves the Efficiency of Code Generation☆14May 10, 2025Updated 9 months ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.☆12Sep 14, 2017Updated 8 years ago
- BugsInPy: Benchmarking Bugs in Python Projects☆124Feb 10, 2026Updated 3 weeks ago
- Replication package of a paper "Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction"☆26Sep 7, 2023Updated 2 years ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆62Nov 24, 2025Updated 3 months ago
- RepairAgent is an autonomous LLM-based agent for software repair.☆84Feb 12, 2026Updated 3 weeks ago
- 浙江大学Beamer模板☆15May 19, 2022Updated 3 years ago
- ☆14May 17, 2017Updated 8 years ago
- junit tools contest infrastructure☆13Feb 9, 2024Updated 2 years ago
- 解决先知文件大小限制的问题☆16Aug 15, 2024Updated last year
- Mining tool and large-scale datasets of single statement bug fixes in Python☆19Nov 29, 2023Updated 2 years ago
- DeepBugs is a framework for learning bug detectors from an existing code corpus.☆152Apr 7, 2021Updated 4 years ago
- Static Python call graph generator☆365Nov 26, 2023Updated 2 years ago
- ☆22Jul 31, 2019Updated 6 years ago
- Tiny PreProcessor☆18Dec 7, 2025Updated 2 months ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 8 years ago
- ☆19Nov 12, 2025Updated 3 months ago
- A high-performance, parallel, compilation-based symbolic execution engine☆144Jan 26, 2026Updated last month
- ☆21Jul 11, 2022Updated 3 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆22Dec 17, 2021Updated 4 years ago
- ☆17Jul 2, 2018Updated 7 years ago
- Java bytecode generator for sound and precise partial program analysis☆24Jun 4, 2021Updated 4 years ago