Proof Portal

jsonparser

ProbeLabs23 findings · 123 requirements

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

Map

Relationships across the system. Focus view — rooted at one entity; walk its neighborhood.

Show

Lens

When ArrayEach addresses a well-formed non-empty JSON…·127 of 138 nodes · 3 group(s) collapsedDouble-click (or press R) to focus a node · Tab to move between cards · Enter to select

Nodes:ComponentRequirementFindingContractChangeCodeTestDocGroup

Severity:CriticalHighMediumLowInfo

Edges:contract (provides / used by)refines

Loading graph…