From: | Tomas Vondra <tomas(dot)vondra(at)2ndquadrant(dot)com> |
---|---|
To: | Tom Browder <tom(dot)browder(at)gmail(dot)com> |
Cc: | Developer discussions <brlcad-devel(at)lists(dot)sourceforge(dot)net>, "dev(at)httpd(dot)apache(dot)org" <dev(at)httpd(dot)apache(dot)org>, perl6-compiler(at)perl(dot)org, openssl-dev(at)openssl(dot)org, postfix-devel(at)postfix(dot)org, pgsql-hackers(at)postgresql(dot)org, cyrus-devel(at)lists(dot)andrew(dot)cmu(dot)edu, pcre-dev(at)exim(dot)org, perl5-porters(at)perl(dot)org |
Subject: | Re: Static code checker research worth investigating (Communications of the ACM, 03/2016, Vol. 59, No. 03, p. 99) |
Date: | 2016-03-05 12:41:40 |
Message-ID: | 1457181700.22623.2.camel@2ndquadrant.com |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgsql-hackers |
Hi,
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"
>
> which may describe procedures not used in other static analysis programs.
>
> Article references the authors' website here:
>
> http://css.csail.mit.edu/stack
>
> which contains more info links and a link to the software on github here:
>
> https://github.com/xiw/stack
>
> Best regards,
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
Or is this something new?
regards
--
Tomas Vondra http://www.2ndQuadrant.com
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
From | Date | Subject | |
---|---|---|---|
Next Message | Tom Browder | 2016-03-05 12:51:27 | Re: Static code checker research worth investigating (Communications of the ACM, 03/2016, Vol. 59, No. 03, p. 99) |
Previous Message | Tom Browder | 2016-03-05 12:24:35 | Static code checker research worth investigating (Communications of the ACM, 03/2016, Vol. 59, No. 03, p. 99) |