yagol2020 / Smart-TargetLinks
Smart Contract Security Vulnerability Detection Method based on Target-guided Symbolic Execution
☆13Updated 2 years ago
Alternatives and similar repositories for Smart-Target
Users that are interested in Smart-Target are comparing it to the libraries listed below
Sorting:
- This is the dataset for our TSE paper "Defining Smart Contracts Defects on Ethereum"☆17Updated 5 months ago
- ☆19Updated last year
- DeepWukong: Statically Detecting Software Vulnerabilities Using Deep Graph Neural Network☆108Updated 2 years ago
- ☆42Updated 3 years ago
- The replication package of paper "Pre-training by Predicting Program Dependencies for Vulnerability Analysis Tasks"☆24Updated last year
- A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…☆15Updated 3 months ago
- ☆13Updated 2 years ago
- ☆26Updated 3 years ago
- ☆10Updated last year
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆64Updated last year
- VulExplainer: A Transformer-based Hierarchical Distillation for Explaining Vulnerability Types☆17Updated last year
- Learning Program Semantics for Vulnerability Detection via Vulnerability-specific Inter-procedural Slicing☆14Updated last year
- Cross-Modality Mutual Learning for Smart Contract Vulnerability Detection☆33Updated 2 years ago
- We propose a novel DL-based mutation technique (LEAM), which adapts the syntax-guided encoder-decoder architecture to build two sub-model…☆28Updated last year
- ☆13Updated 2 years ago
- Replication package for "Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection", ICSE 2024.☆65Updated 9 months ago
- VulnerabilityDetectionResearch☆87Updated 3 years ago
- ☆32Updated last year
- ☆83Updated 4 years ago
- Code for ICSE'24 Paper☆10Updated last year
- ☆14Updated 2 years ago
- [ICSE 2024 Industry Challenge Track] Official implementation of "ReposVul: A Repository-Level High-Quality Vulnerability Dataset".☆68Updated 7 months ago
- ☆22Updated 2 years ago
- ☆18Updated 11 months ago
- A Transformer-based Line-Level Vulnerability Prediction☆139Updated 10 months ago
- MANDO is a new heterogeneous graph representation to learn the heterogeneous contract graphs' structures to accurately detect vulnerabili…☆32Updated last year
- ☆11Updated 2 years ago
- ☆29Updated 3 years ago
- ☆26Updated 2 years ago
- ☆24Updated last year