RFC Asan instrumentation control

Konstantin Serebryany konstantin.s.serebryany@gmail.com
Tue Dec 10 09:48:00 GMT 2013


>
> Agreed. I guess our main question is whether such mechanism is really needed
> by developers.

We use the blacklist:
- with asan init-order-checker to disable checking some specific
globals by their type name ("bening" true positive)
- with msan to suppress true benign reports from zlib's deflate
http://www.zlib.net/zlib_faq.html#faq36 (we don't want to have
modifications in zlib) and v8 (v8 and msan are not yet friendly to
each other, so we blacklist all of the v8 files by file name)
- with tsan to suppress a known true race in OPENSSL_cleanse
(http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=534706)

--kcc



More information about the Gcc-patches mailing list