Dynamic analysis framework for Python
☆83Aug 27, 2026Updated 2 months 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,…☆21Mar 12, 2026Updated 7 months ago
- Companion website of "MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform", accepted at ICSE 23☆10Mar 12, 2025Updated last year
- ☆24Jun 17, 2021Updated 5 years ago
- An automated fault localization tool for Python programs.☆35Jul 6, 2026Updated 4 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆12Jan 8, 2016Updated 10 years ago
- LibSA4Py: Light-weight static analysis for extracting type hints and features☆11Aug 23, 2023Updated 3 years ago
- ☆19Mar 22, 2026Updated 7 months ago
- C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments (IPAs)☆10May 31, 2026Updated 5 months ago
- DeepBugs is a framework for learning bug detectors from an existing code corpus.☆153Apr 7, 2021Updated 5 years ago
- A grep-like tool to find similar source code fragments using Normalized Compression Distance☆24Updated this week
- ☆15May 17, 2017Updated 9 years ago
- [ICDE 2024] a Web-app for Evaluation of Model selection for Anomaly Detection in Time Series☆11Oct 3, 2024Updated 2 years ago
- Synthesizer for JavaScript API models☆17Apr 7, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- RepairAgent is an autonomous LLM-based agent for software repair.☆109Sep 7, 2026Updated 2 months ago
- Defect Library for LLM-enabled Software☆26Dec 31, 2025Updated 10 months ago
- Artifacts of FSE-2017 paper on an Intelligent Tutoring System for Programming☆26May 21, 2019Updated 7 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆22Dec 17, 2021Updated 4 years ago
- ☆10Mar 22, 2022Updated 4 years ago
- ☆16Oct 9, 2024Updated 2 years ago
- A DL compiler fuzzer☆15Nov 1, 2024Updated 2 years ago
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆42Jan 7, 2023Updated 3 years ago
- Artifacts of the paper "Arcanum: Detecting and Evaluating the Privacy Risks of Browser Extensions on Web Pages and Web Content" in USENIX…☆20Aug 9, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- FaCoY Code-to-Code Search Engine☆34Jan 18, 2019Updated 7 years ago
- Restoring Execution Environments of Jupyter Notebooks☆22May 29, 2023Updated 3 years ago
- A benchmark for evaluating embeddings of identifiers in source code.☆23Aug 23, 2021Updated 5 years ago
- A Benchmark Suite of Real-World Qiskit Bugs☆11Sep 21, 2026Updated last month
- ☆27May 22, 2026Updated 5 months ago
- Dynamic taint analysis for Python.☆11Jul 20, 2024Updated 2 years ago
- Program Slicing. Experimental library.☆14Feb 2, 2022Updated 4 years ago
- Replication package of a paper "Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction"☆29Sep 7, 2023Updated 3 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆34Jul 15, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- BugsInPy: Benchmarking Bugs in Python Projects☆154Feb 10, 2026Updated 8 months ago
- ☆19Jul 15, 2023Updated 3 years ago
- Java bytecode generator for sound and precise partial program analysis☆25Jun 4, 2021Updated 5 years ago
- Extract and combine multiple source code views using tree-sitter☆164Sep 17, 2025Updated last year
- a simple Python script that scrapes each question on StackOverflow along with the best answer☆12Apr 3, 2023Updated 3 years ago
- Characterizing the natural language descriptions in software logging statements [ASE'18]☆17Dec 5, 2018Updated 7 years ago
- ☆16Apr 26, 2021Updated 5 years ago