I am doing well in annotating or simplifying my work to comply with
splint's demands for understanding. I have a problem with splinting
microSoft's large libraries.
I get messages such as:
exec_cmd.c(100,25): Null storage passed as non-null param:
CreateProcessA (NULL, ...)
A possibly null pointer is passed as a parameter corresponding to a formal
parameter with no /*@null@*/ annotation. If NULL may be used for this
parameter, add a /*@null@*/ annotation to the function parameter declaration.
(Use -nullpass to inhibit warning)
CreateProcessA is declared in an 8k line #include file. I would like to
do a gradual annotation of it as need arises. Advise please! I am
currently veering towards gradual annotation of a copy in an early
folder in $INCLUDE and suspect that there is no point creating a .LCD
until the file is completely annotated. Am I right in assuming that a
conversion of foo.h would consist of something like
/*@ -load foo.lcd @*/
--
Walter Briscoe
