Great article.

I recently wrote a tool to help find bugs like this:

https://ericrafaloff.com/introducing-the-solidity-function-p...