Florian Angerer, Herbert Prähofer, Rudolf Ramler, Friedrich Grillenberger. Points-to analysis of IEC 61131-3 programs: Implementation and application. In Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013. pages 1-8, IEEE, 2013. [doi]
Abstract is missing.