Redirecting you to Reddit in 5 seconds:

https://old.reddit.com/r/netsec/comments/1fk29el/solidity_static_analyzers_reducing_false