Home

Jump to bottom Edit New page

Elazar Gershuni edited this page Nov 2, 2020 · 5 revisions

Welcome to the ebpf-verifier wiki!

Relevant links:

Paper: Simple and precise static analysis of untrusted Linux kernel extensions
- Video presentation: PLDI '19
New book on static analysis: Introduction to Static Analysis: An Abstract Interpretation Perspective, MIT press

Add a custom sidebar

Clone this wiki locally