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 elegantes, como Python ou JavaScript com Node.js, os benefícios …

72 programming-languages  dynamic-typing  language-choice  static-typing  static-analysis 

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 essas exceções parte integrante da API …

47 java  exceptions  static-analysis 

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 …

37 .net  visual-studio  static-analysis 

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 análise de …

28 code-quality  static-analysis  legacy-code 

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 …

26 c#  .net  code-quality  static-analysis 

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 acadêmicos, para …

19 code-quality  static-analysis 

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 com relação …

18 programming-languages  static-typing  static-analysis 

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 poucos que analisamos) parecem ter resultados 'melhores' …

18 complexity  metrics  static-analysis  code-metrics 

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 …

18 code-quality  static-analysis 

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 …

17 c  static-analysis 

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 humanos. Passei algum tempo …

11 algorithms  complexity  big-o  static-analysis  big-theta 

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 …

8 coding-style  static-analysis  gcc  clang 

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 simultaneidade (ou …

8 multithreading  debugging  static-analysis 

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 …

8 continuous-integration  ide  static-analysis  build-system