-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
[AUDIT-L13] [low] PARSE_META constant not asserted against LibGenParseMeta regeneration
auditAudit findingAudit findinglowLow severityLow severitypass6Audit pass 6 hazard surfaceAudit pass 6 hazard surfaceStatus: Open.#44 In rainlanguage/rain.dia;[AUDIT-M13] [medium] BYTECODE_HASH and deploy codehash are duplicate unpinned sources
auditAudit findingAudit findingmediumMedium severityMedium severitypass6Audit pass 6 hazard surfaceAudit pass 6 hazard surfaceStatus: Open.#42 In rainlanguage/rain.dia;[AUDIT-M09] [medium] NatSpec claims revert on zero price but only (0,0) sentinel reverts
ai:close-candidateAI vetter: candidate to closeAI vetter: candidate to closeauditAudit findingAudit findingmediumMedium severityMedium severitypass5Audit pass 5 correctnessAudit pass 5 correctnessStatus: Open.#14 In rainlanguage/rain.dia;[AUDIT-M04] [medium] maxAge exact boundary elapsed==staleAfter untested
ai:close-candidateAI vetter: candidate to closeAI vetter: candidate to closeauditAudit findingAudit findingmediumMedium severityMedium severitypass2Audit pass 2 test coverageAudit pass 2 test coverageStatus: Open.#9 In rainlanguage/rain.dia;[AUDIT-M03] [medium] ZeroDiaPrice / unknown key path never exercised
auditAudit findingAudit findingmediumMedium severityMedium severitypass2Audit pass 2 test coverageAudit pass 2 test coverageStatus: Open.#8 In rainlanguage/rain.dia;[AUDIT-M02] [medium] StaleDiaPrice path never exercised by tests
auditAudit findingAudit findingmediumMedium severityMedium severitypass2Audit pass 2 test coverageAudit pass 2 test coverageStatus: Open.#7 In rainlanguage/rain.dia;- Status: Open.#5 In rainlanguage/rain.dia;