Acknowledgement
이 논문은 2025년도 정부(과학기술정보통신부)의 재원으로 정보통신기획평가원의 지원(No. RS-2024-00337414, SW공급망 운영 환경에서 역공학 한계를 넘어서는 자동화된 마이크로 보안 패치 기술 개발)과 한국산업기술기획평가원의 지원(No. RS-2024-00406121, 자동차보안취약점기반위협분석시스템개발(R&D))을 받아 수행된 연구 결과임.
Annual Conference of KIPS (한국정보처리학회:학술대회논문집)
- 2025.11a
- /
- Pages.235-236
- /
- 2025
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
Comparative Study of Feedback Mechanisms for ROS2 Fuzzing
ROS2 퍼징을 위한 피드백 메커니즘 비교 연구
- Giwon Kang (Dept. of AI, Gachon University) ;
- Hyunyoung Oh (Dept. of AI, Gachon University)
- Published : 2025.11.06
Abstract
퍼징(fuzzing)은 자동으로 입력을 생성·투입해 프로그램의 예외나 취약 동작을 찾아내는 검증 기법으로, 전통적으로는 코드 커버리지를 피드백으로 활용한 그레이박스 퍼징이 주류를 이루어왔다. 본 논문은 ROS2 환경을 대상으로 제안된 여러 퍼저(fuzzer)의 피드백 메커니즘을 정리하고 비교한다. 코드 커버리지, 물리·시맨틱 기반 오라클, 메시지 특성, 콜백 및 라이프사이클 기반 피드백 등 다양한 접근법을 검토하고, 각 방식의 장단점과 한계를 논의한 후, 이를 개선한 새로운 퍼징 도구 개발의 필요성에 대해 논의한다.
Keywords