* Tom Lane (t...@sss.pgh.pa.us) wrote:
> I think Coverity does that, or at least I've seen output from some tool
> that does it.

Coverity does provide the path (including going through multiple
interations of a loop, if applicable).  Doesn't make it perfect, sadly,
but I've been trying to feed back false positives to their dev group to
address.  Frustratingly, it doesn't handle global variables terribly
well and I've found a couple of false positives around cases involving
them.

        Thanks,

                Stephen

Attachment: signature.asc
Description: Digital signature

Reply via email to