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

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 entirely

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

Hi, 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" > > which may describe procedures not used in other static analysis programs. > > Article references the authors'

[HACKERS] 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