[DynInst_API:] [dyninst/dyninst] a0afdb: Fixes for AbsRegion and jump table index slicing i...

[Xiaozhu Meng <noreply@xxxxxxxxxx>]

  Branch: refs/heads/master
  Home:   https://github.com/dyninst/dyninst
  Commit: a0afdbb7993cb046edf404d556e32b4ead2374b7
      https://github.com/dyninst/dyninst/commit/a0afdbb7993cb046edf404d556e32b4ead2374b7
  Author: Xiaozhu Meng <mxz297@xxxxxxxxx>
  Date:   2020-01-23 (Thu, 23 Jan 2020)

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

  Log Message:
  -----------
  Fixes for AbsRegion and jump table index slicing involving global variable (#695)

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