[논문 리뷰] NPEFix: Automatic Runtime Repair of Null Pointer Exceptions in Java

Benoit Cornu, Thomas Durieux외 2명|arXiv (Cornell University)|2015. 12. 23.

Software Testing and Debugging Techniques참고 문헌 14인용 수 24

한 줄 요약

NPEFix는 런타임 시에 9가지의 다른 실행 전략(예: 기본 객체 삽입 또는 문제 코드 건너뛰기)을 적용함으로써 자바에서 위험한 NPE를 자동으로 복구하는 동적 코드 변환 기반 접근법이다. 실제 현장 버그 11개 중 10개를 성공적으로 복구하고, 519개의 인위적으로 삽입된 NPE 중 318개를 복구했으며, 메서드 수준의 건너뛰기가 가장 효과적인 전략으로 나타났다.

ABSTRACT

Null pointer exceptions, also known as null dereferences are the number one exceptions in the field. In this paper, we propose 9 alternative execution semantics when a null pointer exception is about to happen. We implement those alternative execution strategies using code transformation in a tool called NPEfix. We evaluate our prototype implementation on 11 field null dereference bugs and 519 seeded failures and show that NPEfix is able to repair at runtime 10/11 and 318/519 failures.

연구 동기 및 목표

• 자바 및 C 기반 시스템에서 충돌의 주요 원인인 널 포인터 예외(NPE) 문제를 정적 방지가 아닌 자동 런타임 복구를 통해 해결하고자 한다.
• 널 참조가 임박했을 때 대체 실행 의미 체계를 제공하는 9가지 런타임 복구 전략을 설계하고 평가하고자 한다.
• 소스 코드 변환을 사용하여 런타임에 감지 및 복구 훅을 삽입하는 프로토타입 도구 NPEFix를 구현하고자 한다.
• 이러한 전략들이 실제 현장 버그와 인위적으로 삽입된 널 참조 실패에 대해 실증적으로 효과가 있는지 평가하고자 한다.

제안 방법

• NPEFix는 잠재적으로 해로운 널 참조가 예외를 유발하기 전에 이를 감지할 수 있도록 런타임 체크를 삽입하기 위해 소스 코드 변환을 사용한다.
• 처리된 널 포인터 예외와 처리되지 않은 널 포인터 예외를 구분하기 위해 시도-포괄 블록의 동적 스택 모델을 유지하며, 오직 처리되지 않은 예외만 유해한 것으로 간주하여 분석에 집중한다.
• 9가지의 별도된 복구 전략을 구현: 네 가지는 객체 삽입(로컬/글로벌, 재사용/신규), 네 가지는 건너뛰기(문장/메서드), 하나는 기본값 반환.
• 해당 널 참조의 맥락에 따라 런타임 시 동적으로 전략을 구성하고 활성화한다.
• 감지 로직 삽입 및 복구 메커니즘에 연결하기 위해 자바 소스 코드에 코드 변환을 적용한다.
• 평가에서는 오픈소스 프로젝트에서 기록된 11개의 실제 현장 NPE와 519개의 인위적으로 삽입된 NPE를 대상으로, 모든 널 체크를 제거하고 테스트 스킴을 실행한다.

실험 결과

연구 질문

• RQ1 응용 프로그램이 충돌하는 것을 방지하기 위해 구성 가능한 실행 전략을 사용하여 널 포인터 예외의 자동 런타임 복구가 가능한가?
• RQ2 제안된 9가지 복구 전략 중에서 객체 삽입, 문장 건너뛰기, 또는 메서드 건너뛰기 중 어떤 것이 실제 환경에서 가장 효과적인가?
• RQ3 NPEFix 접근법은 인위적으로 삽입된 실패에 비해 실제 현장에서 보고된 널 포인터 예외 복구에 얼마나 효과적인가?
• RQ4 복구 전략이 이후 런타임 오류를 유발하는 정도는 어느 정도이며, 이는 복구된 상태에서 잠재적인 불안정성을 시사하는가?

주요 결과

• NPEFix는 실제 현장에서 보고된 널 포인터 예외 11개 중 10개를 성공적으로 복구하여 높은 실용적 적용 가능성을 입증했다.
• 인위적 실패 평가에서 NPEFix는 519개의 널 참조 실패 중 318개를 복구하여 복구 성공률 61.3%를 기록했다.
• 메서드 수준의 건너뛰기가 가장 효과적인 전략으로 나타났으며, 현장 버그 11개 중 9개, 인위적 실패 519개 중 210개를 복구했다.
• 기존에 호환 가능한 객체를 로컬 또는 글로벌로 삽입하는 전략은 효과적이었으며, 글로벌 삽입은 다양한 코드베이스에서 더 넓은 적용 가능성을 보였다.
• 사용 가능한 호환 가능한 기존 객체가 없을 경우 새로 생성된 객체를 삽입하는 전략(S2a/S2b)은 유의미한 대체 전략이 되었다.
• 복구 성공에도 불구하고, 519개의 인위적 실패 중 104개는 복구 후에도 이후 런타임 오류를 일으켜 일부 경우에 복구된 상태에서 잠재적 불안정성을 시사했다.