Linux: clang analyzer