On Sat, Mar 5, 2016 at 7:03 AM, Greg Stark wrote:
> On Sat, Mar 5, 2016 at 12:59 PM, Greg Stark wrote:
>> Well. Not dealt with yet. I think it's more or less clear how to
>> tackle it using macros and builtins now but there's a lot of drudgery
>> work to actually rewrite all the checks. I have th
On Sat, Mar 5, 2016 at 6:41 AM, Tomas Vondra
wrote:
> 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"
...
> AFAIK this is not an enti
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 l
