Clang-tidy has similar checks, e.g.: https://clang.llvm.org/extra/clang-tidy/che...

ot · 2023-07-26T19:45:55

Clang-tidy only supports AST-based matchers, you get type resolution but you still can only match simple patterns that only need local reasoning.

Infer does whole-program analysis, so it can for example detect whether it is safe to move an object instead of copying it, because nothing touches it afterwards.

loeg · 2023-07-26T17:31:37

Thanks! Clang-tidy is another tool we use on diffs at Facebook.