Dynamic analysis framework for Python
☆83Jul 7, 2026Updated 3 weeks ago
Alternatives and similar repositories for DynaPyt
Users that are interested in DynaPyt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A learning-guided approach for executing arbitrary Python code snippets☆16Mar 4, 2024Updated 2 years ago
- LLM-based approach to find regression bugs. It checks the behavioral changes introduced by a pull request against its title, description,…☆17Mar 12, 2026Updated 4 months ago
- LLM agent to automatically set up arbitrary projects and run their test suites☆73Jul 17, 2026Updated last week
- ☆37Jan 15, 2026Updated 6 months ago
- ☆18Nov 12, 2025Updated 8 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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
- 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
- DeepBugs is a framework for learning bug detectors from an existing code corpus.☆153Apr 7, 2021Updated 5 years ago
- This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"☆45Oct 19, 2023Updated 2 years ago
- ☆15May 17, 2017Updated 9 years ago
- Defect Library for LLM-enabled Software☆25Dec 31, 2025Updated 6 months ago
- RepairAgent is an autonomous LLM-based agent for software repair.☆103May 31, 2026Updated last month
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆22Dec 17, 2021Updated 4 years ago
- A benchmark for evaluating embeddings of identifiers in source code.☆23Aug 23, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Replication package of a paper "Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction"☆29Sep 7, 2023Updated 2 years ago
- Program Slicing. Experimental library.☆14Feb 2, 2022Updated 4 years ago
- ☆19Mar 22, 2026Updated 4 months ago
- Probabilistic Type Inference using Graph Neural Networks☆49Dec 9, 2022Updated 3 years ago
- Java bytecode generator for sound and precise partial program analysis☆25Jun 4, 2021Updated 5 years ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 9 years ago
- ☆27May 22, 2026Updated 2 months ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆34Jul 15, 2019Updated 7 years ago
- Extract and combine multiple source code views using tree-sitter☆164Sep 17, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆19Jul 15, 2023Updated 3 years ago
- ☆28Sep 15, 2024Updated last year
- junit tools contest infrastructure☆13Feb 9, 2024Updated 2 years ago
- 浙江大学Beamer模板☆16May 19, 2022Updated 4 years ago
- ☆71May 12, 2022Updated 4 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated this week
- ☆19Nov 12, 2025Updated 8 months ago
- ☆22Jul 31, 2019Updated 6 years ago
- ☆16Apr 26, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Deep Learning-Based Clone Detection Approach☆17Jul 27, 2017Updated 9 years ago
- A flutter plugin to support drag-out functionality on native platforms☆11Aug 17, 2022Updated 3 years ago
- Mining tool and large-scale datasets of single statement bug fixes in Python☆19Nov 29, 2023Updated 2 years ago
- tool of llm-based indirect-call analyzer☆31Feb 18, 2025Updated last year
- ☆12Feb 20, 2021Updated 5 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆72Nov 24, 2024Updated last year
- ☆10Sep 19, 2021Updated 4 years ago