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.
