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

Reply via email to