Neural Software Analysis