8000 crytic repositories · GitHub

More Web Proxy on the site http://driver.im/

Crytic

All

65 repositories

solana-lints
Public
Lints based on the Sealevel Attacks
Rust
•10•43•3•7•Updated Jun 27, 2025Jun 27, 2025
echidna
Public
Ethereum smart contract fuzzer
testing security ethereum smart-contracts solidity fuzzer evm
Haskell
•
GNU Affero General Public License v3.0
•399•2.9k•117•31•Updated Jun 26, 2025Jun 26, 2025
crytic-compile
Public
Abstraction layer for smart contract build systems
Python
•
GNU Affero General Public License v3.0
•85•175•104•12•Updated Jun 26, 2025Jun 26, 2025
slither
Public
Static Analyzer for Solidity and Vyper
static-analysis ethereum solidity vyper
Python
•
GNU Affero General Public License v3.0
•1k•5.7k•402•62•Updated Jun 24, 2025Jun 24, 2025
medusa
Public
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Go
•
GNU Affero General Public License v3.0
•67•401•87•25•Updated Jun 22, 2025Jun 22, 2025
crytic.nix
Public
A flake.nix for easy access to crytic tools
Nix
•0•0•0•0•Updated May 21, 2025May 21, 2025
medusa-geth
Public
A go-ethereum fork enabling additional testing capabilities for medusa
1•12•0•0•Updated Apr 23, 2025Apr 23, 2025
properties
Public
Pre-built security properties for common Ethereum operations
Solidity
•
GNU Affero General Public License v3.0
•51•327•20•5•Updated Apr 18, 2025Apr 18, 2025
solc-select
Public
Manage and switch between Solidity compiler versions
ethereum solidity
Python
•
GNU Affero General Public License v3.0
•110•781•14•4•Updated Apr 18, 2025Apr 18, 2025
building-secure-contracts
Public
Guidelines and training material to write secure smart contracts
Solidity
•
GNU Affero General Public License v3.0
•368•2.4k•40•13•Updated Apr 15, 2025Apr 15, 2025
slither-action
Public
Shell
•
GNU Affero General Public License v3.0
•23•138•6•3•Updated Mar 21, 2025Mar 21, 2025
anchorx-ray
Public
Node module for scanning and visualize Solana accounts
HTML
•
GNU Affero General Public License v3.0
•2•31•2•0•Updated Mar 3, 2025Mar 3, 2025
amarna
Public archive
Amarna is a static-analyzer and linter for the Cairo programming language.
cairo starknet linter static-analysis
Python
•
GNU Affero General Public License v3.0
•8•149•11•3•Updated Feb 14, 2025Feb 14, 2025
etheno
Public archive
Simplify Ethereum security analysis and testing
ethereum symbolic-execution solidity differential-testing truffle ganache
Python
•
GNU Affero General Public License v3.0
•33•340•30•7•Updated Feb 14, 2025Feb 14, 2025
blockchain-security-contacts
Public
Directory of security contacts for blockchain companies
security email directory ethereum blockchain
Creative Commons Attribution 4.0 International
•187•407•4•1•Updated Feb 7, 2025Feb 7, 2025
fuzz-utils
Public
A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
Solidity
•
GNU Affero General Public License v3.0
•5•107•17•2•Updated Dec 23, 2024Dec 23, 2024
optik
Public
Optik is a set of symbolic execution tools that assist smart-contract fuzzers
smart-contracts symbolic-execution fuzzing evm security-tools echidna maat
Python
•
Other
•12•97•22•6•Updated Sep 3, 2024Sep 3, 2024
.github
Public
GNU Affero General Public License v3.0
•9•1•0•0•Updated Aug 27, 2024Aug 27, 2024
awesome-ethereum-security
Public
A curated list of awesome Ethereum security references
security ethereum solidity evm
Creative Commons Attribution 4.0 International
•200•1.4k•4•20•Updated Aug 20, 2024Aug 20, 2024
evm-opcodes
Public
Ethereum opcodes and instruction reference
ethereum instructions opcodes evm
Apache License 2.0
•219•1.3k•8•4•Updated Aug 19, 2024Aug 19, 2024
smart-contract-data
Public archive
smart contract data
0•0•0•0•Updated Aug 15, 2024Aug 15, 2024
contract-explorer
Public
Visual Studio Code integration for Slither, a Solidity static analysis framework
static-analysis ethereum visual-studio-code solidity vscode-extension
TypeScript
•
GNU Affero General Public License v3.0
•11•35•21•3•Updated Jul 28, 2024Jul 28, 2024
slither-lsp
Public
Python
•
GNU Affero General Public License v3.0
•0•2•0•0•Updated Jul 28, 2024Jul 28, 2024
cloudexec
Public
A general purpose foundation for cloud-based fuzzing and mutation testing jobs
Go
•
GNU Affero General Public License v3.0
•1•19•19•2•Updated Jul 26, 2024Jul 26, 2024
attacknet
Public
Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
Go
•
GNU Affero General Public License v3.0
•12•75•7•1•Updated Jul 11, 2024Jul 11, 2024
ethereum-package
Public
A Kurtosis package that deploys a private, portable, and modular Ethereum devnet
Starlark
•
MIT License
•237•0•0•1•Updated Jul 11, 2024Jul 11, 2024
slither-workshop
Public archive
Slither workshop (secureum)
Python
•5•2•0•0•Updated Jun 17, 2024Jun 17, 2024
roundme
Public
Rust
•
GNU Affero General Public License v3.0
•8•92•3•1•Updated May 31, 2024May 31, 2024
pyevmasm
Public
Ethereum Virtual Machine (EVM) disassembler and assembler
python ethereum assembler evm dissassembler
Python
•
Apache License 2.0
•49•376•10•8•Updated May 29, 2024May 29, 2024
ethdam
Public archive
1•2•0•0•Updated Apr 12, 2024Apr 12, 2024

0