Resultados da pesquisa a pedido "static-analysis"
Usando Contract.ForAll em contratos de código
Ok, tenho mais uma pergunta sobre contratos de código. Eu tenho um contrato em um método de interface que se parece com isso (outros métodos omitidos para maior clareza): [ContractClassFor(typeof(IUnboundTagGroup))] public abstract ...
Como excluir arquivos da indexação do Eclipse (Static Code Analysis)?
Eu tenho um projeto makefile composto por muitos arquivos de origem, cabeçalho e outros, que estou tentando converter em um projeto "nativo" do Eclipse. O problema que o indexador relata erros e aviso em arquivos que existem nos diretórios, mas ...
Por que as vidas explícitas são necessárias no Rust?
Eu estava lendo ocapítulo das vidas [https://doc.rust-lang.org/book/first-edition/lifetimes.html]do livro Rust e me deparei com este exemplo por um tempo de vida nomeado / explícito: struct Foo<'a> { x: &'a i32, } fn main() { let x; // -+ x goes ...
Integração jenkins + sonar + github
Problema:Estou configurandojenkins + sonar + githubintegração para solicitação automática de código estático de solicitação automática através do sonar. Minha configuração: Sonar instalado com o github Jenkins instalados Na ação ...
Contratos de código: Por que alguns invariantes não são considerados fora da classe?
Considere este tipo imutável: public class Settings { public string Path { get; private set; } [ContractInvariantMethod] private void ObjectInvariants() { Contract.Invariant(Path != null); } public Settings(string path) { Contract.Requires(path ...
Criando uma regra personalizada no FxCop
Eu quero criar regras extras no FXCop. Regras personalizadas para ajudar a garantir práticas recomendadas específicas, como verificação no sql embutido. Estou realmente procurando por bons recursos e exemplos. Obrigado!
Existe uma ferramenta de análise estática como Lint ou Perl :: Critic para shell scripts?
Existem verificadores de shell (especificamente bash ou ksh) que testam os scripts de shell quanto a estilo, práticas recomendadas, convenções de nomenclatura etc.? (Algo como Lint para C ou Perl :: Critic para Perl.) Eu sei que com o ksh você ...
Como verificar a sintaxe de scripts de shell POSIX portáteis? [duplicado]
Esta pergunta já tem uma resposta aqui: Como faço para verificar a sintaxe de um script Bash sem executá-lo? [/questions/171924/how-do-i-syntax-check-a-bash-script-without-running-it] 7 respostasO seguinte script shell executa bem quando ...
Verificando se um cross-cast poderia funcionar?
Sei que é legal usardynamic_cast para fazer uma "conversão cruzada" em uma hierarquia de classes. Por exemplo, se eu tiver classes parecidas com esta: A B \ / CSe eu tiver umA* ponteiro que está apontando para um objeto do tipoC, então eu posso ...
Como gerar um gráfico de chamada para código C ++
Estou tentando gerar um gráfico de chamada para descobrir todos os caminhos de execução possíveis que estão atingindo uma função específica (para que eu não precise descobrir todos os caminhos manualmente, pois há muitos caminhos que levam a ...