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

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

http://www.postgresql.org/message-id/flat/20130715215950.GA4165@eldon.alvh.no-ip.org

Or is this something new?


regards

-- 
Tomas Vondra                  http://www.2ndQuadrant.com
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services