Wasp Static Error Checker télécharger

« Les flux de données analyse pour détecter les erreurs d'exécution fine »
Sous la direction de indir.biz : si le programme Java a été testé minutieusement, mais elle reste sujette à l'erreur, WASP de programme vous erreurs d'exécution fine analyzer et points faibles peuvent aider à détecter. les erreurs suivantes dans toute détection statique de : nul exception de pointeur, cast interdit, les index de tableau hors des limites, division par zéro, faiblesses etc. types suivants peuvent être détectés : variable initialisée pas accessible dans les succursales ou changer de déclaration, clause de corps ou de catch conditionnelle boucle inaccessible, affectation de la valeur de la variable et programme détaillé, etc..WASP méthode précise call graph procédé de production de Graph.The ne peut pas être accessibles à l'aide de la sortie principale de méthodes de recherche ne saura jamais ce que les méthodes réelles et pour chaque méthode aidera dans la maison appelée. En outre, autres analyseurs statique erreur ici cette méthode peut être appelée.En comparaison, le Wasp a deux avantages.WASP peut connaître une erreur précise pour chaque méthode dans une erreur possible (avertissement) et potentiellement peut distinguer la mauvaise position. Dans le second cas, Wasp un message appelé erreur conditionnelle dans cette application particulière cinq.WASP qu'une erreur sur une affaire semble montrer génère, donc certains appels sont que juste une erreur d'affichage peut accepter l'analyse de flux de données contextuelles rend encore de la méthode, y compris, mais pas les autres. Nous avons tous connus des analyseurs statiques (Java, contrôle de MetaMata, par exemple QStudio etc.) pour exécuter les alertes de capteur statiques lorsque des erreurs produceonly de longues listes, car l'analyse en raison d'un programme de faible ne reconnaît pas certaines erreurs peut être appliquées. Sa capacité à trouver des erreurs dans les programmes est avérés pour être une amende, l'utilisateur a tous les avertissements.Déchets de guêpe beaucoup de temps pour analyse et développement des stades de débogage evenafter test en raison de la complexité des situations réelles Waspdetects.
Nouveau:
WASP peut être consulté en ligne Manuel pour Linux 3.2
Servlet programmes peuvent être analysées avec Wasp 3.2
Déclaration de Java 1.4 avec les allégations que dès maintenant peuvent télécharger gratuitement les Wasp statique erreur Checker 3.2 Wasp 3.2 est traitée.