crytic Goto Github PK

.github

abdk-libraries-solidity

Echidna testing of floating point libraries for Solidity created by ABDK Consulting

addressarrayutils_demo

Demonstration for using echidna to test a Solidity library

amarna

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

amarna-action

Github action for the Amarna static analyzer

ardc_proposal

attacknet

Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks

awesome-ethereum-security

A curated list of awesome Ethereum security references

blockchain-security-contacts

Directory of security contacts for blockchain companies

building-secure-contracts

Guidelines and training material to write secure smart contracts

caracal

Static Analyzer for Starknet smart contracts

cloudexec

A general purpose foundation for cloud-based fuzzing and mutation testing jobs

contract-explorer

Visual Studio Code integration for Slither, a Solidity static analysis framework

crytic-compile

Abstraction layer for smart contract build systems

damn-vulnerable-defi-echidna

dapptools

Dapp, Seth, Hevm, and more

diffusc

Experimental tool to ease the review of smart contracts upgrades

echidna

Ethereum smart contract fuzzer

echidna-action

GitHub Action to run Echidna, the Ethereum smart contract fuzzer

echidna-parade

echidna-spearbit-demo

Example code for testing using Echidna explained during the Spearbit presentation

echidna-streaming-series

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

echidna-yacademy-demo

Example code for testing using Echidna explained during the yAcademy presentation

embark-contract-info

embark-contract-info

eth-network-package

A Kurtosis package that spins up a local Ethereum testnet

eth2-package

A Kurtosis package used by the Ethereum Foundation for testing the Merge

eth2-val-tools

Some experimental tools to manage validators - use at your own risk

ethdam

etheno

Simplify Ethereum security analysis and testing

ethereum-genesis-generator

Create a ethereum execution and consensus layer testnet genesis and expose it via a webserver for testing purposes