DynamoRIO / DynamoRIO/drmemory

pattern mode can clobber private library state and have false negatives on segment refs

Open
#1,812 1 comment 0 reactions 1 assignee Claimed by @zhaoqin View on GitHub
Bug-FalseNegative Component-LightMode OpSys-Linux
Dominant language
C
Stars
2.7k
Forks
290
PR merge metrics
No merged PRs in 30d

Description

Xref https://github.com/DynamoRIO/dynamorio/issues/1823

There is a general issue in DR on Linux ever since we put in segment
mangling where a tool can't just blindly copy a far memref opnd.

Pattern mode today happens to avoid this in common cases by not bothering
to instrument for opnd_is_abs_addr(). However, for a far non-absolute
reference, pattern blindly tries to de-ref gs: and is thus buggy: on a
write it will clobber priv lib state in addition to not doing its job of
checking the proper app mem ref.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.