Proof Portal

Projects

jsonparser

ProbeLabs23 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. 7 days 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.

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

    New Append API for clean array append.

  3. 4 weeks ago
    Requirementsupdated

    7 requirements updated

  4. 4 weeks 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.

    Buger3 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.

    Buger4 requirements

End of timeline