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

shunghsiyu
Updated 6 months ago. 5 hacker ♥️. 3 followers.
2
3
4
15

Looking for projects around:

Nothing at the moment

Activity

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