BullPerks x Hacken Audit

Auditing Process

The methods that Hacken used to audit BullPerks were architecture review, functional testing, computer-aided verification, and manual review.

Highlights of the process

In addition to the process mentioned above, the code review consisted of:

▪ Reentrancy

▪ Ownership Takeover

▪ Timestamp Dependence

▪ Gas Limit and Loops

▪ DoS with (Unexpected) Throw

▪ DoS with Block Gas Limit

▪ Transaction-Ordering Dependence

▪ Style guide violation

▪ Costly Loop

▪ ERC20 API violation

▪ Unchecked external call

▪ Unchecked math

▪ Unsafe type inference

▪ Implicit visibility level

▪ Deployment Consistency

▪ Repository Consistency

▪ Data Consistency

▪ Business Logics Review

▪ Functionality Checks

▪ Access Control & Authorization

▪ Escrow manipulation