vbpf / ebpf-verifier

eBPF verifier based on abstract interpretation

vbpf/ebpf-verifier Issues

Stream operator for ValidMapKeyValue always says target is stack location
Updated a month ago
FuzzerDebug configuration not setting correct flags
Updated a month ago
bpf_map_lookup_elem assertion is wrong for BPF_MAP_TYPE_HASH_OF_MAPS of BPF_MAP_TYPE_PROG_ARRAY
Closed a month ago1
EBPF_ARGUMENT_TYPE_PTR_TO_MAP_VALUE should permit values from other maps
Updated a month ago
bitset_domain_t::all_num assert that lb < ub
Closed 2 months ago
Stack memory tracking improvements
Closed 2 months ago
Error when running scripts/experiment.sh
Updated 3 months ago3
Support for BPF_FETCH in atomic operations
Closed 3 months ago3
UndefinedBehaviorSanitizer: radix_substr shift exponent 64 is too large for 64-bit type
Updated 3 months ago
Why not implement the wrapped_interval domain to support machine integer analysis?
Closed 3 months ago2
Add support for subprograms (call_local)
Closed 3 months ago1
Add support for calling a helper function by BTF ID
Updated 4 months ago
"adjust_head" statistic is not cross-platform safe
Closed 4 months ago
Unsafe XDP program passes verification on Windows
Closed 4 months ago4
Add support for LDDW with src_reg > 1
Updated 4 months ago2
MOVSX shouldn't operate on immediate
Closed 4 months ago
Out of bounds memory load and stores verified by PREVAIL
Closed 5 months ago3
Regression in verifier output instruction count
Closed 5 months ago2
Add support for BPF_ALU64 | BPF_TO_LE instruction
Closed 5 months ago
BTF type data with cycles should be rejected
Closed 5 months ago3
Docker build not working (missing things + compiler errors)?
Updated 5 months ago
Add support for 32-bit jump operations
Closed 5 months ago
Add support for BPF_MOVSX instruction
Closed 5 months ago
PREVAIL appears to verify use of invalid registers as correct for ALU operations
Closed 5 months ago
Verifier stucks while verifying the loop program
Updated 6 months ago
Add support for signed DIV and MOD operations
Closed 6 months ago2
Verifier get stuck on nested-loops termination check
Updated 10 months ago
Prevail incorrectly classifying map as non-map - Cannot subtract pointers to non-singleton regions
Closed a year ago1
Prevail does not support function calls
Updated a year ago12
Verification failure with no context or way to debug
Closed a year ago2
Add support for .maps section
Closed a year ago
Segmentation fault (core dumped)
Closed a year ago1
Map sample in ebpf-for-windows triggers "CRAB error : Integer overflow during addition" during verification
Closed a year ago5
Upgrade boost to 1.81
Closed a year ago
Inconsistency between PREVAIL verifier and uBPF
Closed a year ago
Reading btf_ext_info_sec_t num_info can read past end of segment
Closed a year ago
Update to support Visual Studio 2022
Closed a year ago
Simplify the management of thread_local based state
Closed a year ago2
Termination check no longer working with some loops
Closed a year ago2
Crash when loading/verifying eBPF program
Closed a year ago1
False warning about unreachable code
Closed a year ago2
Some ldx*.data conformance tests fail verification
Closed a year ago
Widening is too aggressive
Updated a year ago2
Intervals might be overly narrowed
Closed a year ago
CI/CD script needs to be reverted to windows 2019 (VS2022 port delayed)
Closed 2 years ago
Update CI/CD build script and docs for VS2022 port
Closed 2 years ago
Visual Studio 2022 fails to compile the auto-generated .vcxproj
Closed 2 years ago1
DIV instruction should be unsigned division
Closed 2 years ago
Support multiple eBPF programs in the same section
Updated 2 years ago
r10 should be read-only
Closed 2 years ago