audit report · audit report produced by certik for. additional formal verification coverage of...
TRANSCRIPT
-
Audit ReportProduced by CertiK
for
Andrew HogueAdditional Formal Verification Coverage of BZRX ERC Token and Vesting Mechanism
Andrew HoguebZx
-
https://certik.org/
-
100
-
DisclaimerAbout CertiKExecutive SummaryVulnerability ClassificationTesting SummaryAudit ScoreType of IssuesVulnerability Details
Manual Review NotesStatic Analysis ResultsFormal Verification ResultsHow to read
Source Code with CertiK Labels