Thread sanitizer tests

[Cla]

I saw, that undefined-behavior- and address-santitizer are supported for the `native_posix` (and `native_sim`?) boards via respective `KCONFIG`s.

Do you support building (for example tests) with `-fsanitize=thread`-compiler options (see for example: https://clang.llvm.org/docs/ThreadSanitizer.html)? If so, how can it be done?

I tried adding to cmake:

```

add_compile_options(-fsanitize=thread)

add_link_options(-fsanitize=thread)

```

For a test, for which I expected, that it would fail under such circumstances (I am not 100% confident). But it did not have the expected result.

Some hints are greatly appreciated, thanks in advance.

[Håkon Alseth]

Hi,

 

Zephyr has support for ASAN (https://developer.nordicsemi.com/nRF_Connect_SDK/doc/latest/zephyr/boards/posix/native_sim/doc/index.html#address-sanitizer-asan), which uses sanitize=address.

=thread produces linker/compiler issues (and requires 64 bit build target, it seems).

sanitize=thread is listed as a beta feature in the llvm suite, and I would recommend that you ask in zephyr's channels about this feature. 

 

Kind regards,

Håkon

[Cla]

It is also supported on gcc: https://gcc.gnu.org/onlinedocs/gcc/Instrumentation-Options.html#index-fsanitize_003dthread

[Håkon Alseth]

Hi,

 

I believe this needs to be addressed in zephyr's asan implementation to work, regardless of gcc / clang as the compiler. I would recommend that you ask in the zephyr community.

 

Kind regards,

Håkon

[Cla]

Thanks, I will do so.