>  The list is
> included below

and yet, I forgot to include it:

1-: clang static analyser
2-: lldb
3-: klee
4-: safecode
5-: googletest
6-: valgrind (with gdb and kgdb plugins)
7-: coccinelle
8-: sparse
9-: kcov & gcov
10-: kasan & ubsan
11-: kernel memleaks detectors
12-: linux kernel selftests
13-: kernelci
14-: oprofile
15-: Selenium WebDriver and its IDE
16-: Systemtap
17-: .....

goal of that is to test end to end from top to bottom of all the
software stack at any granularity.

Alain

Reply via email to