Perguntas com a marcação «static-analysis»

Explicando a diferença entre rigor de linguagens e paradigmas para um colega meu, acabei afirmando que: Linguagens tolerantes, como linguagens dinâmicas e interpretadas, são usadas melhor para protótipos e projetos pequenos ou aplicativos Web de tamanho médio. Ao escolher linguagens dinâmicas...

Usamos o SonarQube para analisar nosso código Java e ele possui esta regra (configurada como crítica): Métodos públicos devem lançar no máximo uma exceção verificada O uso de exceções verificadas força os chamadores de métodos a lidar com erros, propagando-os ou manipulando-os. Isso torna...

Acabei de ler alguns dos white papers e exemplos da Microsoft "Roslyn" e o conceito parece muito interessante. Pelo que sei, ele abre a caixa preta que é o compilador e fornece uma interface que podemos usar para obter informações e métricas sobre o código escrito no Visual Studio. Roslyn também...

Temos aqui uma grande base de código herdada com código incorreto que você não pode imaginar. Definimos agora alguns padrões de qualidade e queremos cumpri-los em uma base de código completamente nova, mas também se você tocar no código legado. E reforçamos aqueles com o Sonar (ferramenta de...

Eu ouvi sobre a análise de código do Visual Studio, mas nunca usei uma. Eu li o MSDN , mas ainda não entendo o uso real da análise de código. Não é o mesmo que StyleCop? Em algum lugar, o FxCop também foi mencionado. Qual é a diferença com a análise de código? Preciso usar a análise de código...

Parece-me lógico que alguém possa definir um contexto para a análise estática do código-fonte que inclua regras para produzir um valor relativo de complexidade. Eu sei que não é assim no sentido físico, porque o código da fonte não tem "Energia", mas aposto que houve esforços, pelo menos...

Ferramentas como pc-lint ou QAC podem ser usadas para executar análise de código estático em uma base de código. Na minha experiência, a análise estática geralmente gera uma quantidade enorme de ruído, ou seja, avisos sobre coisas que não são erros reais, mas de alguma forma violam uma das regras...

Estive estudando complexidade ciclomática (McCabe) e acessibilidade de software na uni recentemente. Hoje meu palestrante disse que não há correlação entre as duas métricas, mas esse é realmente o caso? Eu acho que definitivamente haveria alguma correlação, já que programas menos complexos (dos...

A digitação estática em uma linguagem de programação pode ser útil para impor certas garantias no momento da compilação - mas os tipos são a única ferramenta para este trabalho? Existem outras maneiras de especificar invariantes? Por exemplo, um idioma ou ambiente pode ajudar a impor uma garantia...

Estou trabalhando em uma empresa com 11 pontos no Joel Test - pelo menos no papel. Na prática, no entanto, nada funciona tão bem quanto o esperado, e o projeto está no DEFCON 1 há meio ano. Agora, a maioria dos meus colegas fica feliz se eles podem voltar para casa às 18h - no domingo. Uma das...

Estou acostumado a procurar a notação Landau (Big O, Theta ...) dos meus algoritmos manualmente, para garantir que eles sejam o mais otimizados possível, mas quando as funções estão ficando muito grandes e complexas, está acontecendo muito tempo para fazê-lo manualmente. também é propenso a erros...

A primeira resposta a um velho, ativo recentemente questão ligada a um vídeo que fala sobre como repositório Google é feito. Uma coisa interessante mencionada é o fato de que tudo é construído a partir da fonte, sem depender de binários. Isso ajuda a evitar problemas com as dependências se...

Eu herdei algum código Java que, suspeito, abriga alguns erros de simultaneidade ao sincronizar entre um encadeamento que consulta dados e um evento de E / S que atualiza os mesmos dados. Estou testando uma ferramenta de análise estática chamada ThreadSafe, que de fato detecta vários problemas de...

Comecei a trabalhar em vários projetos C que estão construindo usando gcc. Acredito que essa escolha foi feita por vários motivos: Tive que fazer uma compilação cruzada para o braço muito cedo (eu acho). O desempenho é a primeira e mais importante especificação. gcc foi e ainda é a primeira...