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).
2
3
4
15
Looking for projects around:
Nothing at the moment
Activity