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 this week
- The ISLa (Input Specification Language) language & solver.☆60Updated 4 months ago
- ☆31Updated 3 weeks ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- ☆20Updated 5 years ago
- ☆26Updated 2 weeks ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆73Updated 2 years 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
- A dynamic method for detecting faults in incremental and parallel builds.☆16Updated 2 years ago
- ☆14Updated last year
- Dynamic analysis framework for Python☆56Updated this week
- Enumerative Testing and Bounded Validation of SMT Solvers☆20Updated 3 weeks ago
- Teaching and Learning Software Verification via SVF☆32Updated 3 weeks ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated last year
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆42Updated last month
- A Java program synthesizer.☆21Updated 5 years ago
- Collect simple coverage information in memory.☆11Updated 2 years ago
- A learning-guided approach for executing arbitrary Python code snippets☆15Updated 8 months ago
- A Fast Floating-Point Satisfiability Solver☆20Updated 5 years ago
- A multi-lingual program repair benchmark set based on the Quixey Challenge☆102Updated 2 years ago
- This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"☆40Updated last year
- homepage for proFL☆23Updated 3 years ago
- PL/SE conference deadline countdowns☆19Updated 3 years ago
- A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆48Updated last year
- Testing Configuration Changes in Context to Prevent Production Failures☆29Updated 11 months ago
- This is the tool released in the ASE'23 paper "Generative Type Inference for Python".☆24Updated last year
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆21Updated 3 years ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.☆30Updated 2 years ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆15Updated 7 months ago