用afl玩超级玛丽：通过Fuzzing探索程序空间状态以发现更多执行路径