Function TestPropertyNoPanicOnArbitraryBytes

property_test.go:1014–1051

--------------------------------------------------------------------------- Property: every public surface is panic-free on random bytes (universal) --------------------------------------------------------------------------- This is the universal OSS-Fuzz invariant asserted across the entire parser

(t *testing.T)

// reqproof:proptest parser.Get
// Verifies: SYS-REQ-035 [property]
func TestPropertyNoPanicOnArbitraryBytes(t *testing.T) {
	r := newRNG(jsonSeed + 15)
	const iterations = 3000
	for i := 0; i < iterations; i++ {
		raw := randomBytes(r, 64)
		keys := []string{randKey(r)}
		_ = recoverNoPanic(func() { _, _, _, _ = Get(raw, keys...) })
		_ = recoverNoPanic(func() { _, _, _, _ = Get(raw) })
		_ = recoverNoPanic(func() { _, _ = GetString(raw, keys...) })
		_ = recoverNoPanic(func() { _, _ = GetInt(raw, keys...) })
		_ = recoverNoPanic(func() { _, _ = GetFloat(raw, keys...) })
		_ = recoverNoPanic(func() { _, _ = GetBoolean(raw, keys...) })
		_ = recoverNoPanic(func() { _, _ = GetUnsafeString(raw, keys...) })
		_ = recoverNoPanic(func() {
			ArrayEach(raw, func(value []byte, dataType ValueType, offset int, err error) {})
		})
		_ = recoverNoPanic(func() {
			ObjectEach(raw, func(key, value []byte, dataType ValueType, offset int) error { return nil })
		})
		_ = recoverNoPanic(func() {
			EachKey(raw, func(idx int, value []byte, vt ValueType, err error) {}, keys)
		})
		_ = recoverNoPanic(func() {
			assertInputUnchanged(t, raw, func() {
				_ = Delete(raw, keys...)
			})
		})
		_ = recoverNoPanic(func() {
			assertInputUnchanged(t, raw, func() {
				_, _ = Set(raw, []byte(`"x"`), keys...)
			})
		})
		_ = recoverNoPanic(func() { _, _ = ParseInt(raw) })
		_ = recoverNoPanic(func() { _, _ = ParseFloat(raw) })
		_ = recoverNoPanic(func() { _, _ = ParseBoolean(raw) })
		_ = recoverNoPanic(func() { _, _ = ParseString(raw) })
	}
}

// ---------------------------------------------------------------------------
// Property: thread-safety — concurrent reads are panic-free and deterministic