Proof Portal

jsonparser

ProbeLabs23 findings · 123 requirements

The fastest JSON parser for Go — formally verified with ReqProof (real library, master).

Issue Catalogue

Known issues are the live problems to act on — the default view. Browse fixed defects, accepted risks, trace gaps and failing checks by kind, or switch to All for every finding.

Open known issues by severity

0 open

All23

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.