Externals-CStdLib

Nested Rules

Externals-CStdLib.Allocator	User-provided summary of relevant effects of a function
Externals-CStdLib.Calloc	User-provided summary of relevant effects of a function
Externals-CStdLib.Errno	Configuration of the implementation of the global ‘errno’ variable provided in the C stdlib
Externals-CStdLib.Memcpy	User-provided summary of relevant effects of a function
Externals-CStdLib.Memset	User-provided summary of relevant effects of a function
Externals-CStdLib.NoReturn	User-provided summary of relevant effects of a function
Externals-CStdLib.NonNullReturn	User-provided summary of relevant effects of a function
Externals-CStdLib.Open	User-provided summary of relevant effects of a function
Externals-CStdLib.Read	User-provided summary of relevant effects of a function
Externals-CStdLib.Realloc	User-provided summary of relevant effects of a function
Externals-CStdLib.Recv	User-provided summary of relevant effects of a function
Externals-CStdLib.Scanf	User-provided summary of relevant effects of a function
Externals-CStdLib.Strcpy	User-provided summary of relevant effects of a function
Externals-CStdLib.Strlen	User-provided summary of relevant effects of a function
Externals-CStdLib.Write	User-provided summary of relevant effects of a function

Options

• Setting an option for this rule means setting the default for all nested rules.

• The following places define options that affect this rule: Analysis-GlobalOptions

• This rule has no individual options.