Which operations are supported by both clang-static-analyzer and Product?

GQ-0274