ucd-plse / PyDFix
PyDFix is a tool that helps detect and fix dependency errors that cause the unreproducibility of Python builds. PyDFix takes as input the current build log, the original build log and the source code. PyDFix first identifies dependency errors and possible dependency packages causing these errors using LogErrorAnalyzer. This is followed by iterat…
☆12Updated last year
Related projects ⓘ
Alternatives and complementary repositories for PyDFix
- A Micro-benchmarking Framework for Python Type Inference Tools☆31Updated last week
- ☆31Updated last week
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆73Updated 2 years ago
- Collect simple coverage information in memory.☆11Updated 2 years ago
- The ISLa (Input Specification Language) language & solver.☆62Updated 4 months ago
- This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.☆30Updated 2 years ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆49Updated last year
- Testing Configuration Changes in Context to Prevent Production Failures☆29Updated 11 months ago
- PL/SE conference deadline countdowns☆19Updated 4 years ago
- Dynamic analysis framework for Python☆58Updated last week
- Enumerative Testing and Bounded Validation of SMT Solvers☆20Updated last month
- Teaching and Learning Software Verification via SVF☆32Updated last month
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated last year
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆21Updated 3 years ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆43Updated last month
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- A Pointer Analysis Framework for Rust☆42Updated last month
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Updated 8 months ago
- Towards AI-Assisted Synthesis of Verified Dafny Methods☆34Updated 5 months ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆9Updated 7 months ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆45Updated 3 years ago
- A dynamic method for detecting faults in incremental and parallel builds.☆16Updated 2 years ago
- ☆26Updated 3 weeks ago
- ☆13Updated this week
- ☆20Updated 5 years ago
- This is the tool released in the ASE'23 paper "Generative Type Inference for Python".☆24Updated last year
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆21Updated 3 months ago
- Public-facing course info for program analysis materials.☆37Updated this week
- BugsInPy: Benchmarking Bugs in Python Projects☆81Updated 4 months ago