REIL code only. :-(<p>With no free/open-source x86-->REIL translator, this is not as exciting as I was hoping it is.<p>Good luck with it though. Am a bit disappointed as I can't test it right away.
<i>The tool founds it is solvable if the user controls the initial value of a local variable (which is usually not possible)</i><p>The initial value of a local variable can be controlled if you can control the final value of a local value in a previously called function that happens to wind up at the same point on the stack, if that local variable is not explicitly initialized.