[prev in list] [next in list] [prev in thread] [next in thread] 

List:       cyrus-devel
Subject:    Static code checker research worth investigating (Communications of the ACM, 03/2016, Vol. 59, No. 0
From:       Tom Browder via Cyrus-devel <cyrus-devel () lists ! andrew ! cmu ! edu>
Date:       2016-03-05 12:24:35
Message-ID: CAFMGiz-f7LM6wj3NwFcO=mmuGP13xdGu4PBCJY7XPaYZCzVAcQ () mail ! gmail ! com
[Download RAW message or body]

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
[prev in list] [next in list] [prev in thread] [next in thread]