Could detect possible violations by reporting any function that has
|LDRA tool suite|
Do not allocate memory and expect that someone else will deallocate it later
|Parasoft Insure++||Runtime analysis|
|Polyspace Bug Finder|
Pointer deallocation without a corresponding dynamic allocation
Memory freed more than once without allocation
Memory accessed after deallocation
Rec. partially covered.
Search for vulnerabilities resulting from the violation of this rule on the CERT website.