Originally posted by mdedetrich
View Post
Originally posted by mdedetrich
View Post
Originally posted by mdedetrich
View Post
There is a lot of undefined functionality you can define on top of C without requiring to alter compiler behaviour. Like adding type data to define what is user space and what is kernel space.
Sparse is a interesting solution as a static analyzation tool because this allows you to generally extend the C language. If the compiler has plugins to support sparse then you can do it in one pass. If the compiler does not you have to run sparse to validate the code before you build it.
Sparse demos that you can extend C and apply that extend across multi C compilers.
Leave a comment: