static-analysis

6La chaleur

1Répondre

Comment exclure des propriétés de ViewModel de CA1811

En utilisant VS 2010/.Net 4.0, l'analyse du code d'alerte CA1811 (voir ci-dessous) est tiré sur toutes les propriétés dans un ViewModel même à travers leur sont utilisés par XAML de liaison: Avertisse

9La chaleur

2Répondre

Contrats de collection et threads

Supposons que j'ai une classe de collection personnalisée qui fournit une synchronisation de thread interne. Par exemple, une méthode simplifiée Ajouter pourrait ressembler à ceci: public void Add(T i

4La chaleur

2Répondre

XCode Static Analyzer: Analyseur a ignoré ce fichier en raison d'erreurs d'analyse

J'ai été capable d'exécuter l'analyseur statique sur mon code pendant des mois. Tout d'un coup maintenant je reçois l'erreur: <command line>:0:0 Analyzer skipped this file due to parse errors Vous n

26La chaleur

5Répondre

Meilleures pratiques de PyLint?

pyLint ressemble à un bon outil pour exécuter l'analyse du code python. Cependant, notre objectif principal est d'attraper tous les bugs potentiels et de ne pas coder la convention. L'activation de to

5La chaleur

3Répondre

Python 2.x: comment automatiser l'exécution d'unicode au lieu d'une chaîne de caractères?

Comment puis-je automatiser un test pour appliquer qu'un corps de code Python 2.x ne contient aucune instance de chaîne (uniquement des instances Unicode)? Par exemple. Puis-je le faire à partir du co

3La chaleur

1Répondre

Analyser le code source en Java en utilisant Python?

Je voudrais créer un analyseur de code source pour le projet Java (comme FindBugs et d'autres programmes d'analyse statique) qui serait capable de détecter certains appels de méthode. Je préférerais l

1La chaleur

1Répondre

choix approprié des règles dans l'analyseur statique VS2010

Il y a beaucoup de groupes dans l'analyseur statique VS2010: Toutes les règles Règles de base d'exactitude design Règles de base Ligne directrice règles étendues d'exactitude Règles de conception éten

6La chaleur

1Répondre

Existe-t-il des outils d'analyse statique qui peuvent aider à détecter les références circulaires shared_ptr <>?

Existe-t-il des outils d'analyse statique qui peuvent aider à détecter les références circulaires partagées <? Même si un tel outil ne pouvait pas détecter des cas compliqués, il serait toujours utile

4La chaleur

1Répondre

Puis-je exclure facilement certains contrats de l'analyse statique?

Il y a certains contrats que je sais que l'analyseur statique ne peut pas prouver. Je peux exclure certains types d'erreurs de violation de contrat d'une fonction entière, mais cela est trop large. Je

3La chaleur

1Répondre

Est-il possible d'utiliser un outil d'analyse statique comme FindBugs avec Android?

Je suis relativement nouveau dans le développement Android et une recherche rapide google n'a rien d'intéressant.