Comment on A New Development for Coverity and HeartbleedparentComments−TwoBit12yVC++ analysis is useful aside from the fact that it mistakenly thinks every pointer usage is a potential null pointer, but I've gotten better results with clang static analysis.−marshray12yEvery pointer is potentially null, until proven otherwise (which in the general case means solving the halting problem).
Comments
VC++ analysis is useful aside from the fact that it mistakenly thinks every pointer usage is a potential null pointer, but I've gotten better results with clang static analysis.
Every pointer is potentially null, until proven otherwise (which in the general case means solving the halting problem).