NEUZZ Efficient Fuzzing with Neural Program Smoothing