codechecker
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy. Código de fonte aberto e planos premium de suporte disponíveis no PieceX para OSS. Baixe código-fonte gratuitamente. O PieceX para OSS é nossa iniciativa de código aberto onde apoiadores podem fornecer recursos adicionais, suporte ou personalizações para repositórios de código aberto existentes. Provedores que oferecem funções adicionais, suporte ou personalizações de código podem fazer upload de seus planos de assinatura para que outros usuários possam comprá-los. Você pode escolher entre diferentes planos, com assinatura mensal ou pagamento único.
alive2
Automatic verification of LLVM optimizations. Código de fonte aberto e planos premium de suporte disponíveis no PieceX para OSS. Baixe código-fonte gratuitamente. O PieceX para OSS é nossa iniciativa de código aberto onde apoiadores podem fornecer recursos adicionais, suporte ou personalizações para repositórios de código aberto existentes. Provedores que oferecem funções adicionais, suporte ou personalizações de código podem fazer upload de seus planos de assinatura para que outros usuários possam comprá-los. Você pode escolher entre diferentes planos, com assinatura mensal ou pagamento único.