摘要：总的来讲，AFL维护了一个队列(queue)，每次从这个队列中取出一个文件，对其进行大量变异，并检查运行后是否会引起目标崩溃、发现新路径等结果。变异的主要类型如下： bitflip，按位翻转，1变为0，0变为1 arithmetic，整数加/减算术运算 interest，把一些特殊内容替换到原文件中 阅读全文

摘要：1 afl 是什么？ American fuzzy lop 号称是当前最高级的Fuzzing 测试工具之一，由谷歌的Michal Zalewski 所开发。通过对源码进行重新编译时进行插桩（简称编译时插桩）的方式自动产生测试用例来探索二进制程序内部新的执行路径。与其他基于插桩技术的fuzzers 相 阅读全文

摘要：Walking byte flips: 这一方法的自然扩展是步行位翻转方法，该方法依赖于8、16或32位的宽位翻转，并使用一个字节的常量stepover。这一策略在每百万次输入中发现了大约30条额外路径，而在更短的比特翻转的情况下可能会触发这一策略。很明显，每个传递都需要一个输入文件的一个execv 阅读全文

摘要：0.设计说明(Design statement) American Fuzzy Lop 不关注任何单一的操作规则(singular principle of operation)，也不是一个针对任何特定理论的概念验证(proof of concept)。这个工具可以被认为是一系列在实践中测试过的ha 阅读全文

摘要：（部分转载） 遗传算法的手工模拟计算示例为更好地理解遗传算法的运算过程，下面用手工计算来简单地模拟遗传算法的各 个主要执行步骤。 例：求下述二元函数的最大值： (1) 个体编码 遗传算法的运算对象是表示个体的符号串，所以必须把变量 x1, x2 编码为一种 符号串。本题中，用无符号二进制整数来表示。 阅读全文