Subj : [$] Simplifying the BPF verifier
To   : All
From : LWN.net
Date : Thu Jun 13 2024 18:15:06

[$] Simplifying the BPF verifier

Date:
Thu, 13 Jun 2024 17:01:13 +0000

Description:
The BPF verifier is a complex program. This has the unfortunate effect of 
making
it simultaneously more difficult for contributors to work on, and more likely
to harbor unknown bugs. Shung-Hsi Yu had two concrete proposals for how to
simplify the verifier to make it easier to maintain that he presented at the 
2024 Linux Storage,
Filesystem, Memory Management, and BPF Summit . Yu proposed changing how the
verifier tracks partially known values and cleaning up the interface to
hide the details of the value-tracker's internal representation.

======================================================================
Link to news story:
https://lwn.net/Articles/977815/


--- Mystic BBS v1.12 A47 (Linux/64)
 * Origin: tqwNet UK HUB @ hub.uk.erb.pw (1337:1/100)

.