doop Cadre Java pour vous aider avec votre travail
Télécharger maintenant

doop Classement & Résumé

doop Mots clés

analyseur Analyse Analyser Gestion Développement des applications contenu système système de gestion de contenu Cadre Java Éditeur de page Création de site web Création de contenu analyse du programme Logiciel CMS

doop La description

Doop a été développé comme un cadre basé sur Java pour le pointeur, ou des points à l'analyse des programmes. Doop implémente une gamme d'algorithmes, y compris des analyses de contexte insensibles, sensibles à un site d'appel et sensibles à l'objet, toutes spécifiées de manière modulaire comme variations sur une base de code commun. Par rapport à des implémentations d'analyse de pointeur sensibles au contexte alternatives (telles que Paddle), Doop est beaucoup plus rapide et améliore mieux. De plus, avec des fonctionnalités comparables de sensibilité au contexte, Doop est plus précis dans la gestion des caractéristiques Java (par exemple des exceptions) que des alternatives. Doop s'appuie sur l'idée de spécifier des algorithmes d'analyse de pointeur de manière déclarée, en utilisant Datalog: une langue basée sur la logique pour la définition des relations (récursives). Doop porte l'approche déclarative plus loin que les travaux passés (tels que BDDBDDB) en décrivant l'analyse complète de bout en bout dans Datalog et en optimisant de manière agressive par exposition de la représentation des relations (par exemple indexation) au niveau de la langue de Datalog. Doop utilise la dialecte de données et le moteur de Logicblox.

doop Logiciels associés