9.4.4 梯形图编程语言安全分析方法