Projects in the topic bpf
Berkeley Packet Filter


Model checking the BPF verifier

an invention by shunghsiyu

Project Description

BPF verifier plays a crucial role in securing the system (though less so now that unprivileged BPF is disabled by default in both upstream and SLES), and bugs in the verifier has lead to privilege escalation vulnerabilities in the past (e.g. CVE-2021-3490).

Updated about 1 month ago. 4 hacker ♥️. 3 followers.