DynamoRIO / DynamoRIO/dynamorio
drmemtrace invariant checker should verify sizes for predicated instr memory accesses
Open
Component-DrMemtrace
- Dominant language
- C
- Stars
- 3.2k
- Forks
- 629
- Avg merge
- 2d 15h
- Merged PRs (30d)
- 31
Description
Today the drmemtrace invariant checker bails on the memory accesses of predicated instructions. It would be better if it checks the properties of the loads/stores following predicated instructions if they do exist.
Contributor guide
Assessment
This issue has not been assessed yet.