Vérificateur d'erreur statique de guêpe Si votre programme Java a été minutieusement testé mais toujours sujet d'erreur, l'analyseur WASP peut aider à détecter des erreurs de temps d'exécution subtiles et des points faibles de votre programme. Les types d'erreurs suivants peuvent être
Télécharger maintenant

Vérificateur d'erreur statique de guêpe Classement & Résumé

Vérificateur d'erreur statique de guêpe Mots clés

vérificateur subtil Visualiser le graphique d'appel Méthode Appels de méthode Java Invoquer la méthode Java faible soutien de REE Graphique d'appel Graphique d'appel dynamique Graphique Java Appeler la méthode natif faible dynamique statique www.java mobile.com économiseur d'écran W200i Contrôle des stocks de guêpe Générateur de clé WASP codeblocks version 9 décapant de mot de passe de la mémoire mot de passe de bombasse virtuelle Java Variable statique bande de guêpe guêpe nid de guêpes Équivalent

Vérificateur d'erreur statique de guêpe La description

L'analyseur de WASP détecte statiquement les erreurs subtiles d'exécution et points faibles dans un code source Java. Les types d'erreurs suivants peuvent être détectés: Exception de pointeur nulle, moulée inadmissible, Indice de tableau hors des limites, division par zéro, etc. Les types suivants de points faibles peuvent être détectés: Utilisation de la variable non initialisée, Branche inaccessible dans la déclaration conditionnelle ou du commutateur, organisme de boucle inaccessible ou clause de capture, affectation de variable dont la valeur n'est jamais utilisée, Achèvement anormal de la méthode, etc. WASP produit un graphique d'appel de méthode détaillé et précis. Le graphique d'appels de méthode d'un programme aide à savoir pour chaque méthode quelles méthodes réelles sont appelées dans son corps. De plus, pour chaque méthode, vous pouvez savoir où cette méthode peut être appelée. Méthode Les graphiques d'appels ont produit d'autres outils existants sont imprécis dus aux analyses faibles appliquées. En comparaison avec d'autres analyseurs d'erreur statique, Le guêpe a deux avantages importants. WASP est capable de distinguer une erreur définie, une éventuelle erreur (avertissement) et une situation potentiellement erronée. Dans ce dernier cas, le guêpe produit un message appelé Erreur conditionnelle que dans la pratique semble indiquer une erreur dans environ un cas de cinq. WASP effectue une analyse de flux de données sensible au contexte, Donc, il est capable de reconnaître une erreur qui apparaît uniquement pour certains appels de la méthode le contenant, mais ne fait pas d'autres. Ainsi, WASP gère des situations de grande complexité. Tous connus des analyseurs statiques américains (par exemple Qstudio Java, Audit Metamata, etc.) qui détectera statiquement les erreurs d'exécution peuvent produire seulement de longues listes d'avertissements parce qu'ils ne peut pas reconnaître des erreurs définies dans un programme en raison de la faiblesse analyses appliquées. Un utilisateur doit perdre beaucoup de temps pour analyser tous les avertissements. WASP a prouvé sa capacité à trouver des bogues subtils dans les programmes même Après avoir débogué et tester des étapes de développement parce que le waspe détecte les situations de complexité réelle.

Vérificateur d'erreur statique de guêpe Logiciels associés