可能原因是我们filter掉了history相同的path，
history中默认是不包含dispatcher地址的
但是偏偏有些路径依靠最后一跳来决定跳到哪里，导致路径被过滤
丢路径的原因1是重复路径过滤的时候过滤掉了结尾的dispatcher跳转（我也不知道为啥当时我要过滤一遍）
丢路径的原因2是因为有些路径ULT和SLT搞混了，被意外判断为unsat
原因2已查明是angr代码问题，已汇报给angr
MD5 - PPC O3
Created
Apr 2, 2020 09:21 PM
Status
已解决
样本
md5_ppc_o3
错误类型
丢路径
位置
md5函数
Property
Property 1