shunghsiyu

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).

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

Looking for projects around:

Nothing at the moment

Activity

  • 10 months ago: shunghsiyu started BPF feature support table
  • 10 months ago: shunghsiyu originated BPF feature support table
  • over 1 year ago: shunghsiyu liked Rewrite libkdumpfile Python binding using CFFI
  • over 1 year ago: shunghsiyu liked Extend GObject based introspectable API to libzypp
  • over 1 year ago: shunghsiyu liked BPFTRACE
  • over 1 year ago: shunghsiyu started Model checking the BPF verifier
  • over 1 year ago: shunghsiyu added keyword "kernel" to Model checking the BPF verifier
  • over 1 year ago: shunghsiyu liked generic zswap dedup
  • over 1 year ago: shunghsiyu liked Add combustion support to the terraform-provider-libvirt
  • over 1 year ago: shunghsiyu liked Add MBR binary format support to the fq command line tool
  • over 1 year ago: shunghsiyu liked Learn about IPv6 while Implementing it in the Home Environment
  • over 1 year ago: shunghsiyu liked consolidate mm debugging tools and package them
  • over 1 year ago: shunghsiyu added keyword "bpf" to Model checking the BPF verifier
  • over 1 year ago: shunghsiyu added keyword "ebpf" to Model checking the BPF verifier
  • over 1 year ago: shunghsiyu added keyword "formalverification" to Model checking the BPF verifier
  • over 1 year ago: shunghsiyu added keyword "modelchecking" to Model checking the BPF verifier
  • over 1 year ago: shunghsiyu originated Model checking the BPF verifier
  • over 1 year ago: shunghsiyu liked Setup A Linux Cross Referencer for SUSE kernels
  • over 1 year ago: shunghsiyu liked FTrace Visualization Tool
  • over 1 year ago: shunghsiyu liked Enable full-disk-encryption key sharing for bootloader -> kernel
  • over 1 year ago: shunghsiyu liked Learn TCP
  • over 1 year ago: shunghsiyu liked SUSE branded keycaps models
  • over 1 year ago: shunghsiyu liked Kanidm - Modern Opensource Identity Management
  • almost 3 years ago: shunghsiyu joined Phoebe - where AI meets Linux
  • almost 3 years ago: shunghsiyu liked Phoebe - where AI meets Linux