A Static Analysis to Find Null Pointer Bugs with Property Simulation
Posted 2006. 8. 31. 04:11A Static Analysis to Find Null Pointer Bugs with Property Simulation, Kwang Yul Seo
1학기 과제 연구의 결과로 나온 논문입니다. 자바 프로그램에서 컴파일 타임에 널 포인터 버그를 잡는 걸 주제로 하고 있습니다. Property Simulation이란 기법을 이용하였습니다. 방학 때 구현을 목표로 잡았으나 아르바이트에 발목을 잡혀서 논문인 채로 두게 되었네요.
1학기 과제 연구의 결과로 나온 논문입니다. 자바 프로그램에서 컴파일 타임에 널 포인터 버그를 잡는 걸 주제로 하고 있습니다. Property Simulation이란 기법을 이용하였습니다. 방학 때 구현을 목표로 잡았으나 아르바이트에 발목을 잡혀서 논문인 채로 두게 되었네요.
- Filed under : 카테고리 없음
