SecureCoding-5.6

Calling functions with incorrect arguments

Required inputs: IR

Rule description is currently unavailable for legal reasons.

Possible Messages

Key	Text	Severity	Disabled
ellipsis_called_without_prototype	Cannot call function with ellipsis without a prototype declaration	None	False
wrong_argument_number	Number of arguments at function call does not match number of parameters	None	False
wrong_argument_type	Parameter {} of {} expects type ‘{}’, but ‘{}’ was given.	None	False

Options

• This rule shares the following common options: exclude_in_macros, exclude_messages_in_system_headers, excludes, extend_exclude_to_macro_invocations, includes, justification_checker, languages, post_processing, provider, report_at, severity

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

use_pointer_analysis

use_pointer_analysis : bool = True

Whether to use pointer analysis to verify indirect calls.

Note: pointer analysis can only be used if StaticSemanticAnalysis is enabled.