Server-side programmering är en av de viktigaste teknikerna som stöder dagens WWW-miljö. Det gör det möjligt att generera webbsidor dynamiskt enligt en användares begäran och att anpassa sidor för varje användare. Den flexibilitet som skapas genom serverprogrammering gör det dock mycket svårare att garantera giltighet och säkerhet för dynamiskt genererade sidor. För att kontrollera statiskt egenskaperna hos webbsidor som genereras dynamiskt av ett server-side-program, utvecklar vi en statisk programanalys som approximerar strängutgången av ett program med en kontextfri grammatik. Den approximation som erhållits av analysatorn kan användas för att kontrollera olika egenskaper hos ett server-side-program och de sidor det genererar. För att visa hur effektiv analysen är har vi implementerat en stränganalysator för skriptspråket PHP på serversidan. Analysatorn appliceras framgångsrikt på allmänt tillgängliga PHP-program för att upptäcka skriptsårbarheter mellan olika platser och för att validera sidor som de genererar dynamiskt.
Minamide REF stöder strängbaserade ersättningsoperationer genom att undkomma ersätta transaktioner med finitstate-givare, och beskriver en stränganalys som liknar JSA för att statiskt upptäcka skriptsårbarheter mellan olika platser och validera sidor som genereras av webbprogram skrivna på PHP-språket.
Static approximation of dynamically generated Web pages
{'venue': "WWW '05", 'journal': None, 'mag_field_of_study': ['Computer Science']}