Status: Accepted
Owner: [email protected]
Labels: Type-Defect Priority-Medium
New issue 362 by [email protected]: Container-overflow false positive with
uninstrumented code
https://code.google.com/p/address-sanitizer/issues/detail?id=362
Imagine two modules, both using std::vector, only one of them is
instrumented. Push_back from the non-instrumented module will not unpoison
the memory for the newly added element. Access from the instrumented module
will trigger a false report.
Note that these two modules don't need to share a common instance of
std::vector. Theoretically, it is possible for the linker to choose the
uninstrumented version of std::vector::push_back (if it was not inlined) to
be called from the instrumented module.
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings
--
You received this message because you are subscribed to the Google Groups
"address-sanitizer" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
