doop Clasificación y resumen
- Nombre del editor:
- Ronald Chua
- Sistemas operativos:
- Windows All
- Tamaño del archivo:
- 17 KB
doop Etiquetas
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