[splint-discuss] Proper annotations for linked list implementation
bevenson at melinkcorp.com
Tue Jan 24 11:27:11 PST 2012
I'm using splint on some userspace application code that will run in an embedded Linux environment. I borrowed the kernel linked list implementation (list.h) for use in userspace. The linked list works great, but it's giving me a bunch of issues for checking with splint. I think if I saw what the annotations were that was used for list.h that is used by the unixlib I'd be able to solve a lot of my problems. Does anyone know where I can find what the annotation for list.h should look like?
More information about the splint-discuss