Neutain't Efficient Dynamic Tain't Analysis with Neural Networks