PLC（可编程逻辑控制器）程序能检查的内容主要包括以下几个方面：
指令检查：
PLC编程软件可以对程序中的指令进行检查，确保指令的正确性和完整性。
梯形图检查：
梯形图是PLC编程中常用的图形化表示方法，编程软件可以对梯形图进行检查，确保其逻辑正确和符合规范。
软元件检查：
软元件是指PLC中的存储器、寄存器、计数器、定时器等，编程软件可以对软元件进行检查，确保其配置和使用正确。
开关量检查：
PLC程序通常涉及大量的开关量输入和输出，编程软件可以对开关量的状态进行检查，确保其正确反映实际设备的状态。
模拟量检查：
对于涉及模拟量处理的程序，编程软件还可以对模拟量的输入、输出和转换进行检查，确保其准确性和稳定性。
双线圈检查：
双线圈是指PLC中用于控制输出回路的元件，编程软件可以对双线圈进行检查，确保其配置和使用正确。
光电耦合器检查：
光电耦合器用于在PLC控制系统中实现信号的隔离和转换，编程软件可以对光电耦合器的状态进行检查，确保其正常工作。
网络通信检查：
对于涉及网络通信的PLC程序，编程软件可以对网络通信状态进行检查，确保数据传输的稳定和可靠。
地址错误检查：
PLC中的每个设备都有其特定的地址，编程软件可以对程序中的地址使用进行检查，确保没有错误的引用或超出范围的地址。
硬件错误检查：
编程软件还可以检查程序中与硬件相关的错误，例如与PLC通信模块连接错误、IO模块接线错误等。
语法错误检查：
PLC编程软件可以对程序中的语法错误进行检查，如拼写错误、标点符号错误、缺少或多余的括号等。
逻辑错误检查：
编程软件可以检查程序中的逻辑错误，如错误的元件命名、逻辑越界、逻辑冲突等。
数据类型错误检查：
编程软件可以检查程序中的数据类型错误，确保变量使用正确的数据类型，避免数据溢出或类型转换错误。
通过这些检查，PLC编程软件可以帮助工程师及时发现和修正错误，确保程序在PLC设备上正常运行，提高系统的可靠性和稳定性。