Visible to the public Detecting Semantic Bugs in Autopilot Software by Classifying Anomalous Variables