sonar correctness