rebibabo / static_program_analysis_by_tree_sitterLinks
☆18Updated 3 months ago
Alternatives and similar repositories for static_program_analysis_by_tree_sitter
Users that are interested in static_program_analysis_by_tree_sitter are comparing it to the libraries listed below
Sorting:
- This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX☆72Updated 3 years ago
- ☆83Updated last year
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆44Updated last year
- VulTrigger is a tool to for identifying vulnerability-triggering statements across functions and investigating the effectiveness of funct…☆34Updated last year
- 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
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆42Updated last year
- Code for the paper - Source Code Vulnerability Detection: Combining Code Language Models and Code Property Graph☆75Updated last year
- DeepWukong: Statically Detecting Software Vulnerabilities Using Deep Graph Neural Network☆106Updated 2 years 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…☆33Updated 2 months ago
- A tool based on python to parse C/C++ code into code property graph☆15Updated 2 years ago
- tool of llm-based indirect-call analyzer☆22Updated 3 months ago
- Replication package for "Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection", ICSE 2024.☆64Updated 8 months ago
- Statement-level deep learning model for automated software vulnerability detection in C/C++ (Accepted in MSR 2022)☆73Updated 2 years ago
- This repo is for our submission for ICSE 2025.☆20Updated 11 months ago
- ☆35Updated 2 months ago
- [2023 TDSC] Pre-trained Model-based Automated Software Vulnerability Repair: How Far are We?☆25Updated 2 years ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆61Updated 6 months ago
- ☆74Updated last year
- ☆138Updated last week
- 基于图神经网络的切片级漏洞检测及解释方法☆46Updated 7 months ago
- [ICSE 2024 Industry Challenge Track] Official implementation of "ReposVul: A Repository-Level High-Quality Vulnerability Dataset".☆65Updated 6 months ago
- VulRepair: A T5-Based Automated Software Vulnerability Repair☆78Updated 3 weeks ago
- Vision Transformer-Inspired Automated Vulnerability Repair☆17Updated 3 weeks ago
- A static-analysis tool to detect C/C++ vulnerabilities based on graph comparison☆27Updated 4 years ago
- FUNDED is a novel learning framework for building vulnerability detection models.☆130Updated last year
- ☆83Updated 4 years ago
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆89Updated 3 months ago
- MegaVul - The largest, high-quality, extensible, continuously updated, C/C++/Java vulnerability dataset☆86Updated 4 months ago
- ✅SRepair: Powerful LLM-based Program Repairer with $0.029/Fixed Bug☆65Updated last year
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆115Updated 2 months ago