본 논문은 인터럽트 기반 프로그램에서 원자성 위반을 검출하기 위한 하이브리드 프레임워크인 Clover를 제안한다. Clover는 정적 분석과 대규모 언어 모델(LLM) 에이전트를 통합하여 공유 자원에 대한 연산의 실행 순서가 비동기 인터럽트에 의해 방해받는 원자성 위반을 검출한다. 정적 분석을 통해 중요 코드 조각과 연산 정보를 추출하고, 전문가 에이전트는 도메인 특화 지식을 활용하여 원자성 위반을 검출하며, 판사 에이전트는 이를 검증한다. RaceBench 2.1, SV-COMP, RWIP에 대한 평가 결과, Clover는 92.3%/86.6%의 정밀도/재현율을 달성하여 기존 접근 방식보다 F1 점수 기준 27.4-118.2% 향상된 성능을 보였다.
