Research Summary: Attacks on Smart Contracts

Hi @ode. Nice summary :+1:.I am happy to learn about attacks on smart contract and how it can be mitigated.
Just wanted to enquire if there could be a detention tool for smart contract vulnerabilities that can help detect reentrancy vulnerability?