> To my knowledge, neither Infer or Clang has ever been compared to other static analysis tools in an article similar to this.

I beg to differ: http://btorpey.github.io/blog/categories/static-analysis/