Owner
crytic
25 indexed repositories · View on GitHub
-
slither
Static Analyzer for Solidity and Vyper
Python · 6362 stars
-
echidna
Ethereum smart contract fuzzer
Haskell · 3175 stars
-
building-secure-contracts
Guidelines and training material to write secure smart contracts
Solidity · 2479 stars
-
awesome-ethereum-security
A curated list of awesome Ethereum security references
1485 stars
-
evm-opcodes
Ethereum opcodes and instruction reference
1356 stars
-
solc-select
Manage and switch between Solidity compiler versions
Python · 816 stars
-
medusa
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Go · 486 stars
-
blockchain-security-contacts
Directory of security contacts for blockchain companies
401 stars
-
pyevmasm
Ethereum Virtual Machine (EVM) disassembler and assembler
Python · 385 stars
-
properties
Pre-built security properties for common Ethereum operations
Solidity · 371 stars
-
rattle
evm binary static analysis
Python · 365 stars
-
ida-evm
IDA Processor Module for the Ethereum Virtual Machine (EVM)
Python · 329 stars
-
crytic-compile
Abstraction layer for smart contract build systems
Python · 197 stars
-
caracal
Static Analyzer for Starknet smart contracts
Cairo · 147 stars
-
Shell · 142 stars
-
fuzz-utils
A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
Solidity · 115 stars
-
Rust · 104 stars
-
attacknet
Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
Go · 75 stars
-
tealer
Static Analyzer for Teal
Python · 63 stars
-
echidna-action
GitHub Action to run Echidna, the Ethereum smart contract fuzzer
Shell · 61 stars
- 5 more repositories live on View on GitHub
-
enhancement
crytic/crytic-compile#28 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
crytic/crytic-compile#31 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement good first issue help wanted
crytic/crytic-compile#47 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement good first issue help wanted
crytic/crytic-compile#59 · 1 comment · 0 reactions · 0 assignees ·
-
enhancement
crytic/crytic-compile#61 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
crytic/crytic-compile#79 · 2 comments · 0 reactions · 0 assignees ·
-
bug
crytic/crytic-compile#85 · 1 comment · 0 reactions · 0 assignees ·
-
enhancement good first issue help wanted
crytic/crytic-compile#89 · 0 comments · 0 reactions · 0 assignees ·
-
bug help wanted
crytic/crytic-compile#91 · 0 comments · 0 reactions · 0 assignees ·
-
Add saddle support OpenFramework integration good first issue help wanted
crytic/crytic-compile#95 · 1 comment · 1 reaction · 0 assignees ·
-
enhancement good first issue help wanted high-priority
crytic/crytic-compile#102 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
crytic/crytic-compile#103 · 0 comments · 0 reactions · 0 assignees ·
-
good first issue help wanted
crytic/crytic-compile#104 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
crytic/crytic-compile#108 · 2 comments · 0 reactions · 0 assignees ·
-
crytic/crytic-compile#109 · 2 comments · 0 reactions · 0 assignees ·
-
enhancement good first issue help wanted
crytic/crytic-compile#114 · 0 comments · 0 reactions · 0 assignees ·
-
crytic/crytic-compile#128 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement help wanted
crytic/crytic-compile#132 · 2 comments · 0 reactions · 0 assignees ·
-
enhancement
crytic/crytic-compile#152 · 0 comments · 0 reactions · 0 assignees ·
-
crytic/crytic-compile#153 · 1 comment · 0 reactions · 0 assignees ·
-
enhancement
crytic/crytic-compile#156 · 0 comments · 0 reactions · 0 assignees ·
-
crytic/crytic-compile#158 · 0 comments · 0 reactions · 0 assignees ·
-
high-priority
crytic/crytic-compile#169 · 1 comment · 0 reactions · 0 assignees ·
-
crytic/crytic-compile#174 · 0 comments · 0 reactions · 0 assignees ·
-
crytic/crytic-compile#187 · 2 comments · 2 reactions · 0 assignees ·
-
Add windows tests Openhelp wanted
crytic/crytic-compile#192 · 1 comment · 0 reactions · 0 assignees ·
-
enhancement good first issue help wanted
crytic/crytic-compile#197 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
crytic/crytic-compile#208 · 0 comments · 0 reactions · 0 assignees ·
-
crytic/crytic-compile#209 · 1 comment · 0 reactions · 0 assignees ·
-
enhancement high-priority
crytic/crytic-compile#210 · 1 comment · 2 reactions · 0 assignees ·
-
Recovery unit tests Open
-
enhancement
-
Missing parentheses Open
-
crytic/ida-evm#12 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
-
Github action Openenhancement
crytic/caracal#42 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
crytic/caracal#46 · 0 comments · 0 reactions · 0 assignees ·
-
bug-candidate
-
bug-candidate
crytic/caracal#61 · 0 comments · 0 reactions · 0 assignees ·
-
bug-candidate
crytic/caracal#62 · 0 comments · 0 reactions · 0 assignees ·