Gulfstream: Incremental Static Analysis for Streaming JavaScript Applications

摘要: The advent of Web 2.0 has led to the proliferation client-side code that is typically written in JavaScript. Recently, there been an upsurge interest static analysis However, most approaches literature assume entire program available analysis. This, however, direct contradiction with nature programs are essentially being streamed at user’s browser. Users can see data pages form page updates, but same thing be done code, delaying downloading until it needed. In essence, never completely available, by interacting application, more and sent over This paper explores incremental as a way analyze streaming JavaScript programs. particular, we advocate use combined offline-online accomplish fast, online expense thorough costly offline on code. We find normal use, where updates small, incrementally update results quickly enough acceptable for everyday use. demonstrate this hybrid approach advantageous wide variety settings, especially mobile devices.