FaultDetection-IndirectAssignmentOverflow

Avoid overflow in indirect assignments

Required inputs: IR, StaticSemanticAnalysis

This check detects assignments through a pointer where the assigned value may be larger than the target object designated by the pointer, i.e. the pointer has a static type larger than the object it points to.

Possible Messages

Key	Text	Severity	Disabled
possible_assignment_overflow	Target of assignment may be too small for assigned value (static type {node0} has size {int0} bytes).	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

• This rule has no individual options.