Abstract-AJAX program blir populära, klientsidan JavaScript kod blir alltmer komplex. Det finns dock få automatiserade sårbarhetsanalysverktyg för JavaScript. I den här artikeln beskriver vi det första systemet för att utforska avrättningsutrymmet för JavaScript-kod med hjälp av symbolisk körning. För att hantera JavaScript-kodens komplexa användning av strängoperationer utformar vi ett nytt språk för strängbegränsningar och implementerar en lösning för det. Vi bygger en automatisk end-to-end verktyg, Kudzu, och tillämpa det på problemet med att hitta klient-side kod injicering sårbarheter. I experiment på 18 live webbapplikationer upptäcker Kudzu automatiskt 2 tidigare okända sårbarheter och 9 fler som tidigare endast hittats med en manuellt konstruerad testsvit.
Förutom Python-motorer användes Kudzu REF:s symboliska exekveringsmotor för JavaScript för att upptäcka sårbarheter för kodinsprutning.
A Symbolic Execution Framework for JavaScript
{'venue': '2010 IEEE Symposium on Security and Privacy', 'journal': '2010 IEEE Symposium on Security and Privacy', 'mag_field_of_study': ['Computer Science']}