可信前端之路-代碼保護

分類:技術 時間:2016-09-24

0x00 前言

在信息安全領域,可信系統(Trusted system)是一個讓人心動的目標,它指的是一個通過實施特定的安全策略而達到一定可信程度的系統。

在計算機中,可信平臺模塊(Trusted Platform Module,TPM)已經投入使用,它符合可信賴計算組織(Trusted Computing Group,TCG)制定的TPM規范,是為了實現可信系統目標的而打造的一款安全芯片。作為可信系統的信任根,TPM是可信計算的核心模塊,為計算機安全提供了強有力的保障。

而在我們的web系統中,想打造一個可信系統似乎是個偽命題,quot;永遠不要相信客戶端的輸入quot;是基本的安全準則。實際上,在可信系統中的可信也并不是說真的是絕對安全,維基上對其的解釋為:“可信的”(Trusted)未必意味著對用戶而言是“值得信賴的”(Trustworthy)。確切而言,它意味著可以充分相信其行為會更全面地遵循設計,而 執行設計者和軟件編寫者所禁止的行為的概率很低。

ADVERTISEMENT

從這個角度講,我們把其當做一個美好的愿景,我們希望能夠構造一個web系統中的TPM,可以把惡意行為控制在一定的概率之內,從而實現一個相對可信的web系統。

0x01 可信前端

在可信系統中,TPM的一個重要作用就是鑒別消息來源的真實性,保障終端的可信。在web系統中,我們的消息來源就是用戶。隨著撞庫、惡意注冊、薅羊毛等產業的蓬勃發展,在越來越多的場景我們需要鑒別請求數據是否來自真實的用戶,保護真實用戶的數據安全。

所以想要構造一個web系統中的TPM,首要問題就是需要保證輸入數據安全,打造一個相對可信的前端環境。但是由于web的開放特性,前端作為數據采集的最前線,js代碼始終暴露在外,在這種情況下,防止惡意偽造請求變得非常困難,可信前端也就成了無稽之談。

在反復對抗中,代碼保護也就是通常意義上的js代碼混淆的重要性逐漸彰顯出來。今天我就想和大家聊一聊js混淆的問題。

ADVERTISEMENT

1、為什么需要js混淆

顯而易見,是為了保護我們的前端代碼邏輯。

在web系統發展早期,js在web系統中承擔的職責并不多,只是簡單的提交表單,js文件非常簡單,也不需要任何的保護。

隨著js文件體積的增大,為了縮小js體積,加快http傳輸速度,開始出現了很多對js的壓縮工具,比如 uglify、compressor、clouser。。。它們的工作主要是

middot;合并多個js文件

middot;去除js代碼里面的空格和換行

middot;壓縮js里面的變量名

middot;剔除掉注釋

壓縮后的代碼

雖然壓縮工具出發點都是為了減少js文件的體積,但是人們發現壓縮替換后的代碼已經比源代碼可讀性差了很多,間接起到了代碼保護的作用,于是壓縮js文件成為了前端發布的標配之一。但是后來市面上主流瀏覽器chrome、Firefox等都提供了js格式化的功能,能夠很快的把壓縮后的js美化,再加上現代瀏覽器強大的debug功能,單純壓縮過的js代碼對于真正懷有惡意的人,已經不能起到很好的防御工作,出現了quot;防君子不防小人quot;的尷尬局面。

ADVERTISEMENT

chrome開發者工具格式化之后的代碼

而在web應用越來越豐富的今天,伴隨著瀏覽器性能和網速的提高,js承載了更多的工作,不少后端邏輯都在向前端轉移,與此同時也讓更多的不法分子有機可乘。在web模型中,js往往是不法分子的第一個突破口。知曉了前端邏輯,不法分子可以模擬成一個正常的用戶來實施自己的惡意行為。所以,在很多登錄、注冊、支付、交易等等頁面中,關鍵業務和風控系統依賴的js都不希望被人輕易的破解,js混淆應運而生。

2、js混淆是不是紙老虎

