스패로우 : 소스 코드 분석기
DESCRIPTION
스패로우 : 소스 코드 분석기. 오학주 , 정영범 , 진민식 , 김덕환 , 황의권 , 박대준 0 , 이희종 , 공순호 , 이광근 {pronto,dreameye,msjin,dk,neo,pudrife 0 ,ihji,soon,kwang}@ropas.snu.ac.kr 프로그래밍 연구실 서울대학교 컴퓨터공학부. 소프트웨어가 실행되기 전에 우리가 바라는대로 실행될 지를 no core dump/segmentation fault no buffer overrun no memory leak - PowerPoint PPT PresentationTRANSCRIPT
-
: ,,,,,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