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

Tom Browder tom.browder at gmail.com
Sat Mar 5 12:24:35 UTC 2016

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:


which contains more info links and a link to the software on github here:


Best regards,


More information about the openssl-dev mailing list