doop. Framework Java per aiutarti con il tuo lavoro
Scarica ora

doop. Classifica e riepilogo

doop. Tag

analizzatore analisi Analizzare Gestione Sviluppo dell'applicazione contenuto sistema sistema di gestione dei contenuti framework Java Editor pagina Creazione di siti Web Creazione di contenuti analisi del programma Software CMS.

doop. Descrizione

Doop è stato sviluppato come quadro basato su Java per puntatore o punti-a, analisi dei programmi. Doop implementa una gamma di algoritmi, compresi il contesto insensibile, le analisi sensibili al sito di chiamata e le analisi oggetto-sensitive, tutte specificate modularmente come variazioni su una base di codice comune. Rispetto alle implementazioni di analisi del puntatore sensibili alternative (come paddle) doop è molto più veloce e scale meglio. Inoltre, con caratteristiche di sensibilità al contesto comparabile, Doop è più preciso nella gestione di alcune caratteristiche Java (ad esempio eccezioni) rispetto alle alternative. Doop si basa sull'idea di specificare gli algoritmi dell'analisi del puntatore in modo dichiarativo, utilizzando Datalog: un linguaggio basato sulla logica per definire relazioni (ricorsive). Doop comporta ulteriormente l'approccio dichiarativo del lavoro passato (come BDDBDDB) descrivendo l'analisi end-to-end completa in Datalog e ottimizzando in modo aggressivo attraverso l'esposizione della rappresentazione delle relazioni (ad esempio l'indicizzazione) al livello della lingua del Datalog. Doop utilizza il dialetto del datalog e il motore di logicblox.

doop. Software correlato