Questions programmation static-analysis

Score Aff Date
Photo de DaveFar

18

6 Rép
2460 Aff

Outil Java pour améliorer mon développement de code propre

Résolu
Demandé el 13 de Août, 2011 par DaveFar
Etiquettes :
Photo de artless noise

3

1 Rép
57 Aff

Arguments `__CPROVER_fence()`.

Résolu
Demandé el 2 de Décembre, 2021 par artless noise
Etiquettes :
Photo de Bastl

4

1 Rép
228 Aff

Optimiser les grandes migrations SQL

Ouvert
Demandé el 11 de Juin, 2013 par Bastl
Etiquettes :
Avatar de Praxeolitic

3

2 Rép
68 Aff

Vérifier que les initialisateurs et les finaliseurs sont garantis d'être logiquement appariés dans une portée de bloc.

Résolu
Demandé el 9 de Décembre, 2016 par Praxeolitic
Etiquettes :
Photo de Raphael

3

4 Rép
250 Aff

Quelles sont les ressources pour construire un analyseur statique pour le C en C ?

Résolu
Demandé el 7 de Février, 2011 par Raphael
Etiquettes :
Photo de Philippe Marschall

37

1 Rép
2242 Aff

Remplacement des annotations JSR-305 pour Java 9

Résolu
Demandé el 2 de Juin, 2016 par Philippe Marschall
Etiquettes :
Avatar de Dan Powley

17

7 Rép
9555 Aff

Analyseur de code source Ruby (quelque chose comme pylint)

Résolu
Demandé el 13 de Novembre, 2008 par Dan Powley
Etiquettes :
Avatar de Lost Lont

5

1 Rép
85 Aff

Utilisation de la règle CA1001 de l'analyseur .NET pour les composants d'un cadre qui n'utilise pas IDisposable.

Ouvert
Demandé el 22 de Juin, 2021 par Lost Lont
Etiquettes :
Photo de Mark Peters

27

3 Rép
984 Aff

Analyse de fil statique: bonne idée?

Résolu
Demandé el 28 de Juin, 2010 par Mark Peters
Etiquettes :
Avatar de David Norman

30

5 Rép
3347 Aff

Les outils d'analyse statique du code C++ en valent-ils la peine ?

Ouvert
Demandé el 12 de Mars, 2009 par David Norman
Etiquettes :
Avatar de cdleary

28

5 Rép
7041 Aff

Existe-t-il un besoin d'un compilateur Python "strict"?

Résolu
Demandé el 5 de Mars, 2009 par cdleary
Etiquettes :
Photo de Rob Hunter

36

8 Rép
5880 Aff

Existe-t-il des outils d'analyse statique du code pour Delphi/Pascal ?

Résolu
Demandé el 10 de Février, 2009 par Rob Hunter
Etiquettes :
Avatar de Greg Mattes

40

2 Rép
10144 Aff

Annotation @GuardedBy avec java.util.concurrent.locks.ReadWriteLock

Résolu
Demandé el 19 de Octobre, 2011 par Greg Mattes
Etiquettes :
Photo de Dai

28

2 Rép
2645 Aff

Pourquoi le compilateur se plaint-il que «tous les chemins de code ne renvoient pas de valeur» alors que je peux clairement voir qu'ils le font?

Résolu
Demandé el 21 de Janvier, 2017 par Dai
Etiquettes :
Photo de w.brian

29

5 Rép
1307 Aff

Pourquoi ce code .NET apparemment correct ne se compile-t-il pas?

Résolu
Demandé el 25 de Octobre, 2011 par w.brian
Etiquettes :
Photo de Jon Skeet

34

2 Rép
1193 Aff

Le vérificateur statique des contrats de code doit-il être capable de vérifier les limites arithmétiques ?

Résolu
Demandé el 7 de Août, 2009 par Jon Skeet
Etiquettes :
Avatar de SnOrfus

32

1 Rép
6464 Aff

Comment exclure des membres privés de la règle StyleCop SA1600

Résolu
Demandé el 26 de Mai, 2009 par SnOrfus
Etiquettes :
Avatar de Jarvis

34

5 Rép
6256 Aff

Analyse de code ActionScript statique?

Résolu
Demandé el 14 de Février, 2009 par Jarvis
Etiquettes :
Avatar de Alex Varju

34

3 Rép
15247 Aff

Comment les outils d’analyse statique en Java commerciaux se comparent-ils aux outils gratuits?

Fermé
Demandé el 16 de Octobre, 2008 par Alex Varju
Etiquettes :
Photo de serg10

33

5 Rép
2277 Aff

Resharper peut-il être configuré pour avertir si IDisposable n'est pas géré correctement?

Résolu
Demandé el 19 de Septembre, 2008 par serg10
Etiquettes :
Avatar de Steve Dunn

40

5 Rép
5601 Aff

Outil d'analyse C # / .NET pour trouver des conditions de concurrence / impasses

Résolu
Demandé el 4 de Mars, 2010 par Steve Dunn
Etiquettes :
Photo de Drakosha

59

4 Rép
3930 Aff

Comment déclencher un avertissement si la valeur renvoyée n'est pas prise en compte - gcc ou vérification de code statique?

Résolu
Demandé el 11 de Janvier, 2010 par Drakosha
Etiquettes :
Avatar de Tempus

38

5 Rép
7676 Aff

Où puis-je trouver un outil de lint développé activement pour Ruby ?

Résolu
Demandé el 26 de Novembre, 2009 par Tempus
Etiquettes :
Avatar de BrianH

45

3 Rép
4973 Aff

Existe-t-il un outil d'analyse statique tel que Lint ou Perl :: Critic pour les scripts shell?

Résolu
Demandé el 8 de Septembre, 2010 par BrianH
Etiquettes :
Avatar de Roman Kagan

46

5 Rép
5942 Aff

Existe-t-il des outils permettant d'effectuer une analyse statique du code Scala?

Résolu
Demandé el 21 de Octobre, 2009 par Roman Kagan
Etiquettes :
Avatar de Rob Walker

54

7 Rép
8272 Aff

Identification des codes morts (C++)

Résolu
Demandé el 26 de Novembre, 2008 par Rob Walker
Etiquettes :
Avatar de Nazgob

68

5 Rép
14360 Aff

Détection de code mort dans un projet C/C++ existant

Résolu
Demandé el 23 de Octobre, 2008 par Nazgob
Etiquettes :
Avatar de John Stauffer

89

17 Rép
32655 Aff

Checkstyle vs. PMD

Résolu
Demandé el 8 de Octobre, 2008 par John Stauffer
Etiquettes :
Photo de rcreswick

150

4 Rép
15042 Aff

À l’aide de Pylint avec Django

Ouvert
Demandé el 22 de Septembre, 2008 par rcreswick
Etiquettes :
Photo de Mat

115

5 Rép
20030 Aff

Existe-t-il des outils d'analyse statique JavaScript ?

Résolu
Demandé el 10 de Février, 2009 par Mat
Etiquettes :

Top Tags

Prograide.com

Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.

Powered by:

Yandex
X