doop Marco de Java para ayudarlo con su trabajo
Descargar ahora

doop Clasificación y resumen

doop Etiquetas

analizador análisis Analizar Gestión desarrollo de aplicaciones contenido sistema sistema de gestión de contenidos Marco de Java Editor de páginas Creación de sitios web Creación de contenido análisis del programa Software cms

doop Descripción

DOOP se desarrolló como un marco basado en Java para el puntero, o puntos, análisis de programas. El DOOP implementa una gama de algoritmos, incluidos los análisis insensibles de contexto, sensibles al sitio de llamada y objetos, todos especificados modularmente como variaciones en una base de código común. En comparación con las implementaciones alternativas de análisis de punteros sensibles al contexto (como la paleta) DOOP es mucho más rápido, y escalas mejor. Además, con características de sensibilidad de contexto comparables, DOOP es más preciso para manejar algunas características de Java (por ejemplo, excepciones) que las alternativas. DOOP se basa en la idea de especificar los algoritmos de análisis de puntero declarativamente, utilizando DataLog: un idioma basado en lógica para definir las relaciones (recursivas). DOOP lleva el enfoque declarativo más allá del trabajo pasado (como BDDBDDB) describiendo el análisis completo de extremo a extremo en el registro de datos y optimizando agresivamente a través de la exposición de la representación de las relaciones (por ejemplo, la indexación) al nivel de idioma de DATALOG. DOOP utiliza el dialecto de DataLog y el motor de LogicBlox.

doop Software relacionado