Lines Matching refs:ThreadSanitizer

1 ThreadSanitizer  title
7 ThreadSanitizer is a tool that detects data races.  It consists of a compiler
9 ThreadSanitizer is about **5x-15x**.  Typical memory overhead introduced by
10 ThreadSanitizer is about **5x-10x**.
21 ThreadSanitizer is supported on Linux x86_64 (tested on Ubuntu 10.04 and 12.04).
54 Currently, ThreadSanitizer symbolizes its output using an external
60   WARNING: ThreadSanitizer: data race (pid=19219)
75 ThreadSanitizer is enabled.
83     // code that builds only under ThreadSanitizer
90 Some code should not be instrumented by ThreadSanitizer.
94 ThreadSanitizer may still instrument such functions to avoid false positives.
103 * ThreadSanitizer uses more real memory than a native run. At the default
107 * ThreadSanitizer maps (but does not reserve) a lot of virtual address space.
110 * ThreadSanitizer requires ``-fPIE -pie`` compiler flags.
115 ThreadSanitizer is in beta stage.  It is known to work on large C++ programs