Abstract: This paper provides an overview of Programmable Logic Controllers (PLCs) and discusses the importance of static analysis for PLC software, highlighting its benefits and challenges. It ...