Are invariants on the kernel data structures documented?
I want to program a kind of a security module as an example, and I want later to prove that my code is enforcing the invariants on a specific data structure (e.g., those in /include/linux/list.h). But I'm not sure what the invariants are. So, are the invariants documented anywhere?
|