OneSavieLabs / BastetLinks
Bastet is a comprehensive dataset of common smart contract vulnerabilities in DeFi along with an AI-driven automated detection process to enhance vulnerability detection accuracy and optimize security lifecycle management.
☆87Updated last week
Alternatives and similar repositories for Bastet
Users that are interested in Bastet are comparing it to the libraries listed below
Sorting:
- A curated list of awesome smart contract analysis tools☆126Updated last year
- DeFi Security Breaches: Comprehensive Root Cause Analysis☆78Updated 2 months ago
- 🍋 An open dataset containing smart contract audit issues from various sources.☆224Updated last year
- A curated list of awesome ton security resources☆39Updated 2 weeks ago
- Web3 CTF Intensive CoLearning☆150Updated 2 weeks ago
- ⚡️ Ethernaut CTF 2024 Challenges & Solutions☆114Updated last year
- Challenges and Solutions of Blaz CTF 2023☆45Updated last year
- Generate invariants for Foundry projects with LLM☆101Updated last year
- Primers for Specialist AI Smart Contract Auditors☆213Updated last month
- A list of public fuzzing campaigns☆120Updated 3 months ago
- This repository contains a curated collection of resources focused on auditing Move smart contracts. It includes tools, best practices, c…☆123Updated 4 months ago
- ☆120Updated last month
- Challenges for the ONLYPWNER CTF Platform☆47Updated 10 months ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆123Updated last year
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆171Updated 8 months ago
- ☆84Updated last year
- Hacks/Vulns/Audits Compilation☆162Updated last year
- A framework for evaluating AI audit agents using recent real-world data☆72Updated this week
- ☆38Updated last year
- Damn Vulnerable DeFi v4 Solutions☆46Updated last year
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆99Updated last year
- CTF challenges made by MiloTruck☆97Updated 3 months ago
- ☆48Updated 6 months ago
- Pre-built security properties for commonly forked DeFi protocols☆195Updated last year
- My swiss army knife for reversing EVM bytecodes (super experimental)☆124Updated last month
- MoveBit Sampled Audit Reports☆50Updated 11 months ago
- On-chain test DeFi using Foundry☆212Updated 2 years ago
- EDB: The Ethereum Project Debugger☆244Updated last week
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆68Updated 2 months ago
- A 6-part series on how to use Echidna on real-world codebases☆109Updated 2 years ago