bpf_conformance
bpf_conformance copied to clipboard
Alan-Jowett
Measures the conformance of a BPF runtime to the ISA.
Bumps ubuntu from `2e863c4` to `8a37d68`. [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps [github/codeql-action](https://github.com/github/codeql-action) from 3.26.0 to 3.26.3. Changelog Sourced from github/codeql-action's changelog. CodeQL Action Changelog See the releases page for the relevant changes to the CodeQL CLI and language packs. Note...
Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 6.6.1 to 6.7.0. Release notes Sourced from docker/build-push-action's releases. v6.7.0 Print info message for build summary support checks by @crazy-max in docker/build-push-action#1211 Full Changelog: https://github.com/docker/build-push-action/compare/v6.6.1...v6.7.0 Commits 5cd11c3...
Potential memory leak when test uses uninitialized register (%r1). Ideally, Linux verifier should have caught this, but instead it appears to be leaking memory. ``` -- asm ldxw %r0, [%r1]...
The below test attempts to use r10 as a src register for JSLT. Libbpf and bpf2c both exhibit different undefined behavior. uBPF catches the error. ``` -- asm mov %r1,...
**bpf2c, libbpf and uBPF** plugins exhibit different behaviors on the following test containing JSET. ### Test: JSET with the same src, dst register ``` -- asm mov %r1, 5 jset...
Output looks like this: ``` alanjo@alanjo-dev2:~/bpf_conformance$ cat test.data # test: exit.data # Test for EXIT instruction with no prior operations -- asm exit -- result 0x0" alanjo@alanjo-dev2:~/bpf_conformance$ sudo build/bin/bpf_conformance_runner --test_file_path...
https://github.com/Alan-Jowett/bpf_conformance/blob/56950c45513a13d773ea8688eb9fbcd09908fc62/tests/callx.data#L7 Given the unconditional `mov` of `0x2` to `%r0`, will this test always pass? cc @dthaler
Conformance groups are added to draft-ietf-bpf-isa, so the conformance runner should report which groups pass conformance checks.
The spec says that unused fields MUST be set to zero. ``` Note that most instructions do not use all of the fields. Unused fields must be set to zero....
Metadata
Owner
Metadata
Measures the conformance of a BPF runtime to the ISA.