bstee615 / tree-climber
Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
☆33Updated 6 months ago
Related projects: ⓘ
- Extract and combine multiple source code views using tree-sitter☆102Updated 2 months ago
- ☆25Updated 3 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆65Updated last week
- Mutation-guided mutation-based fuzz testing☆41Updated 2 months ago
- An empirical study on patch correctness☆15Updated last year
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆36Updated 11 months ago
- DBGBench Website:☆17Updated 3 years ago
- Lightweight tool for slicing☆34Updated this week
- MegaVul - The largest, high-quality, extensible, continuously updated, C/C++/Java vulnerability dataset☆33Updated 2 months ago
- Seq2seq Type Inference using Static Analysis and CodeT5☆27Updated last year
- Fuzzing Deep Learning Libraries Via Mining Security Knowledge from Open Source☆11Updated 4 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆26Updated this week
- A Reproducible Benchmark of Recent Java Bugs☆21Updated last month
- Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…☆15Updated 3 years ago
- This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX☆60Updated 2 years ago
- ☆14Updated 5 months ago
- Program Vulnerability Repair via Inductive Inference☆18Updated 8 months ago
- ACER is an AST-based Callgraph Generator Development Framework☆26Updated 3 months ago
- ☆38Updated last year
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆18Updated 5 months ago
- User Guided API Misuse Detection☆26Updated last year
- ☆12Updated last month
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆40Updated last year
- ☆12Updated last year
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆60Updated last week
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆39Updated last week
- ☆111Updated 3 months ago
- VulRepair: A T5-Based Automated Software Vulnerability Repair☆65Updated last year
- ☆30Updated this week
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆50Updated 9 months ago