CWE-1119

Excessive Use of Unconditional Branching. [Complexity-Issues, Improper-Adherence-To-Coding-Standards]

Required inputs: IR

The code uses too many unconditional branches (such as "goto").

This issue makes it more difficult to understand and/or maintain the product, which indirectly affects security by making it more difficult or time-consuming to find and/or fix vulnerabilities. It also might make it easier to introduce vulnerabilities.

Excerpts from CWE [https://cwe.mitre.org], Copyright (C) 2006-2026, the MITRE Corporation. See section 9.4. "3rd-Party Licenses" in the documentation for full details.

Possible Messages

Key	Text	Severity	Disabled
excessive_use	The code uses too many unconditional branches (such as “goto”).	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

control_transfer_statements

control_transfer_statements : set[str] = {'Goto_Statement'}

Statements to consider as unconditional control flow transfers

 

limit

limit : int = 0

Limit on the number of occurences