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

illera88 / Ponce

IDA 2016 plugin contest winner! Symbolic Execution just one-click away!

https://docs.idaponce.com

Other

1.48k stars 72 forks source link

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

Open Pisces032 opened 6 months ago

Pisces032 commented 6 months ago

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 commented 6 months ago

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?