corrected memory symbolic execution
improved the parser
corrected registers taint analysis
improved the parser to handle the signedness of operands