Download - 스패로우 : 소스 코드 분석기
Transcript
-
: ,,,,,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