https://www.darbaar.com/smart-contract-audit-expectations-vs-reality/