Null dereference - PowerPoint PPT Presentation

Mairac Static Analyzer for Detecting Memory Leak &amp; Null Dereference Errors in C Programs

Mairac Static Analyzer for Detecting Memory Leak &amp; Null Dereference Errors in C Programs. Programming Research Laboratory Seoul National University 4/14/2006 @ SamsungSWC. Outline. Mairac’s Overview memory leak &amp; null dereference technology &amp; approach Mairac’s Performance

★ ★ ★ ★ ★

326 views • 20 slides

Using data groups to specify and check side effects

Using data groups to specify and check side effects. K. Rustan M. Leino Microsoft Research Arnd Poetzsch-Heffter Universität Kaiserslautern Yunhong Zhou HP SRC Work done at Compaq SRC. 18 June 2002 PLDI’02, Berlin, Germany. Context. Static program checker. Pieces of a. Warning messages.

★ ★ ★ ★ ★

324 views • 17 slides

View Null dereference PowerPoint (PPT) presentations online in SlideServe. SlideServe has a very huge collection of Null dereference PowerPoint presentations. You can view or download Null dereference presentations for your school assignment or business presentation. Browse for the presentations on every topic that you want.

Null dereference - PowerPoint PPT Presentation

Mairac Static Analyzer for Detecting Memory Leak &amp;amp; Null Dereference Errors in C Programs

Using data groups to specify and check side effects

Mairac Static Analyzer for Detecting Memory Leak & Null Dereference Errors in C Programs