Tag
#vulnerability-detection
41 repositories
Repos
Smart Contract Vulnerability Detection Using Graph Neural Networks (IJCAI-20 Accepted)
Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection (TKDE Accepted)
Large Language Model-Powered Smart Contract Vulnerability Detection: New Perspectives (TPS23)
Smart Contract Vulnerability Detection From Pure Neural Network to Interpretable Graph Feature and Expert Pattern Fusion (IJCAI-21 Accepted)
[BlockSys 2022] Exploring deep learning techniques for Ethereum smart contract vulnerability detection.
ReChecker: Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models
Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).
Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and deviations from best practices. Scout audit is the core development on which we extend scout for specific blockchains.
Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security issues and deviations from best practices.
MANDO is a new heterogeneous graph representation to learn the heterogeneous contract graphs' structures to accurately detect vulnerabilities in smart contract source code at both coarse-grained contract-level and fine-grained line-level.
Dynamit: Dynamic Vulnerability Detection of Ethereum Smart Contracts Using Machine Learning
MANDO-GURU, a deep graph learning-based tool, aims to accurately detect vulnerabilities in smart contract source code at both coarse-grained contract-level and fine-grained line-level.
Dataset containing source code and deployed bytecode for Solidity Smart Contracts that have been verified on Etherscan.io, along with a classification of their vulnerabilities according to the Slither static analysis framework.
Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection (TSE Accepted)
A lightweight static analysis engine for Solidity smart contracts. Extracts code features, detects dangerous patterns (delegatecall, tx.origin, call.value), computes heuristic risk scores, and classifies contracts into Low/Medium/High risk levels. Includes multiple example vulnerabilities and a clean CLI for rapid security assessment.
MANDO-HGT is a framework for detecting smart contract vulnerabilities. Given either in source code or bytecode forms, MANDO-HGT adapts heterogeneous graph transformers with customized meta relations for graph nodes and edges to learn their embeddings and train classifiers for detecting various vulnerability types in the contracts' nodes and graphs.
A practical, research-friendly toolkit demonstrating how Python can read, parse, and analyze Solidity smart contracts using feature-engineering techniques. Extracts structural and security-relevant signals from Solidity code, detects risky patterns, builds interpretable features, and forms the basis for heuristic or ML-driven security analysis.
[QRS'22] TokenAuditor: Detecting Manipulation Risk in Token Smart Contract by Fuzzing
Research tool for studying vulnerable cryptographic key generation (brainwallet, PRNG, milksad, LCG, xorshift)
A compiler developed using ANTLR in Java that translates Solidity smart contracts into mCRL2 models
SARMF โ Smart Contract Automated Remediation and Mitigation Framework (DOI-backed reproducible smart contract security engineering methodology)
๐ก๏ธ Embrace a tool based and manual vulnerability check of Smart Contracts ๐ Automated tools are powerful but have limits. Manual inspection is key for true security. Discover how our hybrid method fortifies smart contracts. Stay ahead of evolving threats in the blockchain landscape. Elevate your understanding with our analysis!
ๆไปฌๆๆโๅๅพโ็ๅ็ซฏๅๆ็็ๆๆฏ๐ถ
AI-powered smart contract security agent that scans Solidity code for vulnerabilities like reentrancy, overflow, and access control issues. Integrates with Slither and Mythril for static analysis, then uses LLMs to explain findings and suggest fixes. Built with Python, LangChain, and Web3 tools.
Security analysis platform for Aiken smart contracts on Cardano: 75 detectors, SMT verification, transaction simulation
Multi-Chain Security Scanner | Rust + Go + Python + React | Real-Time Threat Detection | EVM Bytecode Decompiler | Smart Contract Monitoring | Vulnerability Scanner | DeFi Security Dashboard
Enhance your NEAR smart contract security with Scavene, the audit tool that detects vulnerabilities and ensures best practices.
Scout is an extensible open-source tool intended to assist Substrate developers and auditors detect common security issues and deviations from best practices.
Multi-Chain Security Scanner | Rust + Go + Python + React | Real-Time Threat Detection | EVM Bytecode Decompiler | Smart Contract Monitoring | Vulnerability Scanner | DeFi Security Dashboard
Enhancing robustness of the (A)Leo protocol, debugging to identify and resolve vulnerabilities, ensuring system integrity and reliability.
Benchmark suite for smart contract vulnerability detection tools across 7 categories: static analysis, symbolic execution, fuzzing, formal verification, ML/DL, LLM agents, and hybrid. Evaluates Slither, Mythril, GPTScan & more on accuracy, coverage, and scalability. Supports review paper.
Research on Vulnerability Detection Using Intermediate Representations of Solidity
A modular, extensible, and pythonic static analyzer for Solidity smart contracts. Designed for creativity, efficiency, and beauty.
A comprehensive smart contract fuzz-testing tool with AI-assisted analysis. Combines Go-based security analysis with Claude AI for signature extraction and vulnerability detection.
An audit of Smart contract with a small vulnerability report.
NILE (Name Image Likeness Essence) Smart Contract Security Intelligence Platform โ KPI dashboard for attacker/defender metrics, NILE scoring model, EVMbench integration
AI-powered smart contract security auditor with automated vulnerability detection and risk analysis | Python security toolkit
AI-powered Solidity audit workbench integrating static analysis with OpenAI, Gemini, and Claude. Identify, verify, and remediate smart contract vulnerabilities in a modern web interface.
Human-in-the-loop multi-agent system for smart contract security auditing. Combines LLM-powered analysis, Slither integration, and specialized agents for reentrancy, overflow, and access control detection. Auto-generates Foundry fuzz tests and markdown audit reports.