GitHub topics: smart-contracts-security

eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.

Language: Python - Size: 13.1 MB - Last synced at: 21 days ago - Pushed at: 3 months ago - Stars: 37 - Forks: 4

Size: 8.79 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.

Language: Rust - Size: 6.86 MB - Last synced at: 5 months ago - Pushed at: 11 months ago - Stars: 79 - Forks: 14

EtherAuthority secures web3 including: DeFi, NFT, DAO, Metaverse, Gaming, DEX, Launchpad, L1 Blockchain, Escrow, Cross-chain Bridge, and many more.

Size: 502 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 11 - Forks: 10

HighGuard is a runtime monitoring tool for monitoring smart contracts against high-level properties

Language: JavaScript - Size: 20.1 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 2

Posting the highlights and gotchas of my journey on becoming a Smart Contract Auditor

Language: Solidity - Size: 2.96 MB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

A collection of Solidity CTF puzzles & solutions

Language: TypeScript - Size: 210 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1

Related Keywords

ecosyste.ms