diff --git a/man/manual.docbook b/man/manual.docbook index 526be4f1b..d863b2332 100644 --- a/man/manual.docbook +++ b/man/manual.docbook @@ -765,6 +765,12 @@ Checking test.c... <arg nr="2"> <not-uninit/> </arg> + <arg nr="3"> + <strz/> + </arg> + <arg nr="4"> + <formatstr/> + </arg> </function> </def> @@ -789,10 +795,10 @@ Checking test.c... The <arg> is used to validate arguments. If it's invalid to pass NULL, use <not-null>. If it's invalid to pass uninitialized data, use - <not-uninit>. If the function takes a pointer - argument then it is always invalid to pass a uninitialized/dead pointer. - The <not-uninit> will then mean that the data - that the pointer points at must be initialized. + <not-uninit>. If the argument is a + zero-terminated string, use <strz>. If the + argument is a formatstring, use + <formatstr>.
Example: strcpy()