secure-software-engineering / TypeEvalPyLinks
A Micro-benchmarking Framework for Python Type Inference Tools
☆38Updated this week
Alternatives and similar repositories for TypeEvalPy
Users that are interested in TypeEvalPy are comparing it to the libraries listed below
Sorting:
- Dynamic analysis framework for Python☆79Updated 4 months ago
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- Seq2seq Type Inference using Static Analysis and CodeT5☆32Updated 2 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆73Updated 11 months ago
- ☆148Updated 5 months ago
- Mutation-guided mutation-based fuzz testing☆48Updated last year
- A framework for testing compilers' type checkers☆60Updated last year
- Camera Ready copy of FuzzSlice v1 code for ICSE☆19Updated last year
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆56Updated 3 months ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆76Updated 3 months ago
- Scalpel: The Python Static Analysis Framework☆321Updated last year
- Extract and combine multiple source code views using tree-sitter☆154Updated 2 months ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆53Updated 5 months ago
- Program Vulnerability Repair via Inductive Inference☆20Updated last year
- A powerful relational representation of source code☆33Updated 2 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆60Updated last year
- ☆34Updated 2 months ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆48Updated 4 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 4 months ago
- A framework for testing compilers' type checkers☆19Updated last year
- Teaching and Learning Software Verification via SVF☆34Updated 3 months ago
- This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"☆46Updated 2 years ago
- A Pointer Analysis Framework for Rust☆60Updated 5 months ago
- A fuzzing framework for SMT solvers☆193Updated 2 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 5 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆67Updated 8 months ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 3 years ago
- This is the tool released in the ASE'23 paper "Generative Type Inference for Python".☆28Updated 2 years ago
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆27Updated last year
- Loop invariant generation with LLMs☆29Updated 8 months ago