Questions programmation static-analysis

Score Aff Date
Photo de DaveFar

18

6 Rép
2458 Aff

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

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

3

1 Rép
56 Aff

Arguments `__CPROVER_fence()`.

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

4

1 Rép
227 Aff

Optimiser les grandes migrations SQL

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

3

2 Rép
67 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 :
Avatar de Raphael

3

4 Rép
249 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
2241 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
9554 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 :
Avatar 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
3346 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
7039 Aff

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

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

36

8 Rép
5878 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 :
Photo de Greg Mattes

40

2 Rép
10143 Aff

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

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

28

2 Rép
2644 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 :
Avatar de w.brian

29

5 Rép
1306 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 :
Avatar de Jon Skeet

34

2 Rép
1191 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 :
Photo de SnOrfus

32

1 Rép
6463 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
6255 Aff

Analyse de code ActionScript statique?

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

34

3 Rép
15246 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
2276 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 :
Photo de Steve Dunn

40

5 Rép
5600 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 :
Avatar de Drakosha

59

4 Rép
3929 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 :
Photo de Tempus

38

5 Rép
7675 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
4972 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 :
Photo de Roman Kagan

46

5 Rép
5941 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 :
Photo de Rob Walker

54

7 Rép
8271 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
14359 Aff

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

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

89

17 Rép
32651 Aff

Checkstyle vs. PMD

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

150

4 Rép
15041 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