Proof Portal

Project overview

jsonparser

ProbeLabs11 findings · 123 requirements

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

Changes & defects

The chronological log of the proof layer — semantic changes (intended units of work) interleaved with the defects found and fixed, newest first.

  1. 2 months ago
    Known issueMediumFixedKI-4
    Set on top-level array-index beyond length returns KeyPathNotFoundError instead of appending

    Set fails for a common use case (appending to a top-level JSON array); callers must wrap the array in an object.

    ProbeLabs1 requirement
  2. 2 months ago
    ChangeFeatureDraftCHG-260729-YBAE
    v1.6.0: Append function + KI-2/3/4 fixes

    New Append API for clean array append.

  3. 2 months ago
    Requirementsupdated

    7 requirements updated

  4. 2 months ago
    Known issueHighFixedKI-3
    Set with array-index path component under an object parent produces malformed JSON output

    When Set is called with a key path that contains an array-index component ([N]) whose parent in the addressed JSON is an OBJECT rather than an array, the implementation emits malformed JSON output and returns it with a nil error.

    ProbeLabs3 requirements
  5. Undated
    Known issueLowFixedKI-2
    ParseInt("-") returns (0, nil) — silent false-success on sign-only input

    parseInt (bytes.go:9) strips a leading sign byte and then iterates over the remainder.

    ProbeLabs4 requirements

End of timeline