Posts

[Symbolic Execution 0x1] Modeling registers and setting constraints