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
Alternatives and similar repositories for PyDFix:
Users that are interested in PyDFix are comparing it to the libraries listed below
- ☆31Updated last month
- A Micro-benchmarking Framework for Python Type Inference Tools☆32Updated last week
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆22Updated 10 months ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆23Updated last month
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆67Updated 2 months ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆74Updated 2 years ago
- Collect simple coverage information in memory.☆11Updated 2 years ago
- A learning-guided approach for executing arbitrary Python code snippets☆15Updated 10 months ago
- ☆20Updated 5 years ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow☆49Updated 3 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
- Teaching and Learning Software Verification via SVF☆33Updated this week
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 3 months ago
- Testing Configuration Changes in Context to Prevent Production Failures☆30Updated last year
- The First International Workshop on Large Language Model for Code 2024 (Co-Located with ICSE 2024)☆17Updated 3 months ago
- A powerful relational representation of source code☆30Updated last year
- ☆27Updated 3 months ago
- Program Vulnerability Repair via Inductive Inference☆18Updated last year
- The ISLa (Input Specification Language) language & solver.☆62Updated 6 months ago
- ☆18Updated this week
- Fast and Precise On-the-fly Patch Validation for All☆10Updated last year
- BugsInPy: Benchmarking Bugs in Python Projects☆85Updated 6 months ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆49Updated 2 months ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models☆67Updated 3 months ago
- A Pointer Analysis Framework for Rust☆46Updated last month
- Dynamic analysis framework for Python☆65Updated 2 months ago
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Updated last year
- A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆52Updated last month