vbpf / prevail / 29361137028

Builds Branch Commit Type Ran Committer Via Coverage
29361137028 main Soundly narrow sign-extending memory loads, extend to ctx inline fields On a signed memory load the narrow helper set uvalue to the zero-extended range [0, 2^(8*width) - 1]. That is unsound: the unsigned 64-bit view of a sign-extended negative re... push elazarg github
86.76
29354322126 fix/ptr-sum-bound-checks Merge 13930c222 into f4a931b26 Pull #1199 web-flow github
86.75
29354114065 fix/narrow-sign-extending-loads Merge c661cc601 into f4a931b26 Pull #1198 web-flow github
86.76
29351605247 fix/load-narrow-and-ptr-sum-bounds Merge 39ccdde07 into f4a931b26 Pull #1153 web-flow github
86.76
29319503431 main Diff YAML invariants by line set instead of lattice subtraction The YAML test harness renders each expected/actual post-invariant diff via StringInvariant::operator-, which special-cased bottom by returning bottom(). Because StringInvariant::empt... push elazarg github
86.74
29315184534 fix/yaml-diff-bottom-invariant Merge 610bcda63 into 5089c8383 Pull #1197 web-flow github
86.74
29191196250 main Drive sample verification tests from the inventory; parallelize CI (#1195) Full-program verification of the ebpf-samples corpus was 17 C++ files generated by scripts/generate_verify_project_tests.py from test-data/elf_inventory.json, then compile... push web-flow github
86.65
29189290305 refactor/data-driven-verify-tests Merge ee1e84758 into 1f5d00973 Pull #1195 web-flow github
86.65
29188734909 main Bump actions/upload-artifact from 4 to 7 Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 4 to 7. - [Release notes](https://github.com/actions/upload-artifact/releases) - [Commits](https://github.com/actions/upload... push elazarg github
86.65
29165690732 refactor/data-driven-verify-tests Merge 21f458b39 into 92a55444e Pull #1195 web-flow github
86.65
29162777435 main Bump actions/checkout from 4 to 7 Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 7. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)... push elazarg github
86.65
29160573186 dependabot/github_actions/actions/checkout-7 Merge 26a44151c into 697f5808e Pull #1194 web-flow github
86.65
29160570171 dependabot/github_actions/actions/upload-artifact-7 Merge 0390d6b8b into 697f5808e Pull #1193 web-flow github
86.65
29019731832 fix/boolean-and-null-precision Merge 6b90b3600 into 697f5808e Pull #1157 web-flow github
86.67
29018859372 main Model direct socket reads conservatively After stale type-dependent numeric facts are discarded, previously hidden paths reach socket-returning helpers such as skc_lookup_tcp(). Those helpers can produce a non-null T_SOCKET, and real accepted pro... push elazarg github
86.65