secure-software-engineering / TypeEvalPy
A Micro-benchmarking Framework for Python Type Inference Tools
☆32Updated 3 weeks ago
Alternatives and similar repositories for TypeEvalPy:
Users that are interested in TypeEvalPy are comparing it to the libraries listed below
- 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
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 3 months ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆49Updated 2 months ago
- ☆26Updated last week
- This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"☆41Updated last year
- LLMDFA: Analyzing Dataflow in Code with Large Language Models☆71Updated 4 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆38Updated 11 months ago
- BugsInPy: Benchmarking Bugs in Python Projects☆88Updated 7 months ago
- A Reproducible Benchmark of Recent Java Bugs☆32Updated this week
- ☆126Updated 2 months ago
- A program slicer for Java, based on the system dependence graph (SDG).☆64Updated last year
- The ISLa (Input Specification Language) language & solver.☆62Updated 7 months ago
- ☆25Updated 3 years ago
- Dynamic analysis framework for Python☆65Updated 3 months ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆25Updated 5 months ago
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow☆50Updated 4 months ago
- Mutation-guided mutation-based fuzz testing☆41Updated 7 months ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated 2 years ago
- Extract and combine multiple source code views using tree-sitter☆121Updated last month
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- A practical fuzzing tool for SMT solvers☆11Updated 6 months ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆42Updated 11 months ago
- A powerful relational representation of source code☆30Updated last year
- Seq2seq Type Inference using Static Analysis and CodeT5☆30Updated last year
- Camera Ready copy of FuzzSlice v1 code for ICSE☆17Updated last year
- An empirical study on patch correctness☆15Updated 2 years ago
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆34Updated 2 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆108Updated 3 weeks ago
- ☆28Updated 3 months ago