doop. Java-Framework, um Ihnen bei Ihrer Arbeit zu helfen
Jetzt downloaden

doop. Ranking & Zusammenfassung

doop. Stichworte

Analysator Analyse Analysieren Verwaltung Anwendungsentwicklung Inhalt System Content Management System. Java Framework. Page-Editor Website-Erstellung Inhaltserstellung Programmanalyse CMS-Software

doop. Beschreibung

Doop wurde als Java-basiertes Framework für Zeiger oder Punkte zur Analyse von Programmen entwickelt. Doop implementiert eine Reihe von Algorithmen, einschließlich kontextunensitiven, rufenempfindlichen, objektivisischen Analysen, alle, die alle modular als Variationen auf einer gemeinsamen Codebasis angegeben sind. Im Vergleich zu alternativen kontextsensitiven Zeigeranalysen-Implementierungen (z. B. Paddel) ist Doope viel schneller und skaliert besser. Mit vergleichbaren Kontextempfindlichkeitsfunktionen ist das Doop auch genauer in der Handhabung einiger Java-Funktionen (z. B. Ausnahmen) als Alternativen. Doop baut auf der Idee der Angabe der Algorithmen der Zeigeranalyse mit datalog: eine logisch-basierte Sprache zur Definition von (rekursiven) Beziehungen. Doop trägt den deklarativen Ansatz weiter als die Vergangenheit (z. B. BDDBDDB), indem sie die vollständige End-to-End-Analyse in Datalog beschreibt und aggressiv durch die Darstellung der Darstellung der Beziehungen (z. B. Indizierung) auf den Datenbildsprachenniveau optimiert wird. Doop verwendet den Datalog-Dialekt und den Motor von LogicBlox.

doop. Zugehörige Software