solidity_audit_lib
