DynamoRIO / DynamoRIO/drmemory

propagate shadow values through floating-point registers

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

Description

_From [timurrrr@google.com](https://code.google.com/u/timurrrr@google.com/) on June 22, 2011 11:39:27_

AFAIK, Dr. Memory issues a report when any uninit data goes into an FPU register.

Today I've found that results in false positive reports on a few Chromium media_unittests.

What they do in those tests is:
create X bytes of random garbage -> process -> make sure the output size is still X bytes and nothing crashed.
Some call it Garbage-In-Garbage-Out :)

Here's a short repro.
It is Valgrind-clean but Dr. Memory report an uninit on the "fild" instruction (at line 3)
#

int main() {
int *value = new int;
*value = *value \* 0.33;
delete value;
return 0;
}
#

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

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.