código estático interno: B::Lint(3perl) rubocop V:0, I:0 3247 Ruby static code analyzer clang-tidy V:2, I:11 21 clang-based C++ linter tool splint V:0, I:2 2320 ferramenta para verificação estática de programas

confiáveis: • rustc (o compilador Rust), que por sua vez depende das bibliotecas LLVM, do compilador Clang, das fontes rustc (buscadas no GitHub, revisadas pela equipe do compilador Rust), compilador Rust