Miscellaneous-MissingParameterAssert

Assert parameters before actual function body

Required inputs: IR

This rule requires that every parameter is used in at least one assert statement.

Possible Messages

Key	Text	Severity	Disabled
missing_parameter_assert	Missing assertion for parameter(s).	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

macro_names

macro_names : set[bauhaus.analysis.config.MacroName] = {'assert'}

Specifies the names of the assertion macros.