On Apr 25, 2012, at 6:50 AM, Tom Browder <[email protected]> wrote:

> I wonder why coverity is not finding all the failures to release
> memory in src/conv/comgeom/solid.c?  Does it not check for that?

Coverity has a variety of memory allocation checks, but there's only a few 
instances where you can be sure it's not a false positive.  Wiping out the only 
pointer to dynamically allocated memory, c++ classes that allocate but never 
free, even allocating suspicious sizes within malloc, and more.  It just 
doesn't/can't know when you're done with something that has a pointer 
referencing it. 

There are some really good memory checker tools (like valgrind), but most 
analyze runtime behavior instead of static analysis.

Cheers!

------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and 
threat landscape has changed and how IT managers can respond. Discussions 
will include endpoint security, mobile security and the latest in malware 
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
BRL-CAD Developer mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/brlcad-devel

Reply via email to