Smart Contract Analysis card artwork

Smart Contract Analysis

Epic

by Trail of Bits

Analyze Solidity smart contracts for vulnerabilities, gas optimization, and best practices.

4,560downloads
Security Verified
Security
Sign In to Download View on GitHub

About This Skill

Comprehensive smart contract security analysis using Slither, Echidna, and Manticore. Covers reentrancy detection, integer overflow checks, access control analysis, gas optimization suggestions, and formal verification patterns.

Compatibility

GPT-4Claude