Saturday, July 13, 2013 [Tweets] [Favorites]

Finding Undefined Behavior Bugs by Finding Dead Code

John Regehr:

In summary, by adopting a solid premise (“developers want to know when code they write can be eliminated based on exploitation of undefined behavior”) the authors of this paper have found a way to home in on a serious class of bugs and also to avoid the false positive problems that might otherwise plague an intraprocedural static analysis tool.

Comments

Stay up-to-date by subscribing to the Comments RSS Feed for this post.

Leave a Comment