Audit Report · Audit Report Produced by CertiK for. Additional Formal Verification Coverage of...

24
Audit Report Produced by CertiK for

Transcript of Audit Report · Audit Report Produced by CertiK for. Additional Formal Verification Coverage of...

  • 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


Textar - In Detail - tmdfriction-aftermarket.com · Textar - In Detail Technical Information >c 9ZiV^a J ... dg XdckZgiZY ^cid Vc ZaZXigdc^XVaan dg bZX]Vc^XVaan aZ\^WaZ [dgb ^c [jaa

Textar - In Detail - tmdfriction-aftermarket.com · Textar - In Detail Technical Information >c 9ZiV^a J ... dg XdckZgiZY ^cid Vc ZaZXigdc^XVaan dg bZX]Vc^XVaan aZ\^WaZ [dgb ^c [jaa

CertiK Verification Report For MultiVAC · For MultiVAC Request Date: 2019-03-28 Revision Date: 2019-03-28. Formal Veri cation Platform for Smart Contracts and Blockchain Ecosystems

CertiK Verification Report For MultiVAC · For MultiVAC Request Date: 2019-03-28 Revision Date: 2019-03-28. Formal Veri cation Platform for Smart Contracts and Blockchain Ecosystems

Instructions for Repairing Powerhand BZX Sander

Instructions for Repairing Powerhand BZX Sander

PROSPECTUSMotley Fool Small-Cap Growth ETF (Cboe BZX: MFMS) A series of The RBB Fund, Inc. _____ 2000 Duke Street, Suite 275 Alexandria, VA 22314 _____ The Securities and Exchange

PROSPECTUSMotley Fool Small-Cap Growth ETF (Cboe BZX: MFMS) A series of The RBB Fund, Inc. _____ 2000 Duke Street, Suite 275 Alexandria, VA 22314 _____ The Securities and Exchange

2014 Audit Results - Finance & Administrationfa.uw.edu/audit/sites/default/files/Internal Audit 2014 Audit Results FAM.pdf · 2014 Audit Results In 2014, Internal Audit continued

2014 Audit Results - Finance & Administrationfa.uw.edu/audit/sites/default/files/Internal Audit 2014 Audit Results FAM.pdf · 2014 Audit Results In 2014, Internal Audit continued

BZX Exchange US Equities FIX SpecificationFIX Specification (Version 1.33.5) 3.4 Test Request If a HearbeatInterval + 1 seconds have elapsed since the last message received, a Test

BZX Exchange US Equities FIX SpecificationFIX Specification (Version 1.33.5) 3.4 Test Request If a HearbeatInterval + 1 seconds have elapsed since the last message received, a Test

Prospectus - Global X ETFs · 2018-07-31 · Global X TargetIncomeTM 5 ETF Cboe BZX: TFIV Prospectus July 25, 2018 The Securities and Exchange Commission (“SEC”) has not approved

Prospectus - Global X ETFs · 2018-07-31 · Global X TargetIncomeTM 5 ETF Cboe BZX: TFIV Prospectus July 25, 2018 The Securities and Exchange Commission (“SEC”) has not approved

2020 Prospectus - BlackRock · 2020. 12. 30. · DECEMBER 30, 2020 2020 Prospectus iShares, Inc. • iShares MSCI Global Metals & Mining Producers ETF | PICK | CBOE BZX Beginning

2020 Prospectus - BlackRock · 2020. 12. 30. · DECEMBER 30, 2020 2020 Prospectus iShares, Inc. • iShares MSCI Global Metals & Mining Producers ETF | PICK | CBOE BZX Beginning

February 13, 2018 - SEC · On February 13, 2018, Cboe BZX Exchange, Inc. (the “Exchange”) filed with the Securities and Exchange Commission (the “Commission”) Amendment No.

February 13, 2018 - SEC · On February 13, 2018, Cboe BZX Exchange, Inc. (the “Exchange”) filed with the Securities and Exchange Commission (the “Commission”) Amendment No.

2020 Semi-Annual Report (Unaudited)...2020 Semi-Annual Report (Unaudited) iShares U.S. ETFTrust • iShares Evolved U.S. Consumer Staples ETF | IECS | Cboe BZX • iShares Evolved

2020 Semi-Annual Report (Unaudited)...2020 Semi-Annual Report (Unaudited) iShares U.S. ETFTrust • iShares Evolved U.S. Consumer Staples ETF | IECS | Cboe BZX • iShares Evolved

Bats BZX EXCHANGE, INC.cdn.batstrading.com/resources/regulation/disciplinary/2014/SUSQ... · Bats BZX EXCHANGE, INC. LETIER OF ACCEPTANCE, WAIVER AND CONSENT NO. 20140402395-02 TO:

Bats BZX EXCHANGE, INC.cdn.batstrading.com/resources/regulation/disciplinary/2014/SUSQ... · Bats BZX EXCHANGE, INC. LETIER OF ACCEPTANCE, WAIVER AND CONSENT NO. 20140402395-02 TO:

ONLINE TRAINING INTERNAL AUDIT · Siklus Audit - Perencanaan Audit (Audit Planning): Risk Based Internal Audit Kebijakan dan Prosedur Perencanaan Audit Risk Assessment Audit Prosedur

ONLINE TRAINING INTERNAL AUDIT · Siklus Audit - Perencanaan Audit (Audit Planning): Risk Based Internal Audit Kebijakan dan Prosedur Perencanaan Audit Risk Assessment Audit Prosedur

INNOVATOR ETFS TRUST “Trust,” · Prospectus Innovator S&P 500 Buffer ETFÔ — July (Cboe BZX—BJUL) March 2, 2020 Innovator S&P 500 Buffer ETFÔ — July (the “Fund”) is

INNOVATOR ETFS TRUST “Trust,” · Prospectus Innovator S&P 500 Buffer ETFÔ — July (Cboe BZX—BJUL) March 2, 2020 Innovator S&P 500 Buffer ETFÔ — July (the “Fund”) is

INTERNAL AUDIT METHODOLOGY INTERNAL AUDIT … Audit Methodology 1415.pdf · INTERNAL AUDIT METHODOLOGY INTERNAL AUDIT UNIT ... This methodology is applicable to all audit reviews

INTERNAL AUDIT METHODOLOGY INTERNAL AUDIT … Audit Methodology 1415.pdf · INTERNAL AUDIT METHODOLOGY INTERNAL AUDIT UNIT ... This methodology is applicable to all audit reviews

Guidelines for - PIFRApifra.gov.pk/docs/Sectoral-Audit-Guidelines/WAPDA Audit... · Web viewAudit Guidelines for WAPDA Audit Audit Guidelines for WAPDA Audit Audit Guidelines for

Guidelines for - PIFRApifra.gov.pk/docs/Sectoral-Audit-Guidelines/WAPDA Audit... · Web viewAudit Guidelines for WAPDA Audit Audit Guidelines for WAPDA Audit Audit Guidelines for

Cboe BZX Exchange, Inc.Cboe BZX Exchange, Inc. Rules of Cboe BZX Exchange, Inc. (Updated as of March 5, 2020)

Cboe BZX Exchange, Inc.Cboe BZX Exchange, Inc. Rules of Cboe BZX Exchange, Inc. (Updated as of March 5, 2020)

Internal Audit Internal Audit Plan Torbay Council Audit ... · Robert Hutchins Head of Audit Partnership Internal Audit Internal Audit Plan 2017-18 Torbay Council Audit Committee

Internal Audit Internal Audit Plan Torbay Council Audit ... · Robert Hutchins Head of Audit Partnership Internal Audit Internal Audit Plan 2017-18 Torbay Council Audit Committee

Citadel Securities BZX AWC FINAL

Citadel Securities BZX AWC FINAL

Audit Report - bZx Verification Report for... · Audit Report Produced by CertiK for 10th Feb, 2020. CertiK Audit Report For bZx Request Date: 2020-02-05 Revision Date: 2020-02-10.

Audit Report - bZx Verification Report for... · Audit Report Produced by CertiK for 10th Feb, 2020. CertiK Audit Report For bZx Request Date: 2020-02-05 Revision Date: 2020-02-10.

Audit planning guidance - Audit Scotland · guidance, and other guidance referred to in this document, ... 18. Audit planning guidance . Audit planning guidance Audit Scotland . Audit

Audit planning guidance - Audit Scotland · guidance, and other guidance referred to in this document, ... 18. Audit planning guidance . Audit planning guidance Audit Scotland . Audit