DynamoRIO / DynamoRIO/drmemory

inlined logging of uninit accesses for backward data flow

Open
#1,351 0 comments 0 reactions 0 assignees View on GitHub
Component-FullMode Migrated Priority-Medium Type-Feature
Dominant language
C
Stars
2.7k
Forks
290
PR merge metrics
No merged PRs in 30d

Description

_From [bruen...@google.com](https://code.google.com/u/109494838902877177630/) on October 17, 2013 15:42:36_

-track_origins only shows the allocation origin.

For analyzing potential false positive uninits, I often run "-no_faspath
-verbose 3" and manually examine the log to walk backward and see where
uninit data came from.

This case covers trying to automate that by automatically logging
dataflow. We would limit to partially or fully uninit accesses. We could
also store into a circular buffer for a recent history w/o ever going to
disk.

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

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.