Introduction on Doing a Symbolic Execution
symflower.com