Crytic

Results 37 repositories owned by Crytic

pyevmasm

345
Stars
49
Forks
Watchers

Ethereum Virtual Machine (EVM) disassembler and assembler

rattle

346
Stars
40
Forks
Watchers

evm binary static analysis

solc-select

735
Stars
99
Forks
Watchers

Manage and switch between Solidity compiler versions

evm_cfg_builder

114
Stars
30
Forks
Watchers

EVM CFG recovery

amarna

148
Stars
7
Forks
Watchers

Amarna is a static-analyzer and linter for the Cairo programming language.

crytic-compile

136
Stars
79
Forks
Watchers

Abstraction layer for smart contract build systems

echidna-action

56
Stars
9
Forks
Watchers

GitHub Action to run Echidna, the Ethereum smart contract fuzzer

echidna-parade

26
Stars
7
Forks
Watchers

echidna-spearbit-demo

39
Stars
4
Forks
Watchers

Example code for testing using Echidna explained during the Spearbit presentation

echidna-streaming-series

88
Stars
30
Forks
Watchers

A 6-part series on how to use Echidna on real-world codebases