[DynInst_API:] [dyninst/dyninst] ae5df2: Merge branch 'arm64/feature/semantics_roseconvert'


Date: Mon, 27 Jun 2016 15:01:42 -0700
From: Sunny Shah <shah28@xxxxxxxx>
Subject: [DynInst_API:] [dyninst/dyninst] ae5df2: Merge branch 'arm64/feature/semantics_roseconvert'
  Branch: refs/heads/arm64/feature/semantics_importnew
  Home:   https://github.com/dyninst/dyninst
  Commit: ae5df2f421f85e049a9ee7b4be6851ee9be9d381
      https://github.com/dyninst/dyninst/commit/ae5df2f421f85e049a9ee7b4be6851ee9be9d381
  Author: Sunny Shah <shah28@xxxxxxxx>
  Date:   2016-06-15 (Wed, 15 Jun 2016)

  Changed paths:
    M common/src/dyn_regs.C
    A dataflowAPI/rose/RegisterDescriptor.h
    A dataflowAPI/rose/SgAsmArmv8Instruction.h
    M dataflowAPI/rose/SgAsmExpression.h
    M dataflowAPI/rose/SgAsmInstruction.h
    M dataflowAPI/rose/SgAsmOperandList.h
    M dataflowAPI/rose/SgAsmType.h
    M dataflowAPI/rose/conversions.h
    M dataflowAPI/rose/integerOps.h
    A dataflowAPI/rose/util/Assert.C
    A dataflowAPI/rose/util/Assert.h
    A dataflowAPI/rose/util/BitVector.h
    A dataflowAPI/rose/util/BitVectorSupport.h
    A dataflowAPI/rose/util/Interval.h
    A dataflowAPI/rose/util/Map.h
    A dataflowAPI/rose/util/Message.C
    A dataflowAPI/rose/util/Message.h
    A dataflowAPI/rose/util/Optional.h
    A dataflowAPI/rose/util/Sawyer.C
    A dataflowAPI/rose/util/Sawyer.h
    A dataflowAPI/rose/util/SharedPointer.h
    A dataflowAPI/rose/util/Synchronization.C
    A dataflowAPI/rose/util/Synchronization.h
    A dataflowAPI/rose/util/WarningsOff.h
    A dataflowAPI/rose/util/WarningsRestore.h
    M dataflowAPI/src/ExpressionConversionVisitor.C
    M dataflowAPI/src/RoseImpl.C
    M dataflowAPI/src/RoseInsnFactory.C
    M dataflowAPI/src/RoseInsnFactory.h
    M dataflowAPI/src/convertOpcodes.C
    A external/rose/armv8InstructionEnum.h
    M external/rose/rose-compat.h
    A external/variantComparer.py
    M parseAPI/CMakeLists.txt

  Log Message:
  -----------
  Merge branch 'arm64/feature/semantics_roseconvert'


  Commit: 558227822b7c7e185a4e1b08dbd62322567c24fe
      https://github.com/dyninst/dyninst/commit/558227822b7c7e185a4e1b08dbd62322567c24fe
  Author: Sunny Shah <shah28@xxxxxxxx>
  Date:   2016-06-27 (Mon, 27 Jun 2016)

  Changed paths:
    A dataflowAPI/rose/ExtentMap.C
    A dataflowAPI/rose/ExtentMap.h
    M dataflowAPI/rose/SgAsmExpression.h
    M dataflowAPI/rose/SgAsmInstruction.h
    M dataflowAPI/rose/SgAsmType.h
    M dataflowAPI/rose/SgAsmx86Instruction.h
    M dataflowAPI/rose/conversions.h
    A dataflowAPI/rose/rangemap.C
    A dataflowAPI/rose/rangemap.h
    A dataflowAPI/rose/semantics/BaseSemantics2.C
    A dataflowAPI/rose/semantics/BaseSemantics2.h
    A dataflowAPI/rose/semantics/BinarySymbolicExpr.C
    A dataflowAPI/rose/semantics/BinarySymbolicExpr.h
    A dataflowAPI/rose/semantics/ByteOrder.C
    A dataflowAPI/rose/semantics/ByteOrder.h
    A dataflowAPI/rose/semantics/ConcreteSemantics2.C
    A dataflowAPI/rose/semantics/ConcreteSemantics2.h
    A dataflowAPI/rose/semantics/DispatcherARM64.C
    A dataflowAPI/rose/semantics/DispatcherARM64.h
    A dataflowAPI/rose/semantics/MemoryMap.C
    A dataflowAPI/rose/semantics/MemoryMap.h
    A dataflowAPI/rose/semantics/RegisterParts.C
    A dataflowAPI/rose/semantics/RegisterParts.h
    A dataflowAPI/rose/semantics/RegisterStateGeneric.C
    A dataflowAPI/rose/semantics/RegisterStateGeneric.h
    A dataflowAPI/rose/semantics/Registers.C
    A dataflowAPI/rose/semantics/Registers.h
    A dataflowAPI/rose/semantics/SMTSolver.C
    A dataflowAPI/rose/semantics/SMTSolver.h
    A dataflowAPI/rose/util/Access.h
    A dataflowAPI/rose/util/AddressMap.h
    A dataflowAPI/rose/util/AddressSegment.h
    A dataflowAPI/rose/util/AllocatingBuffer.h
    A dataflowAPI/rose/util/Attribute.C
    A dataflowAPI/rose/util/Attribute.h
    A dataflowAPI/rose/util/BiMap.h
    A dataflowAPI/rose/util/Buffer.h
    A dataflowAPI/rose/util/Callbacks.h
    A dataflowAPI/rose/util/Combinatorics.C
    A dataflowAPI/rose/util/Combinatorics.h
    A dataflowAPI/rose/util/Exception.h
    A dataflowAPI/rose/util/FileSystem.C
    A dataflowAPI/rose/util/FileSystem.h
    A dataflowAPI/rose/util/FormatRestorer.h
    A dataflowAPI/rose/util/IntervalMap.h
    A dataflowAPI/rose/util/IntervalSet.h
    A dataflowAPI/rose/util/IntervalSetMap.h
    A dataflowAPI/rose/util/LinearCongruentialGenerator.C
    A dataflowAPI/rose/util/LinearCongruentialGenerator.h
    A dataflowAPI/rose/util/MappedBuffer.h
    A dataflowAPI/rose/util/NullBuffer.h
    A dataflowAPI/rose/util/PoolAllocator.h
    A dataflowAPI/rose/util/Set.h
    M dataflowAPI/rose/util/SharedPointer.h
    A dataflowAPI/rose/util/SmallObject.C
    A dataflowAPI/rose/util/SmallObject.h
    A dataflowAPI/rose/util/StaticBuffer.h
    A dataflowAPI/rose/util/Stopwatch.C
    A dataflowAPI/rose/util/Stopwatch.h
    A dataflowAPI/rose/util/StringUtility.C
    A dataflowAPI/rose/util/StringUtility.h
    A dataflowAPI/rose/util/rose_getline.C
    A dataflowAPI/rose/util/rose_getline.h
    A dataflowAPI/rose/util/rose_strtoull.C
    A dataflowAPI/rose/util/rose_strtoull.h
    M dataflowAPI/src/RoseImpl.C
    A external/rose/rose_msvc.h
    M parseAPI/CMakeLists.txt

  Log Message:
  -----------
  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.


Compare: https://github.com/dyninst/dyninst/compare/ae5df2f421f8^...558227822b7c
[← Prev in Thread] Current Thread [Next in Thread→]
  • [DynInst_API:] [dyninst/dyninst] ae5df2: Merge branch 'arm64/feature/semantics_roseconvert', Sunny Shah <=