Wenn der Hersteller eines Werkzeugs dieses Reasoning zum Überprüfen gibt?

Was für eine Analyse-Tool wird benutzt? Ein eigenes? Wie ist denn die Qualität dieses Tools? Oder ist das eine lint-Version?

Reasoning hat schon erheblich bessere Analyse-Werkzeuge (leider lassen die nicht raus, was sie haben), aber es gibt schon sehr gute Werkzeuge (wer sich dafür interessiert, sollte mal nach "DMS" googlen".)