Crytic

Results 37 repositories owned by Crytic

fuzz-utils

52
Stars
2
Forks
Watchers

A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties

medusa

245
Stars
24
Forks
Watchers

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

properties

219
Stars
34
Forks
Watchers

Pre-built security properties for common Ethereum operations

roundme

85
Stars
5
Forks
Watchers

secureum-medusa

40
Stars
10
Forks
Watchers

slither-docs-action

36
Stars
3
Forks
Watchers

Write documentation for your code in pull requests using Slither and OpenAI.

trailofbits-security

19
Stars
10
Forks
Watchers

The Trail of Bits Truffle Security Toolbox