Smart Contract Security Vulnerability Detection Method based on Target-guided Symbolic Execution
☆13Jul 24, 2022Updated 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:
- A greybox fuzzer for continuous integration☆10Dec 15, 2023Updated 2 years ago
- IEEE XPLORE等文献网站的爬虫工具/Crawler for Paper Website like IEEE XPLORE☆37Jul 17, 2025Updated 8 months ago
- LSTM-based smart contract reentry vulnerability detection.☆10Apr 14, 2019Updated 6 years ago
- DeeSCVHunter: A Deep Learning-Based Framework for Smart Contract Vulnerability Detection (IJCNN 2021)☆25May 14, 2023Updated 2 years ago
- Dynamit: Dynamic Vulnerability Detection of Ethereum Smart Contracts Using Machine Learning☆30Nov 6, 2023Updated 2 years ago
- ☆11Sep 15, 2024Updated last year
- Smart Contract Vulnerability Detection Based on Deep Learning. (LSTM, BLSTM, BLSTM+Attention)☆29Jul 14, 2019Updated 6 years ago
- 本项目使用Keras实现Transformer模型来进行文本分类（中文、英文均支持）。☆12Mar 31, 2022Updated 3 years ago
- Replication of AST Neural Network from Zhang J. et. al (2019) and application to software vulnerability detection☆12Jan 13, 2020Updated 6 years ago
- The dataset of our FSE2015 submission.☆11Mar 18, 2017Updated 9 years ago
- A paper list of vulnerability detection using deep learning (updating)☆14Apr 26, 2024Updated last year
- [BlockSys 2022] Exploring deep learning techniques for Ethereum smart contract vulnerability detection.☆57Feb 18, 2023Updated 3 years ago
- SimADFuzz: Simulation-Feedback Fuzz Testing for Autonomous Driving Systems☆10Apr 11, 2025Updated 11 months ago
- Code for the paper(VDoTR: Vulnerability Detection Based on Tensor Representation \\of Comprehensive Code Graphs)☆17Apr 23, 2023Updated 2 years ago
- ☆23Apr 7, 2022Updated 3 years ago
- Scanning Result of MetaScan's AI GPTScan Engine for 72 Web3Bugs Projects under 10 Logic Vuln Types☆14Aug 8, 2023Updated 2 years ago
- An android bug reproduce tool☆25Jan 30, 2022Updated 4 years ago
- ☆31May 28, 2023Updated 2 years ago
- Meta-Path Based Attentional Graph Learning Model for Vulnerability Detection☆15Dec 19, 2022Updated 3 years ago
- [ICSE 2025] The Seeds of the FUTURE Sprout from History: Fuzzing for Unveiling Vulnerabilities in Prospective Deep-Learning Libraries (AC…☆21Dec 22, 2025Updated 3 months ago
- ☆11Jul 11, 2023Updated 2 years ago
- Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.☆16Jan 27, 2025Updated last year
- Dataset of Codex generated tests for the CodaMosa project☆16Jun 2, 2023Updated 2 years ago
- Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).☆50Feb 28, 2023Updated 3 years ago
- ☆13Mar 13, 2026Updated last week
- DroidMate-2: A Platform for Android Test Generation☆29Mar 9, 2021Updated 5 years ago
- ☆26Apr 13, 2022Updated 3 years ago
- ☆15Oct 9, 2024Updated last year
- Just-In-Time Comment UPdater☆15Jun 11, 2021Updated 4 years ago
- Demonstration of connecting Conflux Network and a SMS Gateway using Chainlink's external initiators and external adapters☆16Jan 24, 2023Updated 3 years ago
- 📖源码安全相关的论文收集(污点分析/符号执行/模糊测试)☆21Oct 23, 2021Updated 4 years ago
- ☆20Jun 9, 2023Updated 2 years ago
- 模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)☆24Apr 7, 2021Updated 4 years ago
- ☆91Sep 10, 2023Updated 2 years ago
- A backdoor attack by vulnerability amplification on online machine learning-based network intrusion detection system☆22Aug 24, 2021Updated 4 years ago
- Reimplementation of AV-FUZZER: Finding Safety Violations in Autonomous Driving Systems (2020 ISSRE)☆21May 10, 2022Updated 3 years ago
- Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection (TKDE Accepted)☆120Feb 28, 2023Updated 3 years ago
- A framework for streamlining the capture of PANDA execution traces.☆57Jun 16, 2020Updated 5 years ago
- ☆18May 1, 2025Updated 10 months ago