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:
- ☆33Updated 2 weeks ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated 3 weeks ago
- This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"☆43Updated last year
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Updated 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
- ☆22Updated 5 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆78Updated 2 years ago
- A dynamic method for detecting faults in incremental and parallel builds.☆17Updated 2 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆47Updated 3 years ago
- The ISLa (Input Specification Language) language & solver.☆63Updated 11 months ago
- A powerful relational representation of source code☆31Updated last year
- Teaching and Learning Software Verification via SVF☆34Updated last week
- Practical Program Repair via Bytecode Mutation☆65Updated 2 years ago
- PL/SE conference deadline countdowns☆19Updated 4 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 3 months ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- Incremental Build Verification☆14Updated last year
- Collect simple coverage information in memory.☆11Updated 2 years ago
- A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆54Updated 2 months ago
- A framework for testing compilers' type checkers☆17Updated 6 months ago
- Dynamic analysis framework for Python☆70Updated 6 months ago
- A learning-guided approach for executing arbitrary Python code snippets☆18Updated last year
- ☆14Updated last year
- Debugging Prototype Avicenna☆10Updated 3 months ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆70Updated 6 months ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Updated 7 years ago
- Official repository for PraPR source code☆14Updated 4 years ago
- ☆33Updated 7 months ago
- A practical fuzzing tool for SMT solvers☆11Updated 9 months ago
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆22Updated last year