One doc tagged with "Audits"

What's left to audit when the compiler already prevents 5 of the OWASP Smart Contract Top 10?