yagol2020 / Smart-Target
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
- ☆26Updated 2 years ago
- This is the dataset for our TSE paper "Defining Smart Contracts Defects on Ethereum"☆16Updated 3 months ago
- ☆41Updated 3 years ago
- ☆17Updated 11 months ago
- Cross-Modality Mutual Learning for Smart Contract Vulnerability Detection☆31Updated 2 years ago
- A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…☆14Updated last week
- MANDO is a new heterogeneous graph representation to learn the heterogeneous contract graphs' structures to accurately detect vulnerabili…☆31Updated last year
- ☆22Updated last year
- Evaluation Results for the Paper "EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts"☆13Updated 3 years ago
- “CBGRU: A Detection method of Smart Contract Vulnerability Based on Hybrid Model”☆10Updated 2 years ago
- Smart Contract Vulnerability Detection Based on Deep Learning. (LSTM, BLSTM, BLSTM+Attention)☆28Updated 5 years ago
- DeepWukong: Statically Detecting Software Vulnerabilities Using Deep Graph Neural Network☆103Updated 2 years ago
- ☆15Updated 9 months ago
- The replication package of paper "Pre-training by Predicting Program Dependencies for Vulnerability Analysis Tasks"☆22Updated last year
- Dataset containing source code and deployed bytecode for Solidity Smart Contracts that have been verified on Etherscan.io, along with a c…☆22Updated 2 years ago
- ReChecker: Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models☆54Updated 3 years ago
- A unified smart contract standard data set.☆45Updated 3 years ago
- ☆12Updated 2 years ago
- ☆12Updated 2 years ago
- ☆9Updated last year
- ☆28Updated 3 months ago
- We propose a novel DL-based mutation technique (LEAM), which adapts the syntax-guided encoder-decoder architecture to build two sub-model…☆27Updated 9 months ago
- Smart Contract Vulnerability Detection From Pure Neural Network to Interpretable Graph Feature and Expert Pattern Fusion (IJCAI-21 Accept…☆86Updated 2 years ago
- A Sequence Learning Approach to Detecting Vulnerabilities☆48Updated 3 years ago
- MegaVul - The largest, high-quality, extensible, continuously updated, C/C++/Java vulnerability dataset☆64Updated 2 months ago
- PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open Source Software (ISSTA 2024)☆19Updated last week
- ☆9Updated last year
- ☆30Updated 2 years ago
- ☆80Updated last year
- Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection (TKDE Accepted)☆113Updated 2 years ago