Abstract: The cybersecurity threats targeting industrial control systems (ICS) are evolving with increasing sophistication. Addressing the detection blind spots in existing source code analysis ...