Integration of ROSE's new semantics framework with Dyninst
authorSunny Shah <shah28@wisc.edu>
Mon, 27 Jun 2016 17:07:07 +0000 (12:07 -0500)
committerSunny Shah <shah28@wisc.edu>
Mon, 27 Jun 2016 17:07:07 +0000 (12:07 -0500)
commit558227822b7c7e185a4e1b08dbd62322567c24fe
tree0391ffb248adab12210dce090f55166e65017c7e
parentae5df2f421f85e049a9ee7b4be6851ee9be9d381
Integration of ROSE's new semantics framework with Dyninst

This commit brings in and sets up all the files required to use the new ROSE semantics framework from within Dyninst. The starting point for this was the src/midend/binaryAnalyses/instructionSemantics folder within ROSE's source tree. All the other files have been added because semantics directlyu or indirectly depends on them.

After adding the file to the Dyninst source, several changes may or may not have been made to it. Most of the changes revolve around updating the include paths and removing any macros used by ROSE but not required by Dyninst. Other minor changes have also been made based on build errors/warnings.

Currently, he build succeeds but with a ton of warnings. I've suppressed them for the time being.

By doing this, both old and new instruction semantics should ideally be able to co-exist, although this hasn't been tested yet.
68 files changed:
dataflowAPI/rose/ExtentMap.C [new file with mode: 0644]
dataflowAPI/rose/ExtentMap.h [new file with mode: 0644]
dataflowAPI/rose/SgAsmExpression.h
dataflowAPI/rose/SgAsmInstruction.h
dataflowAPI/rose/SgAsmType.h
dataflowAPI/rose/SgAsmx86Instruction.h
dataflowAPI/rose/conversions.h
dataflowAPI/rose/rangemap.C [new file with mode: 0644]
dataflowAPI/rose/rangemap.h [new file with mode: 0644]
dataflowAPI/rose/semantics/BaseSemantics2.C [new file with mode: 0644]
dataflowAPI/rose/semantics/BaseSemantics2.h [new file with mode: 0644]
dataflowAPI/rose/semantics/BinarySymbolicExpr.C [new file with mode: 0644]
dataflowAPI/rose/semantics/BinarySymbolicExpr.h [new file with mode: 0644]
dataflowAPI/rose/semantics/ByteOrder.C [new file with mode: 0644]
dataflowAPI/rose/semantics/ByteOrder.h [new file with mode: 0644]
dataflowAPI/rose/semantics/ConcreteSemantics2.C [new file with mode: 0644]
dataflowAPI/rose/semantics/ConcreteSemantics2.h [new file with mode: 0644]
dataflowAPI/rose/semantics/DispatcherARM64.C [new file with mode: 0644]
dataflowAPI/rose/semantics/DispatcherARM64.h [new file with mode: 0644]
dataflowAPI/rose/semantics/MemoryMap.C [new file with mode: 0644]
dataflowAPI/rose/semantics/MemoryMap.h [new file with mode: 0644]
dataflowAPI/rose/semantics/RegisterParts.C [new file with mode: 0644]
dataflowAPI/rose/semantics/RegisterParts.h [new file with mode: 0644]
dataflowAPI/rose/semantics/RegisterStateGeneric.C [new file with mode: 0644]
dataflowAPI/rose/semantics/RegisterStateGeneric.h [new file with mode: 0644]
dataflowAPI/rose/semantics/Registers.C [new file with mode: 0644]
dataflowAPI/rose/semantics/Registers.h [new file with mode: 0644]
dataflowAPI/rose/semantics/SMTSolver.C [new file with mode: 0644]
dataflowAPI/rose/semantics/SMTSolver.h [new file with mode: 0644]
dataflowAPI/rose/util/Access.h [new file with mode: 0644]
dataflowAPI/rose/util/AddressMap.h [new file with mode: 0644]
dataflowAPI/rose/util/AddressSegment.h [new file with mode: 0644]
dataflowAPI/rose/util/AllocatingBuffer.h [new file with mode: 0644]
dataflowAPI/rose/util/Attribute.C [new file with mode: 0644]
dataflowAPI/rose/util/Attribute.h [new file with mode: 0644]
dataflowAPI/rose/util/BiMap.h [new file with mode: 0644]
dataflowAPI/rose/util/Buffer.h [new file with mode: 0644]
dataflowAPI/rose/util/Callbacks.h [new file with mode: 0644]
dataflowAPI/rose/util/Combinatorics.C [new file with mode: 0644]
dataflowAPI/rose/util/Combinatorics.h [new file with mode: 0644]
dataflowAPI/rose/util/Exception.h [new file with mode: 0644]
dataflowAPI/rose/util/FileSystem.C [new file with mode: 0644]
dataflowAPI/rose/util/FileSystem.h [new file with mode: 0644]
dataflowAPI/rose/util/FormatRestorer.h [new file with mode: 0644]
dataflowAPI/rose/util/IntervalMap.h [new file with mode: 0644]
dataflowAPI/rose/util/IntervalSet.h [new file with mode: 0644]
dataflowAPI/rose/util/IntervalSetMap.h [new file with mode: 0644]
dataflowAPI/rose/util/LinearCongruentialGenerator.C [new file with mode: 0644]
dataflowAPI/rose/util/LinearCongruentialGenerator.h [new file with mode: 0644]
dataflowAPI/rose/util/MappedBuffer.h [new file with mode: 0644]
dataflowAPI/rose/util/NullBuffer.h [new file with mode: 0644]
dataflowAPI/rose/util/PoolAllocator.h [new file with mode: 0644]
dataflowAPI/rose/util/Set.h [new file with mode: 0644]
dataflowAPI/rose/util/SharedPointer.h
dataflowAPI/rose/util/SmallObject.C [new file with mode: 0644]
dataflowAPI/rose/util/SmallObject.h [new file with mode: 0644]
dataflowAPI/rose/util/StaticBuffer.h [new file with mode: 0644]
dataflowAPI/rose/util/Stopwatch.C [new file with mode: 0644]
dataflowAPI/rose/util/Stopwatch.h [new file with mode: 0644]
dataflowAPI/rose/util/StringUtility.C [new file with mode: 0644]
dataflowAPI/rose/util/StringUtility.h [new file with mode: 0644]
dataflowAPI/rose/util/rose_getline.C [new file with mode: 0644]
dataflowAPI/rose/util/rose_getline.h [new file with mode: 0644]
dataflowAPI/rose/util/rose_strtoull.C [new file with mode: 0644]
dataflowAPI/rose/util/rose_strtoull.h [new file with mode: 0644]
dataflowAPI/src/RoseImpl.C
external/rose/rose_msvc.h [new file with mode: 0644]
parseAPI/CMakeLists.txt