Fixes for AbsRegion and jump table index slicing involving global variable (#695)
authorXiaozhu Meng <mxz297@gmail.com>
Thu, 23 Jan 2020 21:10:02 +0000 (15:10 -0600)
committerTim Haines <thaines.astro@gmail.com>
Thu, 23 Jan 2020 21:10:02 +0000 (15:10 -0600)
commita0afdbb7993cb046edf404d556e32b4ead2374b7
treef9afadcb64b0556bfb4a491b27141a3a9bdc4920
parentd233ae7596cd74201d634c2f0f7d7a0e3d628e79
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
dataflowAPI/src/AbslocInterface.C
parseAPI/src/SymbolicExpression.C