audit report · audit report produced by certik for. additional formal verification coverage of...

24
Audit Report Produced by CertiK for

Upload: others

Post on 31-Jan-2021

1 views

Category:

Documents


0 download

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