Vi har implementerat intraprocedural control-flow och data-flow analys av Java källkod på ett deklarativt sätt, med hjälp av referensattribut grammatik förstärkt med cirkulära attribut och insamling attribut. Vår implementering är byggd ovanpå JastAdd Extensible Java Compiler och vi har kört analyserna på medelstora Java-program. Vi visar hur analyserna kan byggas med hjälp av små koncisa komposerbara moduler, och hur de ger extensible ramar för ytterligare källkodsanalyser. Preliminära mätningar visar att det är liten skillnad i genomförandetid mellan vår deklarativa dataflödesanalys och ett tvingande genomförande.
Dock har en del arbete REF gjorts för att genomföra flödesanalys för Java med hjälp av JastAdd extensible Java kompilator [11].
Declarative Intraprocedural Flow Analysis of Java Source Code
{'venue': 'Rules in Database Systems', 'journal': None, 'mag_field_of_study': ['Computer Science']}