I was recently looking at systemd's CI and came across this. AFAICS it's a proprietary analysis but it looks useful. We still have `clang-analyzer` for example for FOSS analysis.
Colin Walters