FaultDetection-FunctionMarker

Mark functions being (not) analysed by static semantic analysis

Required inputs: IR

This check reports whether a function was analyzed by static semantic analysis. Static semantic analysis does not analyze functions being dead (using the semantic analysis' own inference of dead code). This can be influenced by appropriate configuration of entry points, for example.

Possible Messages

Key	Text	Severity	Disabled
not_semantically_analyzed_function	This function was skipped by static semantic analysis	None	False
semantically_analyzed_function	This function was analyzed by static semantic analysis	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

suppress_if_analyzed

suppress_if_analyzed : bool = True

Whether messages for functions being analyzed by semantic analysis should be automatically suppressed.

 

suppress_if_skipped

suppress_if_skipped : bool = True

Whether messages for functions being skipped by semantic analysis should be automatically suppressed.