yagol2020 / Smart-Target
Smart Contract Security Vulnerability Detection Method based on Target-guided Symbolic Execution
☆13Updated 2 years ago
Related projects: ⓘ
- This is the dataset for our TSE paper "Defining Smart Contracts Defects on Ethereum"☆16Updated 4 years ago
- ☆25Updated 2 years ago
- ☆37Updated 3 years ago
- ☆11Updated 4 months ago
- Cross-Modality Mutual Learning for Smart Contract Vulnerability Detection☆25Updated last year
- ☆17Updated last year
- A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…☆11Updated 5 months ago
- MANDO is a new heterogeneous graph representation to learn the heterogeneous contract graphs' structures to accurately detect vulnerabili…☆29Updated 9 months ago
- Evaluation Results for the Paper "EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts"☆13Updated 3 years ago
- Smart Contract Vulnerability Detection Based on Deep Learning. (LSTM, BLSTM, BLSTM+Attention)☆24Updated 5 years ago
- ☆11Updated 2 years ago
- ☆26Updated 3 years ago
- ☆31Updated last year
- ReChecker: Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models☆48Updated 3 years ago
- Smart Contract Vulnerability Detection From Pure Neural Network to Interpretable Graph Feature and Expert Pattern Fusion (IJCAI-21 Accept…☆78Updated last year
- ☆30Updated last year
- A Sequence Learning Approach to Detecting Vulnerabilities☆46Updated 2 years ago
- DeepWukong: Statically Detecting Software Vulnerabilities Using Deep Graph Neural Network☆82Updated 2 years ago
- A unified smart contract standard data set.☆39Updated 3 years ago
- Smart Contract Vulnerability Detection Using Graph Neural Networks☆15Updated 4 years ago
- LSTM-based smart contract reentry vulnerability detection.☆10Updated 5 years ago
- Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection (TKDE Accepted)☆99Updated last year
- ☆9Updated last year
- VulnerabilityDetectionResearch☆71Updated 2 years ago
- DeeSCVHunter: A Deep Learning-Based Framework for Smart Contract Vulnerability Detection (IJCNN 2021)☆21Updated last year
- This is a crawler with a tool of Jsoup. Furthermore. Moreover, there is a python version.☆17Updated 5 years ago
- Mutation Test Tool for Solidity☆15Updated 2 years ago
- ☆22Updated last year
- Labeled vulnerable functions statistics analysis and neural network training☆24Updated 5 years ago
- ☆9Updated last year