Proof Portal

Projects

jsonparser

ProbeLabs23 findings · 123 requirements

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. last month
    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. 2 months ago
    ChangeFeatureActiveCHG-260729-YBAE
    v1.6.0: Append function + KI-2/3/4 fixes

    v1.6.0 adds the Append API for appending an element to a JSON array by path (clean array growth without manual buffer surgery), and resolves three audit-surfaced known issues — KI-2 (ParseInt silent false-success on sign-only input like "-"), KI-3 (Set/Delete disposition on array/object elements), and KI-4 (append onto a top-level array).

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

    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