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:
- ☆26Updated 3 years ago
- This is the dataset for our TSE paper "Defining Smart Contracts Defects on Ethereum"☆17Updated 6 months ago
- Cross-Modality Mutual Learning for Smart Contract Vulnerability Detection☆33Updated 2 years ago
- ☆42Updated 3 years ago
- ☆20Updated last year
- Smart Contract Vulnerability Detection Based on Deep Learning. (LSTM, BLSTM, BLSTM+Attention)☆28Updated 6 years ago
- MANDO is a new heterogeneous graph representation to learn the heterogeneous contract graphs' structures to accurately detect vulnerabili…☆32Updated last year
- ☆13Updated 2 years ago
- A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…☆15Updated 4 months ago
- ☆22Updated 2 years ago
- ☆29Updated 6 months ago
- DeepWukong: Statically Detecting Software Vulnerabilities Using Deep Graph Neural Network☆110Updated 2 years ago
- ☆18Updated last year
- ☆9Updated last year
- The replication package of paper "Pre-training by Predicting Program Dependencies for Vulnerability Analysis Tasks"☆24Updated last year
- ReChecker: Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models☆55Updated 4 years ago
- A C/C++ Code Vulnerability Dataset with Code Changes and CVE Summaries☆310Updated 4 years ago
- A Transformer-based Line-Level Vulnerability Prediction☆142Updated 11 months ago
- Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection (TKDE Accepted)☆117Updated 2 years ago
- ☆211Updated 11 months ago
- Evaluation Results for the Paper "EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts"☆13Updated 4 years ago
- Learning Program Semantics for Vulnerability Detection via Vulnerability-specific Inter-procedural Slicing☆13Updated last year
- ☆30Updated 2 years ago
- VulnerabilityDetectionResearch☆89Updated 3 years ago
- “CBGRU: A Detection method of Smart Contract Vulnerability Based on Hybrid Model”☆11Updated 3 years ago
- Labeled vulnerable functions statistics analysis and neural network training☆26Updated 5 years ago
- VulExplainer: A Transformer-based Hierarchical Distillation for Explaining Vulnerability Types☆17Updated last year
- ☆14Updated 2 years ago
- FUNDED is a novel learning framework for building vulnerability detection models.☆130Updated last year
- A Sequence Learning Approach to Detecting Vulnerabilities☆49Updated 3 years ago