PLC-Defuser: Detecting hidden Ladder Logic Bombs in PLCs via Control Flow Graph and model checking

Researchers have developed PLC-Defuser, a tool that detects hidden malicious code (logic bombs, which are programmed instructions designed to execute harmful actions when triggered) in PLCs (programmable logic controllers, computers used to automate industrial equipment like factory machinery). The tool uses control flow graphs (visual maps showing how a program's instructions connect and execute) and model checking (automated verification that tests whether software meets safety properties) to find these threats before they can cause damage.