Proof Portal

Sign in
Projects

jsonparser

ProbeLabs23 findings · 123 requirements

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

Audit history

How this project's proof evolves — run by run, branch by branch, release by release.

1 runCompare
Latest in stream
Partial
Aug 21
Runs shown
1
master
Streams
1
branches with runs
Proof status over runs
Each run on master, newest at the right.
Verification-policy coverage
Requirements meeting policy per run — a run that did not compute coverage is skipped, never drawn as zero.
Branches & releases
Every active stream — last verdict, recency, and its open-finding delta vs the default branch.
  • masterdefault1 runPartial4h ago
Runs
Runs on master, newest first.
  1. Partial
    Aug 21, 09:29 PM6454f959 warnings187 checks
    as of