這是一個老生常談的問題。實際上,代碼混淆早就不是一個新鮮的名詞,在桌面軟件時代,大多數的軟件都會進行代碼混淆、加殼等手段來保護自己的代碼。Java和.NET都有對應的混淆器。黑客們對這個當然也不陌生,許多病毒程序為了反查殺,也會進行高度的混淆。只不過由于js是動態腳本語言,在http中傳輸的就是源代碼,逆向起來要比打包編譯后的軟件簡單很多,很多人因此覺得混淆是多此一舉。

ADVERTISEMENT

.NET混淆器dotFuscator

其實正是因為js傳輸的就是源代碼,我們才需要進行混淆,暴露在外的代碼沒有絕對的安全,但是在對抗中,精心設計的混淆代碼能夠給破壞者帶來不小的麻煩,也能夠為防守者爭取更多的時間,相對于破解來說,混淆器規則的更替成本要小得多,在高強度的攻防中,可以大大增加破解者的工作量,起到防御作用。從這個角度來講,關鍵代碼進行混淆是必不可少的步驟。

3、如何進行js混淆

js混淆器大致有兩種:

middot;通過正則替換實現的混淆器

middot;通過語法樹替換實現的混淆器

第一種實現成本低,但是效果也一般,適合對混淆要求不高的場景。 第二種實現成本較高,但是更靈活,而且更安全,更適合對抗場景,我這里主要講一下第二種。 基于語法層面的混淆器其實類似于編譯器,基本原理和編譯器類似,我們先對編譯器做一些基本的介紹。

名詞解釋

token: 詞法單元,也有叫詞法記號的,詞法分析器的產物,文本流被分割后的最小單位。

AST: 抽象語法樹,語法分析器的產物,是源代碼的抽象語法結構的樹狀表現形式。

編譯器VS混淆器

編譯器工作流程

簡單的說,當我們讀入一段字符串文本(source code),詞法分析器會把它拆成一個一個小的單位(token),比如數字1 是一個token, 字符串'abc'是一個token等等。接下來語法分析器會把這些單位組成一顆樹狀結構(AST),這個樹狀結構就代表了token們的組成關系。比如 1 2 就會展示成一棵加法樹,左右子節點分別是token - 1 和token - 2 ,中間token表示加法。編譯器根據生成的AST轉換到中間代碼,最終轉換成機器代碼。

對編譯器更多細節感興趣的同學可以移步龍書: 編譯原理

混淆器工作流程

編譯器需要把源代碼編譯成中間代碼或者機器碼,而我們的混淆器輸出其實還是js。所以我們從語法分析之后往下的步驟并不需要。想想我們的目標是什么,是修改原有的js代碼結構,在這里面這個結構對應的是什么呢?就是AST。任何一段正確的js代碼一定可以組成一顆AST,同樣,因為AST表示了各個token的邏輯關系,我們也可以通過AST反過來生成一段js代碼。所以,你只需要構造出一顆AST,就能生成任何js代碼!混淆過程如上右圖所示

通過修改AST生成一個新的AST,新的AST就可以對應新的JavaScript代碼。

規則設計

知道了大致的混淆流程,最重要的環節就是設計規則。我們上面說了,我們需要生成新的AST結構意味著會生成和源代碼不一樣的js代碼,但是我們的混淆是不能破壞原有代碼的執行結果的,所以混淆規則必須保證是在不破壞代碼執行結果的情況下,讓代碼變得更難以閱讀。

具體的混淆規則各位可以自行根據需求設計,比如拆分字符串、拆分數組,增加廢代碼等等。

參考:提供商業混淆服務的 jscramble 的混淆規則

實現

很多人看到這里就望而卻步,因為詞法分析和文法分析對編譯原理要求較高。其實這些現在都有工具可以幫助搞定了,借助工具,我們可以直接進行最后一步,對AST的修改。

市面上JavaScript詞法和文法分析器有很多,比如其實v8就是一個,還有mozilla的 SpiderMonkey , 知名的 esprima 等等,我這里要推薦的是 uglify ,一個基于nodejs的解析器。它具有以下功能:

middot;parser,把 JavaScript 代碼解析成抽象語法樹

middot;code generator,通過抽象語法樹生成代碼

