Angora Efficient Fuzzing by Principled Search