: ,,,,,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