crytic Goto Github PK

ethereum-package

A Kurtosis package that deploys a private, portable, and modular Ethereum devnet

ethersplay

EVM dissassembler

evm-opcodes

Ethereum opcodes and instruction reference

evm_cfg_builder

EVM CFG recovery

fluxture

A crawling framework for blockchains and peer-to-peer systems

fuzz-utils

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

fuzz-vs-fv

ida-evm

IDA Processor Module for the Ethereum Virtual Machine (EVM)

medusa

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

medusa-geth

A go-ethereum fork enabling additional testing capabilities for medusa

not-so-smart-contracts

Examples of Solidity security issues

optik

Optik is a set of symbolic execution tools that assist smart-contract fuzzers

properties

Pre-built security properties for common Ethereum operations

pyevmasm

Ethereum Virtual Machine (EVM) disassembler and assembler

rattle

evm binary static analysis

remix-plugin-8000

roundme

secureum-medusa

slightly-smarter-contracts

slither

Static Analyzer for Solidity and Vyper

slither-action

slither-docs-action

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

slither-docs-demo

A demo on how to use the slither-docs actions (https://github.com/crytic/slither-docs-action)

slither-lsp

solana-lints

Lints based on the Sealevel Attacks

solc

solc-select

Manage and switch between Solidity compiler versions

tayt

StarkNet smart contract fuzzer

tealer

Static Analyzer for Teal

trailofbits-security

The Trail of Bits Truffle Security Toolbox