Deep reentrancy vulnerability analysis for Solidity contracts. Covers single-function, cross-function, cross-contract, and read-only reentrancy. Maps all external call paths and validates CEI pattern compliance.