วิธีการที่ Hacken ใช้ในการตรวจสอบ BullPerks ได้แก่ การตรวจสอบ architecture , การทดสอบการทำงาน , การตรวจสอบ computer-aided และการตรวจสอบด้วยตนเอง
นอกเหนือจากกระบวนการที่กล่าวข้างต้นแล้ว การตรวจสอบโค้ดยังประกอบด้วย:
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
▪ Token Supply manipulation
▪ Assets integrity
▪ User Balances manipulation
▪ Kill-Switch Mechanism
▪ Operation Trails & Event Generation
หลังจากประเมิน smart contract ของ BullPerks อย่างรอบคอบแล้ว สัญญาได้รับการสรุปว่าปลอดภัย
ทีมของ Hacken ได้ทำการวิเคราะห์การทำงานของ code functionality, manual audit, และการตรวจสอบอัตโนมัติด้วย Mythril และ Slither ปัญหาทั้งหมดที่พบในระหว่างการวิเคราะห์อัตโนมัติได้รับการตรวจสอบด้วย manually reviewed และช่องโหว่ที่สำคัญจะแสดงในส่วนภาพรวมการตรวจสอบ
วิศวกรความปลอดภัยพบปัญหาข้อมูล 2 รายการระหว่างการตรวจสอบครั้งแรก
หลังจากประเมิน smart contract ของ BullPerks อย่างรอบคอบแล้ว สรุปได้ว่าสัญญาปลอดภัย
อ้างอิง : LINK
