Enable symbolic evaluation on x86 64-bit binaries
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Sat, 17 May 2014 17:05:33 +0000 (12:05 -0500)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Sat, 17 May 2014 17:05:33 +0000 (12:05 -0500)
commita850bef1c09a870de456dae3cfe3962d32c7cc1a
treeea2eb003866f89017a30b39dbf262e7c5b34dec8
parenta689e4ba99229490d0e0aadb2eb6e98e2c53a937
Enable symbolic evaluation on x86 64-bit binaries
20 files changed:
common/src/dyn_regs.C
dataflowAPI/h/SymEval.h
dataflowAPI/h/slicing.h
dataflowAPI/rose/x86InstructionSemantics.h
dataflowAPI/src/AbslocInterface.C
dataflowAPI/src/ExpressionConversionVisitor.C
dataflowAPI/src/RoseImpl.C
dataflowAPI/src/RoseInsnFactory.C
dataflowAPI/src/RoseInsnFactory.h
dataflowAPI/src/SymEval.C
dataflowAPI/src/SymEvalPolicy.C
dataflowAPI/src/SymEvalPolicy.h
dataflowAPI/src/SymbolicExpansion.C
dataflowAPI/src/SymbolicExpansion.h
dataflowAPI/src/slicing.C
external/rose/rose-compat.h
instructionAPI/src/InstructionDecoder-x86.C
parseAPI/src/Parser.C
parseAPI/src/SymtabCodeSource.C
symtabAPI/src/Object-elf.C