Datenfluss-Defekte

Defekte aufgrund von Datenfluss-Codierungsfehlern, unerreichbarem Code, Nichtinitialisierung, fehlenden Rückgabeanweisungen, nutzlosen Schreibvorgängen

Bei diesen Defekten handelt es sich um Fehler in Zusammenhang damit, wie sich Informationen in Ihrem Code bewegen. Zu diesen Defekten gehören:

Toter oder nicht erreichbarer Code
Unbenutzter Code
Nicht-initialisierte Informationen

Polyspace-Ergebnisse

`Code deactivated by constant false condition`	Code segment deactivated by `#if 0` directive or `if(0)` condition
`Dead code`	Code does not execute
`Infinite loop`	Loop termination condition might never be satisfied (Seit R2023a)
`Missing return statement`	Function with non-`void` return type does not return value on some paths
`Non-initialized variable`	Variable not initialized before use
`Non-initialized pointer`	Pointer not initialized before dereference
`Partially accessed array`	Array partly read or written before end of scope
`Pointer to non-initialized value converted to const pointer`	Pointer to constant assigned address that does not contain a value
`Static uncalled function`	Function with static scope not called in file
`Unreachable code`	Code not executed because of preceding control-flow statements
`Useless if`	Unnecessary if conditional
`Useless preprocessor conditional directive`	Preprocessor conditional directive is always true or always false (Seit R2022a)
`Variable shadowing`	Variable hides another variable of same name with nested scope
`Write without a further read`	Variable never read after assignment

Themen

Bug Finder Defect Groups
The Bug Finder defect checkers are classified into groups such as data flow, concurrency, numerical, and so on.