'Engler et al' diaporamas de présentation

Evaluating and Tuning a Static Analysis to Find Null Pointer Bugs

Evaluating and Tuning a Static Analysis to Find Null Pointer Bugs. Dave Hovemeyer Bill Pugh Jaime Spacco. How hard is it to find null-pointer exceptions?. Large body of work academic research too much to list on one slide commercial applications PREFix / PREFast Coverity Polyspace.

863 views • 39 slides

Evaluating and Tuning a Static Analysis to Find Null Pointer Bugs

Evaluating and Tuning a Static Analysis to Find Null Pointer Bugs. Dave Hovemeyer Bill Pugh Jaime Spacco. How hard is it to find null-pointer exceptions?. Large body of work academic research too much to list on one slide commercial applications PREFix / PREFast Coverity Polyspace.

510 views • 39 slides

Ensuring Code Safety Without Run-time Checks for Real-time Control Systems

Ensuring Code Safety Without Run-time Checks for Real-time Control Systems. -Presented by Sumant Kowshik Joint Work With Dinakar Dhurjati and Vikram Adve. University of Illinois at Urbana-Champaign. Supported by NSF U. Illinois. Motivation.

390 views • 22 slides

Mining Specifications (lots of) code ? specifications

304 views • 18 slides