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 GetFloat addresses a JSON number token that is…·128 of 139 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…