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 2 years ago
Alternatives and similar repositories for PyDFix:
Users that are interested in PyDFix are comparing it to the libraries listed below
- ☆32Updated last month
- A Micro-benchmarking Framework for Python Type Inference Tools☆33Updated this week
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆77Updated 2 years ago
- Testing Configuration Changes in Context to Prevent Production Failures☆30Updated 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
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆57Updated 5 months ago
- A powerful relational representation of source code☆31Updated last year
- ☆21Updated 5 years ago
- A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆53Updated last month
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆68Updated 5 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 Simple Abstract Interpreter, built for teaching purposes☆20Updated 4 years ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆26Updated 4 months ago
- Fast and Precise On-the-fly Patch Validation for All☆10Updated 2 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 2 months ago
- Collect simple coverage information in memory.☆11Updated 2 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated 2 years ago
- Code for ICML 2021 paper: How could Neural Networks understand Programs?☆123Updated 5 months ago
- Practical Program Repair via Bytecode Mutation☆64Updated 2 years ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆10Updated last year
- ☆74Updated 2 years ago
- ☆15Updated last year
- ☆10Updated 5 years ago
- ☆11Updated 11 months ago
- Program analysis and verification framework☆18Updated this week
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆36Updated last year
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆30Updated last year
- A Repository of Real, Recent Java Bugs☆15Updated 2 months ago
- Public-facing course info for program analysis materials.☆41Updated 4 months ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago