Smart Contract Security Vulnerability Detection Method based on Target-guided Symbolic Execution
☆13Jul 24, 2022Updated 4 years ago
Alternatives and similar repositories for Smart-Target
Users that are interested in Smart-Target are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A greybox fuzzer for continuous integration☆11Dec 15, 2023Updated 2 years ago
- IEEE XPLORE等文献网站的爬虫工具/Crawler for Paper Website like IEEE XPLORE☆43Jul 17, 2025Updated last year
- LSTM-based smart contract reentry vulnerability detection.☆10Apr 14, 2019Updated 7 years ago
- DeeSCVHunter: A Deep Learning-Based Framework for Smart Contract Vulnerability Detection (IJCNN 2021)☆23May 14, 2023Updated 3 years ago
- Dynamit: Dynamic Vulnerability Detection of Ethereum Smart Contracts Using Machine Learning☆31Nov 6, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- The front-end framework of smart contract vulnerability detection.☆11Jun 27, 2020Updated 6 years ago
- ☆13Sep 15, 2024Updated 2 years ago
- Smart Contract Vulnerability Detection Based on Deep Learning. (LSTM, BLSTM, BLSTM+Attention)☆32Jul 14, 2019Updated 7 years ago
- 本项目使用Keras实现Transformer模型来进行文本分类（中文、英文均支持）。☆12Mar 31, 2022Updated 4 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
- A paper list of vulnerability detection using deep learning (updating)☆14Apr 26, 2024Updated 2 years ago
- The dataset of our FSE2015 submission.☆11Mar 18, 2017Updated 9 years ago
- [BlockSys 2022] Exploring deep learning techniques for Ethereum smart contract vulnerability detection.☆58Feb 18, 2023Updated 3 years ago
- The official repo for the FSE 2025 paper "Multi-modal Traffic Scenario Generation for Autonomous Driving System Testing".☆13Jun 22, 2026Updated 4 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Code for the paper(VDoTR: Vulnerability Detection Based on Tensor Representation \\of Comprehensive Code Graphs)☆17Apr 23, 2023Updated 3 years ago
- ☆23Apr 7, 2022Updated 4 years ago
- DroidMate-2: A Platform for Android Test Generation☆30Mar 9, 2021Updated 5 years ago
- ☆11May 8, 2024Updated 2 years ago
- An android bug reproduce tool☆25Jan 30, 2022Updated 4 years ago
- Meta-Path Based Attentional Graph Learning Model for Vulnerability Detection☆15Dec 19, 2022Updated 3 years ago
- 📖源码安全相关的论文收集(污点分析/符号执行/模糊测试)☆21Oct 23, 2021Updated 5 years ago
- Just-In-Time Comment UPdater☆15Jun 11, 2021Updated 5 years ago
- Demonstration of connecting Conflux Network and a SMS Gateway using Chainlink's external initiators and external adapters☆14Jan 24, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.☆16Jan 27, 2025Updated last year
- Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).☆52Feb 28, 2023Updated 3 years ago
- SimADFuzz: Simulation-Feedback Fuzz Testing for Autonomous Driving Systems☆11Apr 11, 2025Updated last year
- ☆27Apr 13, 2022Updated 4 years ago
- ☆18Dec 5, 2022Updated 3 years ago
- Scanning Result of MetaScan's AI GPTScan Engine for 72 Web3Bugs Projects under 10 Logic Vuln Types☆17Aug 8, 2023Updated 3 years ago
- A backdoor attack by vulnerability amplification on online machine learning-based network intrusion detection system☆21Aug 24, 2021Updated 5 years ago
- ☆32May 28, 2023Updated 3 years ago
- [ICSE 2025] The Seeds of the FUTURE Sprout from History: Fuzzing for Unveiling Vulnerabilities in Prospective Deep-Learning Libraries (AC…☆22Dec 22, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆17Oct 9, 2024Updated 2 years ago
- ☆20Jun 9, 2023Updated 3 years ago
- ☆21Oct 16, 2026Updated 2 weeks ago
- 模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)☆24Apr 7, 2021Updated 5 years ago
- Dataset of Codex generated tests for the CodaMosa project☆19Jun 2, 2023Updated 3 years ago
- Reimplementation of AV-FUZZER: Finding Safety Violations in Autonomous Driving Systems (2020 ISSRE)☆19May 10, 2022Updated 4 years ago
- A framework for streamlining the capture of PANDA execution traces.☆59Jun 16, 2020Updated 6 years ago