[DynInst_API:] [dyninst/dyninst] 350c4f: 1. When converting AbsRegion, PC on x86/64 should ...

[Xiaozhu Meng <noreply@xxxxxxxxxx>]

  Branch: refs/heads/jump_table_fixes
  Home:   https://github.com/dyninst/dyninst
  Commit: 350c4f0fd8051028f53f6904aa1a39dfe979e3d9
      https://github.com/dyninst/dyninst/commit/350c4f0fd8051028f53f6904aa1a39dfe979e3d9
  Author: Xiaozhu Meng <mxz297@xxxxxxxxx>
  Date:   2020-01-18 (Sat, 18 Jan 2020)

  Changed paths:
    M dataflowAPI/src/AbslocInterface.C
    M parseAPI/src/SymbolicExpression.C

  Log Message:
  -----------
  1. When converting AbsRegion, PC on x86/64 should use post-instruction address
2. During jump table index slicing, we should only read read-only memory locations.
   Note that we still allow reading writable memory locations during jump table reads
   as jump tables may be put in writable sections by compilers