Functions — github.com/buger/jsonparser

hub / github.com/buger/jsonparser / functions

Functions1,179 in github.com/buger/jsonparser

⨍ Functions 1,179◇ Types & classes 46

FunctionTestMCDC_SYS_REQ_111_Row2_InvariantViolation

Verifies: SYS-REQ-111 [missing_path] MCDC SYS-REQ-111: completes_without_panic_on_empty_key_component=F, path_component_is_empty_string=T, returns_not

sys_req_110_111_witness_test.go:151

FunctionTestMCDC_SYS_REQ_111_Row3_InvariantViolation

Verifies: SYS-REQ-111 [missing_path] MCDC SYS-REQ-111: completes_without_panic_on_empty_key_component=F, path_component_is_empty_string=T, returns_not

sys_req_110_111_witness_test.go:174

FunctionTestMCDC_SYS_REQ_111_Row4_InvariantViolation

Verifies: SYS-REQ-111 [missing_path] MCDC SYS-REQ-111: completes_without_panic_on_empty_key_component=T, path_component_is_empty_string=T, returns_not

sys_req_110_111_witness_test.go:191

FunctionTestMCDC_SYS_REQ_111_Row5_EmptyKeyReturnsNotFoundNoPanic

Verifies: SYS-REQ-111 [nil_safety] SYS-REQ-111:nil_safety:nominal SYS-REQ-016:nil_safety:nominal Carrier: this test drives the same parser.go:Get/sear

sys_req_110_111_witness_test.go:223

FunctionTestMCDC_SYS_REQ_112_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-112 (GetArrayLen / GetObjectLen) -------------------------------

mcdc_spec_witnesses_test.go:3540

FunctionTestMCDC_SYS_REQ_112_Row2_InvariantViolation

Verifies: SYS-REQ-112 MCDC SYS-REQ-112: addressed_container_is_array_or_object=T, returns_container_element_count=F => FALSE

mcdc_spec_witnesses_test.go:3552

FunctionTestMCDC_SYS_REQ_112_Row3_Nominal

Verifies: SYS-REQ-112 MCDC SYS-REQ-112: addressed_container_is_array_or_object=T, returns_container_element_count=T => TRUE

mcdc_spec_witnesses_test.go:3568

FunctionTestMCDC_SYS_REQ_113_Row1_InvariantViolation

----------------------------------------------------------------------------- SYS-REQ-113 (EachKeyWildcard / ArrayEachWildcard / SetWildcard) --------

mcdc_spec_witnesses_test.go:3584

FunctionTestMCDC_SYS_REQ_113_Row2_Nominal

Verifies: SYS-REQ-113 MCDC SYS-REQ-113: wildcard_path_resolves_to_every_matched_element=T => TRUE

mcdc_spec_witnesses_test.go:3603

FunctionTestMCDC_SYS_REQ_114_Row1_InvariantViolation

----------------------------------------------------------------------------- SYS-REQ-114 (ParsePath / CompilePath / CompiledPath) -------------------

mcdc_spec_witnesses_test.go:3623

FunctionTestMCDC_SYS_REQ_114_Row2_Nominal

Verifies: SYS-REQ-114 MCDC SYS-REQ-114: compiled_jsonpath_resolves_to_same_result_as_equivalent_key_path=T => TRUE

mcdc_spec_witnesses_test.go:3641

FunctionTestMCDC_SYS_REQ_115_Row1_StrictConfigRejectsSingleQuotes

Verifies: SYS-REQ-115 MCDC SYS-REQ-115: config_lenient_modes_are_opt_in_and_default_remains_strict=F => FALSE reqproof:proptest:skip MC/DC witness for

v150_mcdc_witness_test.go:25

FunctionTestMCDC_SYS_REQ_115_Row2_LenientConfigParsesSingleQuotes

Verifies: SYS-REQ-115 MCDC SYS-REQ-115: config_lenient_modes_are_opt_in_and_default_remains_strict=T => TRUE reqproof:proptest:skip MC/DC witness for

v150_mcdc_witness_test.go:11

FunctionTestMCDC_SYS_REQ_116_Row1_PackageGetRequiresByteSliceNotReader

Verifies: SYS-REQ-116 MCDC SYS-REQ-116: reader_parser_provides_incremental_stream_access=F => FALSE reqproof:proptest:skip MC/DC witness for the non-s

v150_mcdc_witness_test.go:55

FunctionTestMCDC_SYS_REQ_116_Row2_ReaderParserGetsFromStream

Verifies: SYS-REQ-116 MCDC SYS-REQ-116: reader_parser_provides_incremental_stream_access=T => TRUE reqproof:proptest:skip MC/DC witness for the stream

v150_mcdc_witness_test.go:40

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

← previous next →901–1,000 of 1,179, ranked by callers