middot;scope analyzer,分析變量定義的工具

middot;tree walker,遍歷樹節點

middot;tree transformer,改變樹節點

對比下我上面給出的混淆器設計的圖,發現其實只需要修改語法樹 這一步自己完成。

實例

說了這么多,可能很多人還是一頭霧水,為了幫助各位理解,我準備了一個簡單的例子,假設我們的混淆規則是想把 var a = 1; 中的數字1換成16進制,我們該如何設計混淆器呢。首先對源代碼做詞法分析和語法分析,uglify一個方法就搞定了,生成一顆語法樹,我們需要做的就是找到語法樹中的數字然后修改成16進制的結果,如下圖所示:

實例代碼:

var UglifyJS = require(quot;uglify-jsquot;);

var code = quot;var a = 1;quot;;

var toplevel = UglifyJS.parse(code); //toplevel就是語法樹

var transformer = new UglifyJS.TreeTransformer(function (node) {

if (node instanceof UglifyJS.AST_Number) { //查找需要修改的葉子節點

node.value = 'http://www.tuicool.com/articles/0x' Number(node.value).toString(16);

return node; //返回一個新的葉子節點 替換原來的葉子節點

};

});

toplevel.transform(transformer); //遍歷AST樹

var ncode = toplevel.print_to_string(); //從AST還原成字符串

console.log(ncode); // var a = 0x1;

上面的代碼很簡單,首先通過parse方法構建語法樹,然后通過TreeTransformer遍歷語法樹,當遇到節點屬于UglifyJS.AST_Number類型(所有的AST類型見 ast ),這個token具有一個屬性 value 保存著數字類型的具體值,我們將其改成16進制表示,然后 return node 就會用新的節點代替原來的節點。

效果展示

貼一個我自己設計的混淆器混淆前后代碼:

4、混淆對性能的影響

由于增加了廢代碼,改變了原有的AST,混淆對性能肯定會造成一定的影響,但是我們可以通過規則來控制影響的大小。

middot;減少循環混淆,循環太多會直接影響代碼執行效率

middot;避免過多的字符串拼接,因為字符串拼接在低版本IE下面會有性能問題

middot;控制代碼體積,在插入廢代碼時應該控制插入比例,文件過大會給網絡請求和代碼執行都帶來壓力

我們通過一定的規則完全可以把性能影響控制在一個合理的范圍內,實際上,有一些混淆規則反而會加快代碼的執行,比如變量名和屬性名的壓縮混淆,會減小文件體積,比如對全局變量的復制,會減少作用域的查找等等。 在現代瀏覽器中,混淆對代碼的影響越來越小,我們只需要注意合理的混淆規則,完全可以放心的使用混淆。

5、混淆的安全性

混淆的目的是保護代碼,但是如果因為混淆影響了正常功能就舍本逐末了。

由于混淆后的AST已經和原AST完全不同了,但是混淆后文件的和原文件執行結果必須一樣,如何保證既兼顧了混淆強度,又不破壞代碼執行呢?高覆蓋的測試必不可少:

middot;對自己的混淆器寫詳盡的單元測試

middot;對混淆的目標代碼做高覆蓋的功能測試,保證混淆前后代碼執行結果完全一樣

middot;多樣本測試,可以混淆單元測試已經完備了的類庫,比如混淆 Jquery 、AngularJS等,然后拿混淆后的代碼去跑它們的單元測試,保證和混淆前執行結果完全一樣

0x02 總結

middot;可信web系統是我們的愿景

middot;可信web系統離不開可信的前端環境

middot;js混淆在對抗中必不可少

middot;實現一款自己的混淆器并沒有那么難

middot;混淆器對性能的影響是可控的

0x03 參考

https://en.wikipedia.org/wiki/Trusted_Platform_Module

https://en.wikipedia.org/wiki/Trusted_system

http://lisperator.net/uglifyjs

http://esprima.org

作者: 莫念@ 阿里安全,更多安全類文章,請訪問阿里聚安全博客


Tags: JavaScript

文章來源:http://jaq.alibaba.com/community/art/show?articlei



相關文章
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01