Re: [PATCH 0/9] Kernel API Specification Framework

On Fri, 13 Mar 2026 11:09:10 -0400 Sasha Levin wrote:

This enables static analysis tools to verify userspace API usage at compile
time, test generation based on formal specifications, consistent error handling
validation, automated documentation generation, and formal verification of
kernel interfaces.

Could you give some examples? We have machine readable descriptions for
Netlink interfaces, we approached syzbot folks and they did not really
seem to care for those.