ucd-plse / PyDFixLinks
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 2 years ago
Alternatives and similar repositories for PyDFix
Users that are interested in PyDFix are comparing it to the libraries listed below
Sorting:
- ☆22Updated 5 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated 3 months ago
- ☆34Updated 3 months ago
- This is the tool released in the ASE'23 paper "Generative Type Inference for Python".☆28Updated last year
- Collect simple coverage information in memory.☆11Updated 2 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆79Updated 2 years ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆11Updated last year
- Incremental Build Verification☆15Updated last year
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆26Updated 8 months ago
- Teaching and Learning Software Verification via SVF☆34Updated last month
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆65Updated last month
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆17Updated last year
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆71Updated 9 months ago
- A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆57Updated 5 months ago
- This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.☆32Updated 3 years ago
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)☆81Updated 2 months ago
- Program analysis and verification framework☆26Updated 2 weeks ago
- The First International Workshop on Large Language Model for Code 2024 (Co-Located with ICSE 2024)☆17Updated 11 months ago
- A framework for testing compilers' type checkers☆17Updated 9 months ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆21Updated 4 years ago
- BugsInPy: Benchmarking Bugs in Python Projects☆108Updated last year
- This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"☆43Updated last year
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Updated 2 years ago
- Dynamic analysis framework for Python☆76Updated 2 months ago
- A Pointer Analysis Framework for Rust☆52Updated 2 months ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 2 months ago
- ☆34Updated 2 weeks ago
- Scalpel: The Python Static Analysis Framework☆315Updated last year
- ✅SRepair: Powerful LLM-based Program Repairer with $0.029/Fixed Bug☆69Updated last year