Crytic

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

crytic

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

crytic

crytic

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

crytic

Lints based on the Sealevel Attacks

crytic

StarkNet smart contract fuzzer

crytic

Static Analyzer for Teal

crytic

A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)

crytic

Static Analyzer for Starknet smart contracts

crytic

Experimental tool to ease the review of smart contracts upgrades

crytic