Query module DescriptorNeverClosed
- Open descriptor never closed
- Functions that always return before closing the socket or file they opened leak resources.
- efficiency security external/cwe/cwe-775
Provides classes and predicates implementing a points-to analysis based on Steensgaard’s algorithm, extended to support fields.