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 7 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
- SimADFuzz: Simulation-Feedback Fuzz Testing for Autonomous Driving Systems☆10Apr 11, 2025Updated 10 months ago
- Smart Contract Vulnerability Detection Based on Deep Learning. (LSTM, BLSTM, BLSTM+Attention)☆29Jul 14, 2019Updated 6 years ago
- The dataset of our FSE2015 submission.☆11Mar 18, 2017Updated 8 years ago
- 本项目使用Keras实现Transformer模型来进行文本分类（中文、英文均支持）。☆12Mar 31, 2022Updated 3 years ago
- ☆14Oct 9, 2024Updated last year
- Dataset of Codex generated tests for the CodaMosa project☆16Jun 2, 2023Updated 2 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
- Replication of AST Neural Network from Zhang J. et. al (2019) and application to software vulnerability detection☆12Jan 13, 2020Updated 6 years ago
- ☆11Sep 15, 2024Updated last year
- Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).☆50Feb 28, 2023Updated 3 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
- ☆11Jul 11, 2023Updated 2 years ago
- Code for the paper(VDoTR: Vulnerability Detection Based on Tensor Representation \\of Comprehensive Code Graphs)☆17Apr 23, 2023Updated 2 years ago
- ☆13Updated this week
- Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.☆16Jan 27, 2025Updated last year
- [ICSE 2025] The Seeds of the FUTURE Sprout from History: Fuzzing for Unveiling Vulnerabilities in Prospective Deep-Learning Libraries (AC…☆20Dec 22, 2025Updated 2 months ago
- Demonstration of connecting Conflux Network and a SMS Gateway using Chainlink's external initiators and external adapters☆16Jan 24, 2023Updated 3 years ago
- Meta-Path Based Attentional Graph Learning Model for Vulnerability Detection☆14Dec 19, 2022Updated 3 years ago
- ☆19Jun 9, 2023Updated 2 years ago
- Just-In-Time Comment UPdater☆15Jun 11, 2021Updated 4 years ago
- ☆18May 1, 2025Updated 10 months ago
- Reimplementation of AV-FUZZER: Finding Safety Violations in Autonomous Driving Systems (2020 ISSRE)☆21May 10, 2022Updated 3 years ago
- A tool for predicting unsafe road scenarios for self-driving cars in BeamNG.tech.☆25Jul 30, 2024Updated last year
- 模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)☆23Apr 7, 2021Updated 4 years ago
- ☆91Sep 10, 2023Updated 2 years ago
- ☆23Apr 7, 2022Updated 3 years ago
- A feedback-driven fuzzing framework for testing autonomous driving systems (by Seulbae Kim)☆21Apr 5, 2023Updated 2 years ago
- ☆31May 28, 2023Updated 2 years ago
- ☆24Updated this week
- A tool to generate synthetic tests for the Solidity platform☆28Mar 25, 2024Updated last year
- BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems (ISSTA 2023)☆25Mar 16, 2024Updated last year
- just for android studio☆27Jun 5, 2020Updated 5 years ago
- A backdoor attack by vulnerability amplification on online machine learning-based network intrusion detection system☆22Aug 24, 2021Updated 4 years ago