Undefined value in ESIL

radareorg / radare2

UNIX-like reverse engineering framework and command-line toolset

https://www.radare.org/

GNU Lesser General Public License v3.0

20.63k stars 3k forks source link

Undefined value in ESIL #10695

Open radare opened 6 years ago

radare commented 6 years ago

How will the undef (implementation defined) flags represented in esil.
For example, in X86 instruction, andn,  the pf flag is undefined. 
In the corresponding esil, should we expect the flag to be unmodified or set with an particular value. As we know all the behaviors are correct as per the manual.

Also problem solvers have similar concept for preconditions, will be good to have such magic value in ESIL too

stale[bot] commented 4 years ago

This issue has been automatically marked as stale because it has not had recent activity. Considering a lot has changed since its creation, we kindly ask you to check again if the issue you reported is still relevant in the current version of radare2. If it is, update this issue with a comment, otherwise it will be automatically closed if no further activity occurs. Thank you for your contributions.