Detecting insecure code patterns in industrial robot programs