Initial SymEval prototype; stack analysis fixes to handle destroyed stack frames.
authorAndrew Bernat <bernat@brie.cs.wisc.edu>
Tue, 2 Mar 2010 19:26:39 +0000 (13:26 -0600)
committerAndrew Bernat <bernat@brie.cs.wisc.edu>
Tue, 2 Mar 2010 19:27:55 +0000 (13:27 -0600)
commitcd39a7339551f49885bb7e4b9fad679026818560
tree86efdbf5f603dad76e12287843d4a8eff89e3f28
parentb71156bb20f6b14c3226ea0d4ec6f9aafd35a324
Initial SymEval prototype; stack analysis fixes to handle destroyed stack frames.
45 files changed:
Makefile
common/make.module.tmpl
common/src/AST.C [new file with mode: 0644]
common/src/DOT.C
dyninstAPI/src/stackanalysis.C
dyninstAPI/src/stackanalysis.h
dynutil/h/AST.h [new file with mode: 0644]
instructionAPI/h/Instruction.h
instructionAPI/h/Register.h
instructionAPI/src/Instruction.C
instructionAPI/src/Register.C
symEval/h/Absloc.h [new file with mode: 0644]
symEval/h/AbslocInterface.h [new file with mode: 0644]
symEval/h/slicing.h [new file with mode: 0644]
symEval/make.module.tmpl [new file with mode: 0644]
symEval/rose/COPYRIGHT [new file with mode: 0644]
symEval/rose/SgAsmExpression.h [new file with mode: 0644]
symEval/rose/SgAsmInstruction.h [new file with mode: 0644]
symEval/rose/SgAsmOperandList.h [new file with mode: 0644]
symEval/rose/SgAsmType.h [new file with mode: 0644]
symEval/rose/SgAsmx86Instruction.h [new file with mode: 0644]
symEval/rose/SgNode.h [new file with mode: 0644]
symEval/rose/conversions.h [new file with mode: 0644]
symEval/rose/enums.h [new file with mode: 0644]
symEval/rose/integerOps.h [new file with mode: 0644]
symEval/rose/rose.h [new file with mode: 0644]
symEval/rose/semanticsModule.h [new file with mode: 0644]
symEval/rose/typedefs.h [new file with mode: 0644]
symEval/rose/x86InstructionSemantics-notemplate.h [new file with mode: 0644]
symEval/rose/x86InstructionSemantics.h [new file with mode: 0644]
symEval/src/Absloc.C [new file with mode: 0644]
symEval/src/AbslocInterface.C [new file with mode: 0644]
symEval/src/Operations.h [new file with mode: 0644]
symEval/src/RoseImpl.C [new file with mode: 0644]
symEval/src/SymEval.C [new file with mode: 0644]
symEval/src/SymEval.h [new file with mode: 0644]
symEval/src/SymEvalPolicy.C [new file with mode: 0644]
symEval/src/SymEvalPolicy.h [new file with mode: 0644]
symEval/src/convertOpcodes.C [new file with mode: 0644]
symEval/src/slicing.C [new file with mode: 0644]
symEval/tests/inst2ast/Makefile [new file with mode: 0644]
symEval/tests/inst2ast/foo.c [new file with mode: 0644]
symEval/tests/inst2ast/inst.txt [new file with mode: 0644]
symEval/tests/inst2ast/inst2ast.C [new file with mode: 0644]
symEval/x86_64-unknown-linux2.4/Makefile [new file with mode: 0644]