Maybe it's a bug? I symbolized 15 SymVars, but in the end it could only solve 13 ones.

[Pisces032]

I was trying to solve a CTF problem. After I symbolized 15 SymVars, I set a breakpoint at the final branch to solve the flag. But it can only solve and show 13 SymVars, and the left two seemed to disapper?











Here is the problem.
网鼎杯signal.zip

[illera88]

Hi @Pisces032

Thank you for reporting this issue. Unfortunately I don't have much time to check this out at the moment...

@0ca do you happen to have a chance to take a look at this issue?

[1392081456]

I have same problem !

[copythere]

0xF bro