Add some static analysis tool to CI pipeline
We caught a hard to debug problem with ASAN, but that detection was for Qt6 only and very fragile:
ci-management#2 (comment 587309)
The same exact problem is covered by C++ Core Guidelines in Type-safety profile:
https://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines#Rh-dynamic_cast
, which can be enforced (by warning) with Clang-Tidy or any other static analyzer supporting it:
https://clang.llvm.org/extra/clang-tidy/checks/cppcoreguidelines/pro-type-static-cast-downcast.html
Could we investigate the possibility to run this or other tool as part of our CI pipeline?