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

From: Tom Browder <tom(dot)browder(at)gmail(dot)com>
To: 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: Static code checker research worth investigating (Communications of the ACM, 03/2016, Vol. 59, No. 03, p. 99)
Date: 2016-03-05 12:24:35
Message-ID: CAFMGiz-f7LM6wj3NwFcO=mmuGP13xdGu4PBCJY7XPaYZCzVAcQ@mail.gmail.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

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,

-Tom

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Tomas Vondra 2016-03-05 12:41:40 Re: Static code checker research worth investigating (Communications of the ACM, 03/2016, Vol. 59, No. 03, p. 99)
Previous Message Dilip Kumar 2016-03-05 12:22:36 Re: Move PinBuffer and UnpinBuffer to atomics