  Identifying and mitigating vulnerabilities in smart contracts is crucial,
especially considering the rapid growth and increasing complexity of
Decentralized Finance (DeFi) platforms. To address the challenges associated
with securing these contracts, we introduce a versatile dynamic analysis
framework specifically designed for the Ethereum Virtual Machine (EVM). This
comprehensive framework focuses on tracking contract executions, capturing
valuable runtime information, while introducing and employing the Execution
Property Graph (EPG) to propose a unique graph traversal technique that swiftly
detects potential smart contract attacks. Our approach showcases its efficacy
with rapid average graph traversal time per transaction and high true positive
rates. The successful identification of a zero-day vulnerability affecting
Uniswap highlights the framework's potential to effectively uncover smart
contract vulnerabilities in complex DeFi systems.
