Cythzzzz
Results
1
comments of
Cythzzzz
我遇到的情况是这样的，以JLE指令为例，它的pcode如下： 0x000011e3: JLE 0x11c4 (unique,0xd000,1) = INT_NOTEQUAL OF, SF (unique,0xd100,1) = BOOL_OR ZF, (unique,0xd000,1) CBRANCH qword_ptr(0x000011c4), (unique,0xd100,1) ZF的比较结果是存在tmp变量中的，在processConstraints中从inOutEnv中获取不到，导致即便在条件不满足的情况下，0x11c4这个基本块也一直在遍历，因此我觉得可能要传入tmpEnv来获取(unique,0xd100,1)。可能这是一种比较粗暴的做法。 如果不应该传入tmpEnv的话，请问还有什么别的方法解决0x11c4被重复遍历吗？