Detecting Insecure Code Patterns in Industrial Robot Programs