bstee615 / tree-climber
Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
☆37Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for tree-climber
- Extract and combine multiple source code views using tree-sitter☆108Updated 4 months ago
- Mutation-guided mutation-based fuzz testing☆41Updated 4 months ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆66Updated last week
- ☆39Updated last year
- ☆25Updated 3 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆31Updated last week
- This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX☆64Updated 2 years ago
- MegaVul - The largest, high-quality, extensible, continuously updated, C/C++/Java vulnerability dataset☆51Updated 2 weeks ago
- ☆33Updated 2 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆37Updated last year
- VulTrigger is a tool to for identifying vulnerability-triggering statements across functions and investigating the effectiveness of funct…☆27Updated 10 months ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆42Updated last month
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆41Updated last year
- An empirical study on patch correctness☆15Updated 2 years ago
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Updated last year
- ☆13Updated this week
- ☆15Updated 8 months ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆54Updated 7 months ago
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆67Updated 2 months ago
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆56Updated 8 months ago
- Statement-level deep learning model for automated software vulnerability detection in C/C++ (Accepted in MSR 2022)☆69Updated 2 years ago
- Seq2seq Type Inference using Static Analysis and CodeT5☆30Updated last year
- A practical fuzzing tool for SMT solvers☆11Updated 3 months ago
- VulRepair: A T5-Based Automated Software Vulnerability Repair☆67Updated last year
- A tool based on python to parse C/C++ code into code property graph☆13Updated 2 years ago
- ☆120Updated 5 months ago
- Replication package for "Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection", ICSE 2024.☆47Updated last month
- ☆54Updated 11 months ago
- Program Vulnerability Repair via Inductive Inference☆18Updated 11 months ago
- This repository provides the code and guidance for reproducing the results in our ESEC/FSE 2023 submission "Pre-training Code Representat…☆23Updated 9 months ago