Author: Tom Browder
Date:
To: Developer discussions, dev@httpd.apache.org, perl6-compiler, openssl-dev, postfix-devel, pgsql-hackers, cyrus-devel, pcre-dev, perl5-porters
Subject: [pcre-dev] Static code checker research worth investigating
(Communications of the ACM, 03/2016, Vol. 59, No. 03, p. 99)
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
