Proof Portal
Projects
jsonparser
ProbeLabsviewing a historical runThe fastest JSON parser for Go — formally verified with ReqProof (real library, master).
Issue Catalogue
The issue catalogue as recorded at the pinned historical run — known issues, defects, trace gaps and failing checks reconstructed from that audit.
Open known issues by severity
0 openAll23
Known Issues3
Problem Reports8
Accepted Risks0
Checks12
Known Issues: Confirmed, current problems in the system — the open failure modes to act on.
0 open known issues · 3 fixed/withdrawn hidden — toggle All to include.
No matching findings
No findings match the current facet and filters. Try another kind, or clear the search / a filter.