JimmyLin-afk / SmartAuditFlowLinks
SmartAuditFlow is an AI-powered framework for automated smart contract security auditing. It combines Large Language Models (LLMs) with dynamic workflow orchestration to detect vulnerabilities through adaptive planning, iterative refinement, and integration with static analyzers.
☆15Updated last month
Alternatives and similar repositories for SmartAuditFlow
Users that are interested in SmartAuditFlow are comparing it to the libraries listed below
Sorting:
- ☆11Updated 3 years ago
- ☆17Updated last year
- CTF Writeups☆36Updated 2 years ago
- ☆19Updated last year
- ☆32Updated last year
- ☆12Updated 2 years ago
- This repository introduces our research in source code verifier, including PoC, related issues implementation code and other content.☆23Updated 2 years ago
- ☆41Updated last year
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆15Updated 2 years ago
- forge development env for SUAVE key management☆20Updated last year
- ☆20Updated last year
- MEV Olympics☆44Updated last year
- ☆42Updated 3 years ago
- ☆18Updated last year
- powdr application running Ethereum tests via revm☆17Updated last year
- Research Collection about Parallel, Concurrent, and High-Performance Blockchain/Blockchain VMs☆38Updated 2 years ago
- Foundry EVM Standalone☆23Updated 2 years ago
- solve scripts for all 3 of @0xhana's paradigm ctf challs!☆19Updated 2 years ago
- Applied ZKP Workshop for building zkDApp on Ethereum☆32Updated 2 years ago
- Numen Cyber Smart Contract CTF☆46Updated 2 years ago
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆75Updated last year
- Cuda implementation of EVM bytecode executor☆116Updated last year
- Barebones Solidity smart contract fuzzer☆96Updated 3 years ago
- An EVM decompiler written in Rust.☆47Updated 3 years ago
- A gentle, example-based guide to getting started with the Move prover.☆51Updated 3 years ago
- DeFi exploits for educational purposes☆60Updated 2 years ago
- ☆22Updated 2 years ago
- Quickly learn and understand the EIP-7702☆21Updated this week
- DeFiVulnLabsCosmWasm☆51Updated 2 years ago
- ☆34Updated 9 months ago