【正文】 我們使用此信息來評估清單中的 9 個關于 JavaScript 程序的常用假設。 結論 本文提供了第一個大規(guī)模的研究 JavaScript 程序在運行時的行為。痕跡分析儀中把包括了關于程序動態(tài)行 為的豐富的和可定制的歷史信息，比如訪問每個對象的歷史，調用現(xiàn)場和分配網(wǎng)站等等。離線痕跡分析組件實質上是對抽象流的解釋。雖然它在執(zhí)行時有一些額外的開銷，但是我們用來測試的工具在運行交互應用時的速度并沒有受到影響，并且我們的用戶也沒有對性能有任何的抱怨。 Eval 函數(shù)觸發(fā)一個特定事件 的情形和源文件加載的情形是相似的，而經(jīng)過計算的字符串也將被保存，并像程序執(zhí)行時的其他部分一樣被追蹤分析。為了提高實驗的靈活性，我們的分析是在離線狀態(tài)下進行的。 跟蹤和分析 技術基礎 本文對基礎結構和跟蹤的研究是基于 WebKit 的網(wǎng)頁瀏覽器引擎的一個可以測量數(shù)據(jù)的版本，這個引擎現(xiàn)在被應用到了 Apple 的 Safari 瀏覽器上。之前的這些研究都對某種特定語言的某個特殊方面進行了非常詳盡的研究，收到他們的鼓舞，我們決定爭取為 JavaScript 也做出一個類似的概述，并為未來的研究留下一些詳細的數(shù)據(jù)以供參考。我們的研究結果表 明，在應用方面，JavaScript 比 Python 更加動態(tài)化。 Holkner 和也曾就 Python 語言動態(tài)特性的應用進行過研究（添加和刪除作用域和方法），它們的研究重點集中在一系列小的程序上面，并得出了它們之間存在明確區(qū)別的結論。以前在 javascript 應用 到安全領域時也確實有一些關于其動態(tài)行為的研究，但是那些研究只側重于和安全性緊密相關的部分。 到目前為止，據(jù)我們所知，還沒有可以在深度和廣度上具有相當 中原工學院信息商務學院畢業(yè)設計（論文）譯文專用紙 第 5頁 規(guī)模的 JavaScript 程序的動態(tài)行為的研究。但是我們想要強調這些已經(jīng)廣泛采用的現(xiàn)有技術的限制，并且指出在今后的研究中要面臨的挑戰(zhàn)。 本文的目 的是提供支持或否定以上假設的證據(jù)。 如 SunSpider， Dromaeo 和 V8這樣的基準測試平臺是用來評價和比較 JavaScript 的實現(xiàn)性能和計算靜態(tài)分析技術的準確性的。 一些基于跟蹤的即時編譯器，比如 TraceMonkey等，它們工作的基礎就建立在程序的執(zhí)行時間主要由小循環(huán)決定這個傳統(tǒng)的假設上。如果 JavaScript 的行為大致類似于其它面向對象的語言，這些技術會帶來良好的性能和使用 效果。 。 。 。 Eval 函數(shù)通常被用來計算任意字符串，它有可能使靜態(tài)分析或靜態(tài)類型檢查得到結果是無效的。 靜態(tài)分析方法通常更能接受這種不嚴密的做法，也可以對刪除做出處理，但我們到目前還沒有發(fā)現(xiàn)任何關于現(xiàn)有數(shù)據(jù)流分析技術的解釋。如果刪除的是一個特殊的情況（一個可以預測的情況），人們可以對這些未來可能被刪除的屬性使用一些潛在的類型。 。 大家一般都認為，對于動態(tài)語言來說，存在一個類似于“初始化階段”的時段，大部分的動態(tài)行為在這個時段發(fā)生，而在這個時段后應用程序大多都是靜態(tài)的。關于靜態(tài)分析的研究很典型，通常它們不涉及到 prototype 的更新或變化，然而，任何關于 prototype 層次結構的改變都有可能影響到應用程序的控制流程，而那些受到影響的對象的類型也會出現(xiàn)變數(shù)。 中原工學院信息商務學院畢業(yè)設計（論文）譯文專用紙 第 3頁 對象的層次結構是不變的。 ” 常見的關于 JavaScript 的動態(tài)行為的假設。所有這些類型系統(tǒng)都可以接受目標語言的一些簡單的簡化，但是他們要依靠相當類似假設。其他動態(tài)語言，如 Scheme 語言就成功的逐步應用到了類型系統(tǒng)中，但是其他方面的進展就相對有些停滯，比如缺乏有關面向對象的擴展的類型檢查（ Scheme 中用宏來實現(xiàn)）。最后，在被忽視了很長時間以后，JavaScript 實現(xiàn)很大的進步，目前最先進的即時編譯技術得到了應用。另一個研究方向則致力于提供更好的檢測工具，以幫助開發(fā)者盡早的發(fā)現(xiàn)程序中的漏洞。安全性可以說是 JavaScript 所要解決 中原工學院信息商務學院畢業(yè)設計（論文）譯文專用紙 第 2頁 的最緊迫的問題：到目前為止，已經(jīng)發(fā)生 了一些利用語言的動態(tài)性能進行惡意攻擊的案例（主要是能夠利用 JavaScript 訪問和修改共享文件的特點，通過 eval 函數(shù)植入惡意代碼）。 它一直被譽為互聯(lián)網(wǎng)界的“匯編語言”，和 Java以及 Scheme 語言類似， JavaScript 需要代碼生成工具的解釋。JavaScript 的成功是不可否認的。它不同于 Java、 C?；?Smalltalk 這些傳統(tǒng)語言，它不具有類，也不鼓勵封裝，甚至是結構化編程。我們 將根據(jù)這些JavaScript 程序得出具體的動態(tài)程度 ， 并與目前參考文獻中使用的假定數(shù)據(jù)和通用工業(yè)標準中的數(shù)據(jù)進行比較。許多這些技術 都 旨在 研究 在一些最 具有 動態(tài)特性的語言 ， 然而 很少人會清楚的知道 程序員是 如何利用語言的這些特性。 中原工學院信息商務學院畢業(yè)設計（論文）譯文專用紙 第 1頁 JavaScript 程序的動態(tài)行為分析 摘要 JavaScript 編程語言是廣泛用于 web 編程 的語言， 也越來越多地用于 特定目的的 計算 。 因此 ， 如何 提高正確性、安全性和 JavaScript 應用程序 的 性能 就成為了推動類型系統(tǒng)分析 ， 靜態(tài)分析和編譯 技術研究等領域發(fā)展的動力之一 。在本文中 ， 我們 將研究 一些 廣泛使用 JavaScript程序 的動態(tài)行為 ， 并分析如何以及為什么使用 這些 動態(tài)特性。 關鍵詞： 動態(tài)行為 ； 執(zhí)行跟蹤 ； 動態(tài)指標 ； 程序分析 ； JavaScript 介紹 JavaScript 是一種面向對象的語言，它可以通過客戶端的可執(zhí)行代碼讓用戶實現(xiàn)和網(wǎng)站的交互，它是在 1995 年由 Netscape 公司的 Brendan Eich 設計出的。與之對應的是， JavaScript 十分強調編程語言的靈活性。據(jù)相關數(shù)據(jù)顯示，當前最流行的 100 個網(wǎng)站中有 97 個都使用了它 .同時， JavaScript 語言還成為了許多辦公應用、瀏覽器應用以及開發(fā)環(huán)境等的通用計算平臺。由于這種成功，JavaScript 的已經(jīng)贏得了學術界的重視和尊重，而研究人員也開始將目光都集中在三個主要問題：安全性，正確性和性能。研究人員已經(jīng)提出一些解決方法，比如將靜態(tài)分析和實時監(jiān)控結合起來，以防御一些已知的攻擊。作為一種弱類型語言， JavaScript沒有類型聲明，并且只有再被訪問和調用時才進行實時監(jiān)控，因此為 JavaScript提供靜態(tài)類型的系統(tǒng)也就成為了很自然的事情。 動機及相關工作 我們最初研究 JavaScript 的動力在于評估一個靜態(tài)類型的系統(tǒng)是否能成功的驗證現(xiàn)有的 JavaScript 程序。對于 JavaScript， Anderson 等人提出了一種具有明確類型和潛在類型的類型系統(tǒng)，而 Heidegger 和 Thiemann 等人則把他們之前的工作向前推進了一 步，加入了一些最新的類型， Furr 等人則為DRuby 提出了一種相關的系統(tǒng)。舉例來說， Thiemann 寫道： “ 通常情況下，在初始化后幾不會再定義其他的類型了，而且對象的類型也基本不會發(fā)生變化。 我們將在下文中繼續(xù)列舉一些被公開發(fā)表或約定俗成的假設，這些假設已經(jīng)在參考文獻和具體程序中得到了廣泛的應用。 在創(chuàng)建一個新對象時， Prototype 層次的結構不會改變的假設對于一個類型系統(tǒng)的運行是非常重要的，因此我們甚至不會選擇給出 prototype 對象的模型。 。那么具體到 JavaScript 的情形，就是假設作用域和對象方法的大部