Défauts de flux de données

Défauts concernant les erreurs de codage du flux de données, le code inaccessible, la non-initialisation, les instructions de retour manquantes, les écritures superflues

Ces défauts sont des erreurs liées à la manière dont les informations circulent dans votre code. Ces défauts incluent :

Code mort ou inaccessible
Code non utilisé
Informations non initialisées

Résultats Polyspace

`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 (depuis 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 (depuis R2022a)
`Variable shadowing`	Variable hides another variable of same name with nested scope
`Write without a further read`	Variable never read after assignment

Rubriques

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