한 걸음 더 나아가기: 교차 플랫폼 역공학 및 함수 수준 의미론적 분석을 통한 PLC 바이너리 이해

요약

산업 제어 시스템(ICS) 보안을 위해 PLC 바이너리를 분석하는 새로운 워크플로우인 PLC-BinX를 제안합니다. 이 시스템은 이기종 플랫폼 간의 바이너리 형식을 극복하고 함수 수준의 의미론적 표현을 구축하여 툴체인 및 기능 예측을 수행합니다. 실험 결과, 툴체인 예측에서 100%의 성능을 보였으며 기능 예측에서도 유의미한 성과를 거두었습니다.

핵심 포인트

• PLC 바이너리 분석의 세 가지 주요 난제(이기종 형식, 얽힌 의미론, 제한된 표현력) 해결 시도
• CODESYS, GEB, OpenPLC 등 다양한 플랫폼을 지원하는 PLC-BinX 워크플로우 제시
• 교차 플랫폼 역공학 및 함수 수준의 의미론적 표현 구축 기술 포함
• 툴체인 예측 작업에서 정밀도, 재현율, F1 스코어 모두 100% 달성
• 22개 레이블에 대한 기능 예측을 통해 실질적인 분석 가능성 입증