首页>
外国专利>
Branch coverage guided symbolic execution for hybrid fuzz testing of software binaries
Branch coverage guided symbolic execution for hybrid fuzz testing of software binaries
展开▼
机译:分支覆盖率指导符号执行,用于软件二进制文件的混合模糊测试
展开▼
页面导航
摘要
著录项
相似文献
摘要
According to some examples, computer-implemented methods for branch coverage guided symbolic execution for hybrid fuzzing are described. An example computer-implemented method may include receiving a seed input of a binary program under analysis (BPUA) that is discovered during testing by a greybox fuzzer. The method may also include concretely executing the seed input in the BPUA, and collecting a trace resulting from the concrete execution of the seed input. The method may further include determining whether the concrete execution of the seed input discovers a new branch. The method may include, responsive to a determination that the concrete execution of the seed input discovers a new branch, updating a bitmap to indicate that the new branch is discovered, wherein the bitmap is utilized by the greybox fuzzer to maintain a record of discovered branches in BPUA, and providing the seed input to the greybox fuzzer.
展开▼