Re: Static code checker research worth investigating (Communications of the ACM, 03/2016, Vol. 59, No. 03, p. 99)

On Sat, Mar 5, 2016 at 6:41 AM, Tomas Vondra
<tomas.vondra@2ndquadrant.com> wrote:
> On Sat, 2016-03-05 at 06:24 -0600, Tom Browder wrote:
>> Interesting article in latest issue of subject titled:
>>
>>   "A Differential Approach to Undefined Behavior Detection"
...
> AFAIK this is not an entirely new tool - it was published a few years
> back (2013?) along with a paper that also mentioned a few issues in
> PostgreSQL. And it was dealt with, see for example this thread
>
> http://www.postgresql.org/message-id/flat/20130715215950.GA4165@eldon.alvh.no-ip.org
>
> Or is this something new?

No, and I think the article mentions that at least one bug was found
in the postgresql code.

Sorry for the false alarm.

Best regards,

-Tom