Key points are not available for this paper at this time.
FindBugs는 Java 프로그램에서 버그를 찾습니다. 이는 버그 패턴의 개념에 기반합니다. 버그 패턴은 종종 오류인 코드 관용구입니다. 버그 패턴은 어려운 언어 기능, 오해된 API 의미, 유지보수 중 코드 수정 시 오해된 불변 조건, 일반적인 실수: 오타, 잘못된 불리언 연산자 사용 및 간단한 실수와 같은 다양한 이유로 발생합니다. FindBugs는 정적 분석을 사용하여 Java 바이트코드를 검사하고 버그 패턴의 발생 여부를 확인합니다. 우리는 FindBugs가 대부분의 Java 소프트웨어에서 실제 오류를 발견한다는 것을 알게 되었습니다. 분석이 때때로 부정확하기 때문에 FindBugs는 실제 오류를 나타내지 않는 경고인 잘못된 경고를 보고할 수 있습니다. 실제로 FindBugs가 보고하는 잘못된 경고의 비율은 일반적으로 50% 미만이며, 종종 훨씬 낮습니다.
Cole et al. (Sun,)은 이 질문을 연구했습니다.