Défauts liés à la gestion des ressources

Défauts liés à la gestion des ressources, par exemple au flux de fichiers non fermé ou à l’utilisation d'un flux de fichiers fermé

Ces défauts sont liés à la gestion des fichiers. Ces défauts incluent :

Résultats Polyspace

`Closing a previously closed resource`	Function closes a previously closed stream
`Opening previously opened resource`	Opening an already opened file
`Resource leak`	File stream not closed before `FILE` pointer scope ends or pointer is reassigned
`Use of previously closed resource`	Function operates on a previously closed stream
`Writing to read-only resource`	File initially opened as read only is modified

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