...
Automated Detection
Compass/ROSE could can detect some violations of this rule by flagging any call to . However, it can only detect violations involving abort() that occurs after a call to open(), fopen(), or a function that creates a temporary file, like mkstemp(), and is not subsequently closed since assert is implemented as a macro.
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...