3 ms·

Because static analyzers today are imprecise. We're considering where this makes sense to turn on in Android, and even within the Linux kernel.

• carlmr 7y ago
  If you can I would at least advise running tests using memory sanitizer, which is also built in to newer clang versions. They're much more precise, but only catch problems occurring at runtime. also adress sanitizer for the out of bounds accesses, use after free bugs, memory leaks etc.
  • ndesaulniers 7y ago
    We do. Also, the people who built msan are literally the ones implementing the initialization patterns.
    • carlmr 7y ago
      Nice, sorry, I didn't notice you actually meant working on Android. Great work btw. I've found a few actual bugs with ASan and MSan already. Not once a false positive.