MCPcopy Create free account

hub / github.com/buger/jsonparser / functions

Functions1,164 in github.com/buger/jsonparser

FunctionTestMissingSurrogateLow
Verifies: SYS-REQ-061 [malformed] A lone high surrogate is malformed per RFC 8259/WHATWG; per DEFECT-260727-SNGT the parser matches encoding/json by s
deep_spec_test.go:622
FunctionTestMutationNilSafety
Verifies: SYS-REQ-101 MCDC SYS-REQ-101: mutation_input_is_nil=T, mutation_returns_safe_result_for_nil=T => TRUE
obligation_property_test.go:398
FunctionTestMutationUnicodeKeys
Verifies: SYS-REQ-102 MCDC SYS-REQ-102: mutation_input_has_unicode_keys=T, mutation_handles_unicode_keys_safely=T => TRUE
obligation_property_test.go:760
FunctionTestNegativeArrayIndex
============================================================================= Negative array index (SYS-REQ-047) =====================================
deep_spec_test.go:185
FunctionTestObjectEach
Verifies: SYS-REQ-031 [example] MCDC SYS-REQ-031: addressed_object_is_well_formed=F, malformed_object_input_returns_error=T => TRUE Verifies: SYS-REQ-
parser_test.go:1880
FunctionTestObjectEachCallbackErrorPropagation
============================================================================= ObjectEach callback-error propagation test (closes Dimension 2) ========
path_fuzz_test.go:728
FunctionTestObjectEachNestedPathAndCallbackError
Verifies: SYS-REQ-032 [boundary] MCDC SYS-REQ-032: addressed_object_is_well_formed=T, object_callback_returns_error=T, object_callback_error_is_return
parser_test.go:1928
FunctionTestObjectEachSupplementalErrors
Verifies: SYS-REQ-007 [malformed] MCDC SYS-REQ-007: N/A
mcdc_supplement_test.go:272
FunctionTestObjectEachTruncatedMidEntry
============================================================================= ObjectEach truncation (SYS-REQ-054) ====================================
deep_spec_test.go:457
FunctionTestObjectEachTruncatedMidStructure
============================================================================= ObjectEach truncated mid-structure (SYS-REQ-084) =======================
deep_spec_test.go:873
FunctionTestObjectEach_OOB_BraceAndWhitespace
Verifies: SYS-REQ-007 [boundary]
dead_code_audit_oob_test.go:75
FunctionTestObjectEach_OOB_JustOpenBrace
Verifies: SYS-REQ-007 [boundary]
dead_code_audit_oob_test.go:63
FunctionTestObjectEach_OOB_TruncatedAfterColon
Verifies: SYS-REQ-007 [boundary]
dead_code_audit_oob_test.go:27
FunctionTestObjectEach_OOB_TruncatedAfterComma
Test that ObjectEach doesn't panic with out-of-bounds access after removing the `offset < len(data)` loop guard. Verifies: SYS-REQ-007 [boundary]
dead_code_audit_oob_test.go:11
FunctionTestObjectEach_OOB_TruncatedAfterKey
Verifies: SYS-REQ-007 [boundary]
dead_code_audit_oob_test.go:39
FunctionTestObjectEach_OOB_TruncatedMidKey
Verifies: SYS-REQ-007 [boundary]
dead_code_audit_oob_test.go:51
FunctionTestObligation_STK_REQ_001
============================================================================= Obligation evidence witnesses. =========================================
obligation_evidence_test.go:25
FunctionTestObligation_STK_REQ_002
STK-REQ-002:malformed_input:negative STK-REQ-002:nil_safety:negative
obligation_evidence_test.go:36
FunctionTestObligation_STK_REQ_003
STK-REQ-003:malformed_input:negative STK-REQ-003:nil_safety:negative
obligation_evidence_test.go:47
FunctionTestObligation_STK_REQ_004
STK-REQ-004:malformed_input:negative STK-REQ-004:nil_safety:negative
obligation_evidence_test.go:58
FunctionTestObligation_STK_REQ_005
STK-REQ-005:malformed_input:negative STK-REQ-005:nil_safety:negative
obligation_evidence_test.go:69
FunctionTestObligation_STK_REQ_005_Boundary_Nominal_ForSetBeyondLengthContract
============================================================================= Obligation evidence — STK-REQ-005 triples for the obligation classes SYS
sys_req_110_111_witness_test.go:410
FunctionTestObligation_STK_REQ_005_MissingPath_Nominal_ForEmptyKeyContract
STK-REQ-005:missing_path:nominal
sys_req_110_111_witness_test.go:442
FunctionTestObligation_STK_REQ_005_NestedMutation_Nominal_ForBeyondLengthAppend
STK-REQ-005:nested_mutation:nominal
sys_req_110_111_witness_test.go:426
FunctionTestObligation_STK_REQ_005_NilSafety_Negative_ForNilPlusEmptyKey
STK-REQ-005:nil_safety:negative
sys_req_110_111_witness_test.go:478
FunctionTestObligation_STK_REQ_005_NilSafety_Nominal_ForEmptyKeyContract
STK-REQ-005:nil_safety:nominal
sys_req_110_111_witness_test.go:464
FunctionTestObligation_STK_REQ_005_NoPathProvided_Nominal_ForSetZeroKeys
STK-REQ-005:no_path_provided:nominal
sys_req_110_111_witness_test.go:491
FunctionTestObligation_STK_REQ_006
STK-REQ-006:malformed_input:negative STK-REQ-006:nil_safety:negative
obligation_evidence_test.go:80
FunctionTestObligation_STK_REQ_007
STK-REQ-007:malformed_input:negative STK-REQ-007:nil_safety:negative
obligation_evidence_test.go:91
FunctionTestObligation_SYS_REQ_001
----------------------------------------------------------------------------- SYS-REQ obligation evidence — each requirement's obligation_checklist it
obligation_evidence_test.go:105
FunctionTestObligation_SYS_REQ_002
SYS-REQ-002:determinism:nominal SYS-REQ-002:edge_case:nominal SYS-REQ-002:encoding_safety:nominal
obligation_evidence_test.go:116
FunctionTestObligation_SYS_REQ_003
SYS-REQ-003:determinism:nominal
obligation_evidence_test.go:134
FunctionTestObligation_SYS_REQ_006
SYS-REQ-006:determinism:nominal
obligation_evidence_test.go:143
FunctionTestObligation_SYS_REQ_008
SYS-REQ-008:edge_case:nominal
obligation_evidence_test.go:154
FunctionTestObligation_SYS_REQ_009
SYS-REQ-009:idempotency:nominal
obligation_evidence_test.go:160
FunctionTestObligation_SYS_REQ_010
SYS-REQ-010:empty_input:nominal SYS-REQ-010:nil_safety:nominal SYS-REQ-010:nil_safety:negative
obligation_evidence_test.go:171
FunctionTestObligation_SYS_REQ_011
SYS-REQ-011:determinism:nominal
obligation_evidence_test.go:181
FunctionTestObligation_SYS_REQ_012
SYS-REQ-012:determinism:nominal
obligation_evidence_test.go:190
FunctionTestObligation_SYS_REQ_014
SYS-REQ-014:encoding_safety:nominal
obligation_evidence_test.go:199
FunctionTestObligation_SYS_REQ_015
SYS-REQ-015:edge_case:nominal SYS-REQ-015:nil_safety:nominal SYS-REQ-015:nil_safety:negative
obligation_evidence_test.go:208
FunctionTestObligation_SYS_REQ_016
SYS-REQ-016:missing_path:nominal
obligation_evidence_test.go:218
FunctionTestObligation_SYS_REQ_017
SYS-REQ-017:malformed_input:nominal SYS-REQ-017:malformed_input:negative
obligation_evidence_test.go:232
FunctionTestObligation_SYS_REQ_018
SYS-REQ-018:idempotency:nominal
obligation_evidence_test.go:244
FunctionTestObligation_SYS_REQ_019
SYS-REQ-019:empty_input:nominal SYS-REQ-019:nil_safety:nominal SYS-REQ-019:nil_safety:negative
obligation_evidence_test.go:255
FunctionTestObligation_SYS_REQ_023
SYS-REQ-023:boundary:nominal SYS-REQ-023:edge_case:nominal
obligation_evidence_test.go:271
FunctionTestObligation_SYS_REQ_027
SYS-REQ-027:type_mismatch:nominal
obligation_evidence_test.go:279
FunctionTestObligation_SYS_REQ_028
SYS-REQ-028:empty_input:nominal SYS-REQ-028:nil_safety:nominal SYS-REQ-028:nil_safety:negative
obligation_evidence_test.go:289
FunctionTestObligation_SYS_REQ_029
SYS-REQ-029:malformed_input:nominal SYS-REQ-029:malformed_input:negative
obligation_evidence_test.go:306
FunctionTestObligation_SYS_REQ_034
SYS-REQ-034:edge_case:nominal SYS-REQ-034:missing_path:nominal
obligation_evidence_test.go:325
FunctionTestObligation_SYS_REQ_035
SYS-REQ-035:malformed_input:nominal SYS-REQ-035:malformed_input:negative
obligation_evidence_test.go:336
FunctionTestObligation_SYS_REQ_036
SYS-REQ-036:malformed_input:nominal SYS-REQ-036:malformed_input:negative
obligation_evidence_test.go:352
FunctionTestObligation_SYS_REQ_039
SYS-REQ-039:boundary:nominal
obligation_evidence_test.go:364
FunctionTestObligation_SYS_REQ_041
SYS-REQ-041:truncated_at_value_boundary:nominal
obligation_evidence_test.go:372
FunctionTestObligation_SYS_REQ_042
SYS-REQ-042:truncated_mid_structure:nominal
obligation_evidence_test.go:379
FunctionTestObligation_SYS_REQ_043
SYS-REQ-043:truncated_mid_key:nominal
obligation_evidence_test.go:386
FunctionTestObligation_SYS_REQ_044
SYS-REQ-044:sentinel_value_boundary:nominal
obligation_evidence_test.go:393
FunctionTestObligation_SYS_REQ_047
SYS-REQ-047:negative_array_index:nominal
obligation_evidence_test.go:401
FunctionTestObligation_SYS_REQ_048
SYS-REQ-048:truncated_at_value_boundary:nominal
obligation_evidence_test.go:409
FunctionTestObligation_SYS_REQ_049
SYS-REQ-049:error_propagation:nominal
obligation_evidence_test.go:419
FunctionTestObligation_SYS_REQ_052
SYS-REQ-052:callback_error_propagation:nominal
obligation_evidence_test.go:428
FunctionTestObligation_SYS_REQ_053
SYS-REQ-053:truncated_mid_element:nominal
obligation_evidence_test.go:442
FunctionTestObligation_SYS_REQ_056
SYS-REQ-056:truncated_mid_structure:nominal
obligation_evidence_test.go:455
FunctionTestObligation_SYS_REQ_057
SYS-REQ-057:partial_literal:nominal
obligation_evidence_test.go:465
FunctionTestObligation_SYS_REQ_060
SYS-REQ-060:truncated_escape_sequence:nominal
obligation_evidence_test.go:473
FunctionTestObligation_SYS_REQ_064
SYS-REQ-064:empty_input:nominal
obligation_evidence_test.go:480
FunctionTestObligation_SYS_REQ_069
SYS-REQ-069:nested_mutation:nominal
obligation_evidence_test.go:488
FunctionTestObligation_SYS_REQ_070
SYS-REQ-070:no_path_provided:nominal
obligation_evidence_test.go:503
FunctionTestObligation_SYS_REQ_071
SYS-REQ-071:malformed_input:nominal SYS-REQ-071:malformed_input:negative
obligation_evidence_test.go:512
FunctionTestObligation_SYS_REQ_072
SYS-REQ-072:truncated_escape_sequence:nominal
obligation_evidence_test.go:522
FunctionTestObligation_SYS_REQ_073
SYS-REQ-073:type_mismatch:nominal
obligation_evidence_test.go:529
FunctionTestObligation_SYS_REQ_074
SYS-REQ-074:empty_input:nominal SYS-REQ-074:nil_safety:nominal SYS-REQ-074:nil_safety:negative
obligation_evidence_test.go:539
FunctionTestObligation_SYS_REQ_075
SYS-REQ-075:malformed_input:nominal SYS-REQ-075:malformed_input:negative
obligation_evidence_test.go:550
FunctionTestObligation_SYS_REQ_076
SYS-REQ-076:boundary:nominal SYS-REQ-076:edge_case:nominal
obligation_evidence_test.go:561
FunctionTestObligation_SYS_REQ_077
SYS-REQ-077:type_mismatch:nominal
obligation_evidence_test.go:569
FunctionTestObligation_SYS_REQ_078
SYS-REQ-078:empty_input:nominal SYS-REQ-078:nil_safety:nominal SYS-REQ-078:nil_safety:negative
obligation_evidence_test.go:578
FunctionTestObligation_SYS_REQ_079
SYS-REQ-079:partial_literal:nominal
obligation_evidence_test.go:588
FunctionTestObligation_SYS_REQ_080
SYS-REQ-080:malformed_input:nominal SYS-REQ-080:malformed_input:negative
obligation_evidence_test.go:596
FunctionTestObligation_SYS_REQ_081
SYS-REQ-081:empty_input:nominal SYS-REQ-081:nil_safety:nominal SYS-REQ-081:nil_safety:negative
obligation_evidence_test.go:608
FunctionTestObligation_SYS_REQ_082
SYS-REQ-082:edge_case:nominal SYS-REQ-082:truncated_at_value_boundary:nominal
obligation_evidence_test.go:619
FunctionTestObligation_SYS_REQ_083
SYS-REQ-083:truncated_at_value_boundary:nominal
obligation_evidence_test.go:626
FunctionTestObligation_SYS_REQ_084
SYS-REQ-084:truncated_mid_structure:nominal
obligation_evidence_test.go:639
FunctionTestObligation_SYS_REQ_085
SYS-REQ-085:sentinel_value_boundary:nominal
obligation_evidence_test.go:653
FunctionTestObligation_SYS_REQ_111_NilSafety_Negative
============================================================================= Obligation evidence — SYS-REQ-111 nil_safety:negative (required evidence
sys_req_110_111_witness_test.go:327
FunctionTestObligation_SYS_REQ_111_NoPathProvided_Nominal
============================================================================= Obligation evidence — SYS-REQ-111 no_path_provided:nominal. ============
sys_req_110_111_witness_test.go:371
FunctionTestOracleDeleteCorrectness
--------------------------------------------------------------------------- Property 3: Delete correctness — after Delete, Get fails AND remaining str
reference_oracle_test.go:705
FunctionTestOracleGetRoundTrip
--------------------------------------------------------------------------- Property 1: Get round-trip — jsonparser.Get matches encoding/json. -------
reference_oracle_test.go:454
FunctionTestOracleParseBoolean
reqproof:proptest ParseBoolean Verifies: SYS-REQ-012 [property]
reference_oracle_test.go:883
FunctionTestOracleParseFloat
reqproof:proptest ParseFloat Verifies: SYS-REQ-013 [property]
reference_oracle_test.go:821
FunctionTestOracleParseInt
--------------------------------------------------------------------------- Property 4: ParseInt / ParseFloat / ParseBoolean agree with strconv. -----
reference_oracle_test.go:763
FunctionTestOracleSetPr286Regression
TestOracleSetPr286Regression is the explicit regression case for PR #286. The bug: Set([1,2], 9, "[5]") silently produced [9] (data loss). Correct beh
reference_oracle_test.go:621
FunctionTestOracleSetRoundTrip
reqproof:proptest parser.Set Verifies: SYS-REQ-009 [property]
reference_oracle_test.go:510
FunctionTestPanickingErrors
Verifies: SYS-REQ-001 [malformed] MCDC SYS-REQ-001: N/A Verifies: SYS-REQ-008 [malformed] MCDC SYS-REQ-008: eachkey_callback_receives_found_values=F,
parser_error_test.go:30
FunctionTestParseBoolean
Verifies: SYS-REQ-036 [example] MCDC SYS-REQ-036: raw_boolean_literal_is_valid=F, returns_parseboolean_error=T => TRUE Verifies: SYS-REQ-012 [example]
parser_test.go:2223
FunctionTestParseBooleanEmpty
============================================================================= ParseBoolean empty (SYS-REQ-066) =======================================
deep_spec_test.go:573
FunctionTestParseBooleanPartialLiterals
============================================================================= ParseBoolean partial literals (SYS-REQ-057) ============================
deep_spec_test.go:491
FunctionTestParseFloat
Verifies: SYS-REQ-037 [example] MCDC SYS-REQ-037: raw_float_token_is_well_formed=F, returns_parsefloat_error=T => TRUE Verifies: SYS-REQ-013 [example]
parser_test.go:2242
FunctionTestParseFloatEmpty
============================================================================= ParseFloat empty (SYS-REQ-065) =========================================
deep_spec_test.go:560
FunctionTestParseHelperDeterminism
Verifies: SYS-REQ-106 MCDC SYS-REQ-106: parse_helper_called_twice_with_same_input=T, parse_helper_returns_identical_results=T => TRUE
obligation_property_test.go:197
FunctionTestParseHelperNilSafety
Verifies: SYS-REQ-107 MCDC SYS-REQ-107: parse_helper_input_is_nil=T, parse_helper_returns_safe_result_for_nil=T => TRUE
obligation_property_test.go:441
FunctionTestParseInt
Verifies: SYS-REQ-040 [example] MCDC SYS-REQ-040: raw_int_token_is_well_formed=F, raw_int_token_overflows_int64=F, returns_parseint_malformed_error=T
parser_test.go:2369
← previousnext →901–1,000 of 1,164, ranked by callers