doop Java Framework om u te helpen met uw werk
Download nu

doop Rangschikking & Samenvatting

doop Tags

analys analyse Analyseren Beheer applicatie ontwikkeling inhoud systeem Contentmanagement systeem Java Framework Pagina-editor Website creatie Content creatie programma analyse CMS-software

doop Beschrijving

Doop is ontwikkeld als een op java gebaseerd raamwerk voor aanwijzer of points-to-analyse van programma's. DOEP implementeert een reeks algoritmen, waaronder context Ongevoelige, call-site-gevoelige en objectgevoelige analyses, die allemaal modulair zijn opgegeven als variaties op een gemeenschappelijke codebasis. In vergelijking met alternatieve context-gevoelige aanwijzeranalyse-implementaties (zoals paddle) doop is veel sneller en schalen beter. Ook, met vergelijkbare functies voor contextgevoeligheid, is DOEP nauwkeuriger in het afhandelen van sommige Java-functies (bijvoorbeeld uitzonderingen) dan alternatieven. DOOP bouwt voort op het idee om aanwijzeranalyse-algoritmen te vermelden, die declaratief is, met behulp van datalog: een logische taal voor het definiëren van (recursieve) relaties. DOEP draagt de declaratieve benadering verder dan het verleden (zoals BDDBDDB) door de volledige end-to-end-analyse in datalog te beschrijven en agressief te optimaliseren door middel van de uiteenzetting van de vertegenwoordiging van de relaties (bijvoorbeeld indexering) op het taalniveau van de Datalog. DOP maakt gebruik van het Datalog-dialect en de motor van LogicBlox.

doop Gerelateerde software