iovisor / ubpf

80%

LAST BUILD ON BRANCH main

branch: main

CHANGE BRANCH

x

Reset

• main
• add-specification-baseline
• add_codecov_yml
• chore/GHA-280202-stepsecurity-remediation
• copilot-instructions-upstream
• copilot/add-atomic-instruction-support-arm64
• copilot/add-boundary-checks-jit-compiler
• copilot/add-bswap16-32-64-support
• copilot/add-constant-blinding-option
• copilot/add-copilot-configuration-ubpf
• copilot/add-external-vm-comparison
• copilot/add-jmp32-class-ja-support
• copilot/add-label-support-to-assembler
• copilot/add-memory-leak-detection-ci
• copilot/enable-address-sanitizer-arm64
• copilot/enable-w4-wx-windows-build
• copilot/fix-601
• copilot/fix-671
• copilot/fix-ci-failure-bpf-verifier
• copilot/fix-clang-relocation-type
• copilot/fix-code-scanning-alert
• copilot/fix-code-scanning-multiplication-issue
• copilot/fix-coveralls-parallel-build-issue
• copilot/fix-integer-overflow-bounds-check
• copilot/fix-memory-leak-on-reload
• copilot/fix-nullptr-dereference-harness
• copilot/fix-out-of-bounds-memory-load
• copilot/fix-ubpf-translation-issue
• copilot/fix-windows-ci-cd-exit-code
• copilot/fix-windows-fuzzing-build
• copilot/implement-constant-blinding-arm64
• copilot/implement-memsx-load-instructions
• copilot/implement-movsx-offset-support
• copilot/merge-duplicate-test-files
• copilot/store-bytecode-read-only-memory
• copilot/unify-fuzzer-and-tests-options
• copilot/update-bpf-conformance-submodule
• dependabot/github_actions/actions-01d8e432fa
• dependabot/github_actions/actions-04f2fb4f3c
• dependabot/github_actions/actions-09526a9899
• dependabot/github_actions/actions-0c6b652348
• dependabot/github_actions/actions-1509149478
• dependabot/github_actions/actions-15413d93e9
• dependabot/github_actions/actions-18aa6ed890
• dependabot/github_actions/actions-1ee973cf3c
• dependabot/github_actions/actions-209eccb7e7
• dependabot/github_actions/actions-235d117b1f
• dependabot/github_actions/actions-243d7dc9c9
• dependabot/github_actions/actions-2717ad4317
• dependabot/github_actions/actions-2d02a692b7
• dependabot/github_actions/actions-2d7c865d12
• dependabot/github_actions/actions-34cf0c888b
• dependabot/github_actions/actions-379726463b
• dependabot/github_actions/actions-4d74ece4e3
• dependabot/github_actions/actions-5e135ac569
• dependabot/github_actions/actions-5fe515b291
• dependabot/github_actions/actions-6a5f201135
• dependabot/github_actions/actions-6b5d751753
• dependabot/github_actions/actions-705a8be96c
• dependabot/github_actions/actions-75058fe91b
• dependabot/github_actions/actions-8711e512cc
• dependabot/github_actions/actions-87dc43524a
• dependabot/github_actions/actions-8e8a7fd0ce
• dependabot/github_actions/actions-8eb8a9087d
• dependabot/github_actions/actions-96f499305c
• dependabot/github_actions/actions-97634ad9ee
• dependabot/github_actions/actions-9aa0d56b6e
• dependabot/github_actions/actions-a72d6170ce
• dependabot/github_actions/actions-aa2a37f0ca
• dependabot/github_actions/actions-bd21606fc9
• dependabot/github_actions/actions-c3ddc7c674
• dependabot/github_actions/actions-c4e85267de
• dependabot/github_actions/actions-ca6608e035
• dependabot/github_actions/actions-d230bc030b
• dependabot/github_actions/actions-dec245865e
• dependabot/github_actions/actions-dfa549e328
• dependabot/github_actions/actions-e144074ff2
• dependabot/github_actions/actions-e6ee9d7de3
• dependabot/github_actions/actions-f414f81a3f
• dependabot/github_actions/actions-f78b2e83ca
• dependabot/github_actions/actions-f7e9886b4e
• dependabot/github_actions/actions-fef880fd46
• dependabot/pip/actions-d3fce962ef
• dependabot/submodules/actions-01fc0163df
• dependabot/submodules/actions-2b7c648e12
• dependabot/submodules/actions-31cc4ab906
• dependabot/submodules/actions-4b787150ce
• dependabot/submodules/actions-507aa59b22
• dependabot/submodules/actions-5993da68bd
• dependabot/submodules/actions-5a4aac8c64
• dependabot/submodules/actions-856fc74e53
• dependabot/submodules/actions-91944b9a3e
• dependabot/submodules/actions-abc7b1e10c
• dependabot/submodules/actions-b47aa8b37e
• dependabot/submodules/actions-b88e29ec27
• dependabot/submodules/actions-cbc7190d65
• dependabot/submodules/actions-ce454e3a81
• dependabot/submodules/actions-e512bf45d3
• dependabot/submodules/actions-fc634bfbfb
• ebpf_for_windows_lkg
• feature/sdiv-smod-support
• fix-lddw-second-half-validation
• fix-stack-size-warning
• fix/conformance-external-project-dirs
• fix_boost_issue
• fix_macos_build
• fuzzer_config_fix
• gh-pages
• ignore_build_fuzzer
• isa-reconciliation-report
• issue-637
• issue630
• jit-backend-specs
• jit-mips-spec
• memory
• neg-fix
• readme
• revert-721-copilot/add-boundary-checks-jit-compiler
• standalone-jit
• strings
• target_refactor
• test-travis
• update_bpf_conformance
• update_prevail
• update_verifier

Build # 24264216989

Build Type

push

github

Committed by web-flow

Commit Message

Validate LDDW second-half instruction fields (#764)

* Validate LDDW second-half instruction fields

Signed-off-by: GOD_PPX <1251887477@qq.com>

* Add LDDW second-half validation tests for src, offset, and combinations

Exercise each reserved field (dst, src, offset) individually and in
combination per RFC 9669, ensuring the validator rejects non-zero values
in the LDDW pseudo-instruction's second slot.

New test cases:
- invalid-src: src != 0 only
- invalid-offset: offset != 0 only
- invalid-dst-offset: dst != 0 + offset != 0
- invalid-src-offset: src != 0 + offset != 0
- invalid-all: dst != 0 + src != 0 + offset != 0

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

---------

Signed-off-by: GOD_PPX <1251887477@qq.com>
Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>

Coverage Stats

3 of 3 new or added lines in 1 file covered. (100.0%)

6589 of 8258 relevant lines covered (79.79%)

535953.83 hits per line