DynamoRIO / DynamoRIO/drmemory

mark caller-saved registers as undefined on function entry

Open
#132 0 comments 0 reactions 0 assignees View on GitHub
Migrated Priority-Low Type-Feature
Dominant language
C
Stars
2.7k
Forks
290
PR merge metrics
No merged PRs in 30d

Description

_From [derek.br...@gmail.com](https://code.google.com/u/117968039472581148324/) on December 10, 2010 17:57:54_

PR 425630

from PR 425498:

Brings up false negative problems that that same Valgrind paper says are very difficult to
avoid (not surprisingly): if we could assume the calling convention and
identify procedure entries we could mark scratch registers (caller-saved)
as undefined on entry.

Filing in case we want to try to implement this in a conservative manner.

_Original issue: http://code.google.com/p/drmemory/issues/detail?id=132_

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.