yagol2020 / Smart-TargetLinks
Smart Contract Security Vulnerability Detection Method based on Target-guided Symbolic Execution
☆13Updated 3 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:
- ☆44Updated 4 years ago
- ☆25Updated 3 years ago
- Cross-Modality Mutual Learning for Smart Contract Vulnerability Detection☆33Updated 2 years ago
- This is the dataset for our TSE paper "Defining Smart Contracts Defects on Ethereum"☆17Updated 10 months ago
- ☆23Updated last year
- Smart Contract Vulnerability Detection Based on Deep Learning. (LSTM, BLSTM, BLSTM+Attention)☆29Updated 6 years ago
- A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…☆16Updated 2 months ago
- ☆15Updated 3 years ago
- MANDO is a new heterogeneous graph representation to learn the heterogeneous contract graphs' structures to accurately detect vulnerabili…☆33Updated last year
- An automated smart contract vulnerability repair tool☆12Updated 2 years ago
- VulnerabilityDetectionResearch☆91Updated 3 years ago
- DeepWukong: Statically Detecting Software Vulnerabilities Using Deep Graph Neural Network☆111Updated 3 years ago
- A Transformer-based Line-Level Vulnerability Prediction☆150Updated last year
- ☆15Updated 2 years ago
- Evaluation Results for the Paper "EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts"☆12Updated 4 years ago
- ☆30Updated 10 months ago
- Learning Program Semantics for Vulnerability Detection via Vulnerability-specific Inter-procedural Slicing☆14Updated 2 years ago
- ☆21Updated 2 years ago
- The replication package of paper "Pre-training by Predicting Program Dependencies for Vulnerability Analysis Tasks"☆25Updated last year
- ☆15Updated 2 years ago
- ☆88Updated 2 years ago
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆62Updated last year
- Smart Contract Vulnerability Detection From Pure Neural Network to Interpretable Graph Feature and Expert Pattern Fusion (IJCAI-21 Accept…☆97Updated 2 years ago
- ☆32Updated 2 years ago
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆71Updated 7 months ago
- ☆20Updated last year
- ☆219Updated last year
- ☆101Updated last year
- ☆15Updated 2 years ago
- VulExplainer: A Transformer-based Hierarchical Distillation for Explaining Vulnerability Types☆18Updated last year