search

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

Starting Trace Part Way Through #71

Closed bannsec closed 4 years ago

bannsec commented 7 years ago

Starting your trace part way through execution doesn't appear to work. Example:

  1. Start program normally, execute past getting of user input
  2. Pause execution
  3. Start Ponce
  4. Make the input in memory symbolic
  5. Continue Tracing

Once you continue tracing it doesn't actually propagate or symbolize variables.

0ca commented 7 years ago

Hi, I think it's a bug but if you start Ponce before debugging it should work correctly.

Could you try that?

I will take a look the next days and fix it :)

bannsec commented 7 years ago

Yep. If I start ponce before debugging it works fine.

On Apr 17, 2017 01:05, "Francisco Oca" notifications@github.com wrote:

Hi, I think it's a bug but if you start Ponce before debugging it should work correctly.

Could you try that?

I will take a look the next days and fix it :)

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/illera88/Ponce/issues/71#issuecomment-294405803, or mute the thread https://github.com/notifications/unsubscribe-auth/AHR34DQEnD4WGr9pzrb905Q2739L4aK4ks5rwvMGgaJpZM4M-1E8 .

illera88 commented 4 years ago

Should be fixed on v0.3.

Thanks for reporting.