DynamoRIO / DynamoRIO/drmemory
propagate shadow values through floating-point registers
- 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
Assessment
This issue has not been assessed yet.