[splint-discuss] Parsing errors

[brosenth at comcast.net]

New to splint, so sorry if this post has already been addressed in the past.

Trying to parse source that is kernel module source and am getting numerous parse errors. Specifically, I am trying to parse e.g. iptables code (actually, netfilter code) like ip_conntrack_proto_sctp.c from a LK 2.6.9-xx source.

splint complains about not being able to parse things like __u32int and the like. Basically, about a dozen or so defines from /linux/types.h which is the first include in the source file noted above.

I have created a .splintrc that I am populating with -Dxxx=yyy directives as these occur in running splint. Wound up with about 14 of these. Then, splint complains about not being able to parse the fs_struct.h which is an include in the sched.h

Tried having -I directives in the command line like -I/usr/src/linux/include/linux/ and the like - still no go.

Also tried +posixlib and +unixlib - still no go

I gave up at this point.

Doesn't seem like it should take this much effort but maybe it does. Or maybe I'm missing something more obvious.

--
Bruce Rosenthal 
Chief Architect, TranStrophe 
Turning Information and Technology Into Business Opportunities 

505 521 4879 
510 432 7912
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20071012/2c102d93/attachment.html