contracts-overview

You can audit smart contracts for reentrancy and EVM vulnerabilities by running automated analysis with Slither and Foundry to detect access control and upgradeable proxy issues. This Skill scans Solidity contracts to identify these security flaws automatically.

A reentrancy vulnerability in EVM contracts occurs when external calls hijack execution flow before state updates finish. This Skill identifies reentrancy, access control, and upgradeable proxy issues in Solidity code using Slither analysis.

Yes, you need Slither and Foundry installed to scan Solidity contracts for in-depth vulnerability analysis and Proof of Concept generation. These dependencies are required for the automated audit process to execute successfully.

Yes, you can generate a Foundry Proof of Concept test for smart contract vulnerabilities. This Skill creates PoC tests using Foundry to validate detected reentrancy and access control issues in your Solidity code.

The best way to detect upgradeable proxy issues in EVM contracts is using Slither static analysis. This Skill automates this detection process alongside reentrancy and access control checks for Solidity contracts.

Yes, playbooks for common DeFi attacks are provided during smart contract audits. These playbooks accompany the reentrancy and EVM vulnerability detection to help contextualize findings from Slither and Foundry scans.