Proof Portal

Sign in
Projects

jsonparser

ProbeLabs23 findings · 123 requirements

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

Compare findings

Pick two points — a branch, tag or commit — to see the new, resolved and changed findings between them. Findings are read live from git; no audit required.

Base
Compared

Choose what to compare

Select a compared branch, tag or commit above. The base is auto-selected as its ancestor on the default branch — override it any time.