I believe the "level" referred to is soundness. Codesonar is self-admittedly not sound [1], and instead focuses on other valuable aspects of static analysis. It

I believe the "level" referred to is soundness. Codesonar is self-admittedly not sound [1], and instead focuses on other valuable aspects of static analysis. It's a different type of tool. [1] https://blogs.grammatech.com/how-sound-static-analysis-complements-heuristic-analysis https://blogs.grammatech.com/how-sound-static-analysis-compl...