yagol2020 / Smart-Target
Smart Contract Security Vulnerability Detection Method based on Target-guided Symbolic Execution
☆13Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Smart-Target
- This is the dataset for our TSE paper "Defining Smart Contracts Defects on Ethereum"☆16Updated 4 years ago
- ☆25Updated 2 years ago
- ☆39Updated 3 years ago
- ☆13Updated 7 months ago
- MANDO is a new heterogeneous graph representation to learn the heterogeneous contract graphs' structures to accurately detect vulnerabili…☆31Updated last year
- ☆19Updated last year
- Cross-Modality Mutual Learning for Smart Contract Vulnerability Detection☆27Updated last year
- Evaluation Results for the Paper "EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts"☆13Updated 3 years ago
- A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…☆11Updated 7 months ago
- Smart Contract Vulnerability Detection Based on Deep Learning. (LSTM, BLSTM, BLSTM+Attention)☆26Updated 5 years ago
- ☆27Updated 3 years ago
- ☆11Updated 2 years ago
- ☆30Updated last year
- VulnerabilityDetectionResearch☆76Updated 2 years ago
- ReChecker: Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models☆52Updated 3 years ago
- The replication package of paper "Pre-training by Predicting Program Dependencies for Vulnerability Analysis Tasks"☆16Updated 10 months ago
- Mutation Test Tool for Solidity☆15Updated 2 years ago
- MegaVul - The largest, high-quality, extensible, continuously updated, C/C++/Java vulnerability dataset☆52Updated 2 weeks ago
- ☆31Updated last year
- Smart Contract Vulnerability Detection From Pure Neural Network to Interpretable Graph Feature and Expert Pattern Fusion (IJCAI-21 Accept…☆80Updated last year
- A unified smart contract standard data set.☆42Updated 3 years ago
- ☆72Updated last year
- ☆13Updated 4 months ago
- LSTM-based smart contract reentry vulnerability detection.☆10Updated 5 years ago
- ☆23Updated 3 months ago
- DeepWukong: Statically Detecting Software Vulnerabilities Using Deep Graph Neural Network☆89Updated 2 years ago
- Dataset containing source code and deployed bytecode for Solidity Smart Contracts that have been verified on Etherscan.io, along with a c…☆19Updated 2 years ago
- Solidity code instrumentation and analysis framework.☆50Updated 4 years ago
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆57Updated 9 months ago
- ☆66Updated last year