POSIX 셸 분석을 주제로 한 POPL 2026 튜토리얼에서는 셸 스크립트의 이중 모드 의미론, 블랙박스 명령어 조합, 그리고 동적 특성 등 셸만의 독특한 특성에 집중하여 연구 및 실용적 도구 개발 방법을 소개합니다.

이 튜토리얼은 셸 스크립트의 정적 및 동적 분석 기법을 결합해, 실제 환경에서 발생할 수 있는 치명적인 오류(예: rm 명령어 관련 버그)를 탐지하는 도구를 만드는 과정을 다룹니다.

강의 자료와 소스 코드는 GitHub에 공개되어 있으며, 영상 강의도 제공되어 있어 개발자와 연구자가 셸 스크립트 분석 및 CI/CD 관련 연구에 실용적으로 활용할 수 있습니다.