7.2.5 CodeSonar