Branch: refs/heads/jump_table_fixes
Home: https://github.com/dyninst/dyninst
Commit: 350c4f0fd8051028f53f6904aa1a39dfe979e3d9
https://github.com/dyninst/dyninst/commit/350c4f0fd8051028f53f6904aa1a39dfe979e3d9
Author: Xiaozhu Meng <mxz...@gmail.com>
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
_______________________________________________
Dyninst-api mailing list
Dyninst-api@cs.wisc.edu
https://lists.cs.wisc.edu/mailman/listinfo/dyninst-api
