Post on 20-Mar-2016
description
: ,,,,,0,,,{pronto,dreameye,msjin,dk,neo,pudrife0,ihji,soon,kwang}@ropas.snu.ac.kr
no core dump/segmentation faultno buffer overrunno memory leakx.s > 0 at line 321notNull(y) whenever x = 0etc.
SW (static program analyzer)SW SW
SW 1990s2000s1980s 2010scoveritypolyspaceSparrow
Sparrow Beats Others fordeep call chainfunction pointers interprocedural pointer aliasingpointer arithmeticarbitrary recursioninfinite loopsC standard library