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☆42Jul 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Sep 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
- [BlockSys 2022] Exploring deep learning techniques for Ethereum smart contract vulnerability detection.☆58Feb 18, 2023Updated 3 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
- 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Scanning Result of MetaScan's AI GPTScan Engine for 72 Web3Bugs Projects under 10 Logic Vuln Types☆16Aug 8, 2023Updated 3 years ago
- Meta-Path Based Attentional Graph Learning Model for Vulnerability Detection☆15Dec 19, 2022Updated 3 years ago
- An android bug reproduce tool☆25Jan 30, 2022Updated 4 years ago
- DroidMate-2: A Platform for Android Test Generation☆30Mar 9, 2021Updated 5 years ago
- SimADFuzz: Simulation-Feedback Fuzz Testing for Autonomous Driving Systems☆11Apr 11, 2025Updated last year
- Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.☆16Jan 27, 2025Updated last year
- ☆27Apr 13, 2022Updated 4 years ago
- Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).☆52Feb 28, 2023Updated 3 years ago
- Just-In-Time Comment UPdater☆15Jun 11, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆18Dec 5, 2022Updated 3 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
- 📖源码安全相关的论文收集(污点分析/符号执行/模糊测试)☆21Oct 23, 2021Updated 4 years ago
- ☆16Oct 9, 2024Updated last year
- ☆20Updated this week
- ☆32May 28, 2023Updated 3 years ago
- 模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)☆24Apr 7, 2021Updated 5 years ago
- A backdoor attack by vulnerability amplification on online machine learning-based network intrusion detection system☆22Aug 24, 2021Updated 5 years ago
- ☆20Jun 9, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- [ICSE 2025] The Seeds of the FUTURE Sprout from History: Fuzzing for Unveiling Vulnerabilities in Prospective Deep-Learning Libraries (AC…☆22Dec 22, 2025Updated 8 months ago
- ☆95Sep 10, 2023Updated 3 years ago
- A framework for streamlining the capture of PANDA execution traces.☆59Jun 16, 2020Updated 6 years ago
- A tool for predicting unsafe road scenarios for self-driving cars in BeamNG.tech.☆26Jul 30, 2024Updated 2 years ago
- Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection (TKDE Accepted)☆121Feb 28, 2023Updated 3 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