A Repeatable Smart Contract Auditing System