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.ga4...@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 -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
