Doop Framework Java para ajudá-lo com o seu trabalho
Baixe Agora

Doop Classificação e resumo

Doop Tag

analisador análise Analisar Gestão desenvolvimento de aplicações contente sistema sistema de gerenciamento de conteúdo framework Java editor de página Criação de site Criação de conteúdo análise do programa Software CMS.

Doop Descrição

Doop foi desenvolvido como um quadro baseado em Java para ponteiro, ou pontos para análise de programas. Doop implementa uma gama de algoritmos, incluindo análises insensíveis de contexto, sensível ao local e sensíveis ao objeto, todas especificadas modularmente como variações em uma base comum de código. Em comparação com implementações alternativas de análise de ponteiro sensível ao contexto (como remo) doop é muito mais rápido, e escalas melhor. Além disso, com recursos comparáveis à sensibilidade ao contexto, o Doop é mais preciso para lidar com alguns recursos do Java (por exemplo, exceções) do que alternativas. Doop constrói sobre a ideia de especificar algoritmos de análise de ponteiro declarativamente, usando o Datalog: um idioma baseado em lógica para definir as relações (recursivas). Doop carrega a abordagem declarativa além do trabalho passado (como BDDBDDB), descrevendo a análise completa de ponta a ponta no DataLog e otimizando agressivamente através da exposição da representação das relações (por exemplo, indexando) no nível da linguagem de dados. Doop usa o dialeto de Datalog e o motor da Logicblox.

Doop Software Relacionado