'Int bar int' diaporamas de présentation

An Undergraduate Course on Software Bug Detection Tools and Techniques

An Undergraduate Course on Software Bug Detection Tools and Techniques. Eric Larson Seattle University March 3, 2006. Introduction. Course was taught at Seattle University in Winter 2005 quarter. 9 senior undergraduate students senior elective Key contributions:

316 views • 18 slides

Lsa

Daejun Park, ROPAS, SNU Lightweight Static Analysis for Buffer Overrun Errors of C programs. Lsa. Example, pointer analysis. int foo () { int arr[10]; int ret; ret = bar(arr, 10) return arr[ret]; } int bar (int *p, int x) { int i; i = 0; while 1 (i < x) { p[i] = i;

322 views • 16 slides

Extra C Material

85 views • 8 slides