search

sushant94 / rune

rune - radare2 based symbolic emulator
Apache License 2.0
26 stars 5 forks source link

Symbolic memory access #2

Closed sushant94 closed 8 years ago

sushant94 commented 8 years ago

Add support for symbolic memory access in rune.

One simple way to solve this issue is to solve for the symbolic variable and spawn an instance of rune to work on each of these solutions.

sushant94 commented 8 years ago

Done as a side-effect of a different architecture.