[DynInst_API:] [dyninst/dyninst] eedef3: Various fixes for jump table analysis 1. add instr...


Date: Mon, 13 Jun 2016 15:16:26 -0700
From: John Detter <jdetter@xxxxxxxx>
Subject: [DynInst_API:] [dyninst/dyninst] eedef3: Various fixes for jump table analysis 1. add instr...
  Branch: refs/heads/VEX
  Home:   https://github.com/dyninst/dyninst
  Commit: eedef36d46ae5a21c0f189ad2d9393b8391ef2b1
      https://github.com/dyninst/dyninst/commit/eedef36d46ae5a21c0f189ad2d9393b8391ef2b1
  Author: Xiaozhu Meng <xmeng@xxxxxxxxxxx>
  Date:   2016-06-10 (Fri, 10 Jun 2016)

  Changed paths:
    M dataflowAPI/rose/x86_64InstructionSemantics.h
    M parseAPI/src/BoundFactCalculator.C
    M parseAPI/src/BoundFactData.C
    M parseAPI/src/BoundFactData.h
    M parseAPI/src/IndirectASTVisitor.C
    M parseAPI/src/IndirectASTVisitor.h
    M parseAPI/src/IndirectAnalyzer.C
    M parseAPI/src/JumpTablePred.C

  Log Message:
  -----------
  Various fixes for jump table analysis 1. add instruction semantics for conditional moves 2. correctly distinguish zero extended memory read from sign extended memory read 3. ignore variable size when tracking variable aliasing 4. more precise bound tracking for sub instruction


  Commit: 1c10fbad5e794eb8e1034a3f7d153b562d39d39f
      https://github.com/dyninst/dyninst/commit/1c10fbad5e794eb8e1034a3f7d153b562d39d39f
  Author: Xiaozhu Meng <xmeng@xxxxxxxxxxx>
  Date:   2016-06-10 (Fri, 10 Jun 2016)

  Changed paths:
    M parseAPI/src/BoundFactCalculator.C
    M parseAPI/src/BoundFactData.C
    M parseAPI/src/BoundFactData.h
    M parseAPI/src/IndirectASTVisitor.C
    M parseAPI/src/IndirectASTVisitor.h
    M parseAPI/src/IndirectAnalyzer.C
    M parseAPI/src/JumpTablePred.C
    M parseAPI/src/JumpTablePred.h

  Log Message:
  -----------
  Stop slicing when we are sure an indirect jump is not a jump table


  Commit: 4e5f3ceb69d2b6780747cf1c86c0ab77915fbca8
      https://github.com/dyninst/dyninst/commit/4e5f3ceb69d2b6780747cf1c86c0ab77915fbca8
  Author: Xiaozhu Meng <xmeng@xxxxxxxxxxx>
  Date:   2016-06-10 (Fri, 10 Jun 2016)

  Changed paths:
    M dyninstAPI/src/addressSpace.C
    M dyninstAPI/src/addressSpace.h
    M parseAPI/h/CFGModifier.h
    M parseAPI/h/CodeSource.h
    M parseAPI/h/InstructionSource.h
    M parseAPI/src/BoundFactData.C
    M parseAPI/src/IndirectASTVisitor.C
    M parseAPI/src/IndirectAnalyzer.C
    M parseAPI/src/JumpTablePred.C
    M parseAPI/src/SymtabCodeSource.C

  Log Message:
  -----------
  Jump tables should be only in read only sections


  Commit: e6adc0d5e615bfb62e46b04e95156e1bc8caef87
      https://github.com/dyninst/dyninst/commit/e6adc0d5e615bfb62e46b04e95156e1bc8caef87
  Author: Xiaozhu Meng <xmeng@xxxxxxxxxxx>
  Date:   2016-06-12 (Sun, 12 Jun 2016)

  Changed paths:
    M parseAPI/src/IndirectASTVisitor.C

  Log Message:
  -----------
  Only check the outer most memory reads for jump table format


  Commit: 50d65e92cc9184383bba02323504a1e185b16f42
      https://github.com/dyninst/dyninst/commit/50d65e92cc9184383bba02323504a1e185b16f42
  Author: Xiaozhu Meng <xmeng@xxxxxxxxxxx>
  Date:   2016-06-13 (Mon, 13 Jun 2016)

  Changed paths:
    M common/h/entryIDs.h
    M common/src/arch-x86.C
    M common/src/arch-x86.h

  Log Message:
  -----------
  Merge branch 'VEX' of github.com:dyninst/dyninst


  Commit: 015ce98dc4be967b87d89692f6b0e3eae0ac55d4
      https://github.com/dyninst/dyninst/commit/015ce98dc4be967b87d89692f6b0e3eae0ac55d4
  Author: Xiaozhu Meng <xmeng@xxxxxxxxxxx>
  Date:   2016-06-13 (Mon, 13 Jun 2016)

  Changed paths:
    M common/src/arch-x86.C

  Log Message:
  -----------
  Merge branch 'VEX' of github.com:dyninst/dyninst


  Commit: fadbfef16f078c7ed58a85bacb2a5bb82b8ca3d7
      https://github.com/dyninst/dyninst/commit/fadbfef16f078c7ed58a85bacb2a5bb82b8ca3d7
  Author: John Detter <jdetter@xxxxxxxx>
  Date:   2016-06-13 (Mon, 13 Jun 2016)

  Changed paths:
    M common/src/arch-x86.C

  Log Message:
  -----------
  Instruction movlsq->movsx mnumonic and operand fix


  Commit: 30530563241960ca82e35b3087daeb8e9b8f44ea
      https://github.com/dyninst/dyninst/commit/30530563241960ca82e35b3087daeb8e9b8f44ea
  Author: John Detter <jdetter@xxxxxxxx>
  Date:   2016-06-13 (Mon, 13 Jun 2016)

  Changed paths:
    M common/src/arch-x86.C

  Log Message:
  -----------
  Merge branch 'VEX' of http://github.com/dyninst/dyninst into VEX


Compare: https://github.com/dyninst/dyninst/compare/dd46a98cd2ac...305305632419
[← Prev in Thread] Current Thread [Next in Thread→]