...
Automated Detection
Compass/ROSE can detect some violations of this rule. Is particular, it warns when when the argument to malloc() is a variable that has not been compared against NULL, or is known at compile time to be 0.
...
Page History
Overview
Content Tools