What Smart Contract Audit Tells