shunghsiyu
Taipei, Taiwan
Model checking the BPF verifier
a project 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).
BPF feature support table
a project by shunghsiyu
Project Description
(e)BPF has grown in features over the years, and it's sometimes rather confusing for (e)BPF application developers as to what features are available for them; and while tools like bpftool support feature detection, it only detects the feature available to the current running kernel.
2
3
4
15
Looking for projects around:
Nothing at the moment
Activity