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

Feature Request: Assign a name to symbolized memory #64

Closed stackpivot closed 4 years ago

stackpivot commented 7 years ago

When symbolizing multiple memory sections, it becomes quite hard to interpret the solution.

It would be great to assign the symbolized memory sections to a name and printing this with the solution as well. Additionally, it would be great that symbolized memory sections which do not need manipulation is printed out and somehow highlighted in the solution output as well.

illera88 commented 4 years ago

No you can add comments to all the symbolic variables in the Ponce Symbolic Variables window