search

theRockLiu / address-sanitizer

Automatically exported from code.google.com/p/address-sanitizer
1 stars 0 forks source link

Container-overflow false positive with uninstrumented code #362

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
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.

Original issue reported on code.google.com by euge...@google.com on 8 Dec 2014 at 9:26