Automatisk kostnadsanalys av program har traditionellt koncentrerats på ett minskat antal resurser såsom utförande steg, tid, eller minne. Den ökande relevansen av analysapplikationer som statisk felsökning och/eller certifiering av användaregenskaper (inklusive för mobil kod) gör det dock intressant att utveckla analyser för resursbegrepp som faktiskt är applikationsberoende. Detta kan till exempel omfatta bytes som skickas eller tas emot av en ansökan, antal filer som lämnas öppna, antal SMS som skickas eller tas emot, antal åtkomster till en databas, pengar som spenderas, energiförbrukning, etc. Vi presenterar en helautomatisk analys för att härleda övre gränser på den användning som ett Java bytecode-program gör av en uppsättning programprogrammer-definierbara resurser. I vårt sammanhang, en resurs definieras av programmerare-tillhandahållna anteckningar som anger den grundläggande konsumtionen som vissa programelement gör av denna resurs. Utifrån dessa definitioner vår analys härleder funktioner som returnerar en övre gräns på den användning som hela programmet (och enskilda block) gör av den resursen för varje given uppsättning av inmatningsdata storlekar. Den föreslagna analysen är oberoende av den särskilda resursen. Vi presenterar också några experimentella resultat från en prototypimplementering av strategin som omfattar en betydande uppsättning intressanta resurser.
I REF föreslår författarna ett verktyg för automatisk slutsats av övre gränser om användningen av användardefinierade resurser.
User-Definable Resource Usage Bounds Analysis for Java Bytecode
{'venue': 'BYTECODE 2009', 'journal': None, 'mag_field_of_study': ['Computer Science']}