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.
☆89Updated 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☆125Updated last year
- DeFi Security Breaches: Comprehensive Root Cause Analysis☆78Updated 4 months ago
- Challenges and Solutions of Blaz CTF 2023☆45Updated last year
- Web3 CTF Intensive CoLearning☆153Updated this week
- Generate invariants for Foundry projects with LLM☆102Updated last year
- ⚡️ Ethernaut CTF 2024 Challenges & Solutions☆114Updated last year
- Challenges for the ONLYPWNER CTF Platform☆48Updated 11 months ago
- 🍋 An open dataset containing smart contract audit issues from various sources.☆228Updated last year
- ☆121Updated 3 weeks ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆126Updated last year
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆176Updated 9 months ago
- ☆38Updated last year
- ☆105Updated 3 years ago
- Pre-built security properties for commonly forked DeFi protocols☆196Updated 2 years ago
- ☆84Updated last year
- Solidity Invariant Testing Starter Repo, write Foundry Tests, run Echidna, Medusa and Halmos.☆44Updated 3 months ago
- On-chain test DeFi using Foundry☆216Updated 2 years ago
- Solidity CTF challenges for mrstealyocrypto.xyz (foundry)☆144Updated last year
- Primers for Specialist AI Smart Contract Auditors☆221Updated 3 months ago
- Damn Vulnerable DeFi v4 Solutions☆47Updated last year
- A list of public fuzzing campaigns☆124Updated last month
- Resources for the budding field of risk modelling and analysis in DeFi☆159Updated last year
- A curated list of awesome ton security resources☆39Updated 2 months ago
- CTF challenges made by MiloTruck☆98Updated 4 months ago
- Foundry template to run Proof of Concept (PoC) fork tests on any EVM compatible chain.☆50Updated 2 years ago
- Symbolic stack CFG generator for EVM☆188Updated 9 months ago
- Workshop about the different types of reentrancy attacks☆134Updated 7 months ago
- Hacks/Vulns/Audits Compilation☆162Updated last year
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆213Updated last year
- MoveBit Sampled Audit Reports☆53Updated last year