Can you just give brief about the differences between Coverity Scan and SonarQube. Which one is better and what are pros and cons of this