剖析SWF文件結(jié)構(gòu)

探秘AVM運(yùn)行原理——Bylaan2009.12.221.Why1.明白自己在做什么2.更底層的了解一些現(xiàn)象堆棧不平衡、類型錯(cuò)誤errorlist3.優(yōu)化你的程序4.加密和破解5.重構(gòu)虛擬機(jī)——如果你足夠NX的話2.SWF文件結(jié)構(gòu)JustFlashplayer9++HeadTagTagTag…1.FWS|CWS2.PlayerVersion3.FileLength4.FrameSize(Stagesize*20)5.FrameRate6.FrameCountTagIDTagLengthTagData3.HeadData1.FWS|CWS2.PlayerVersion3.FileLength4.FrameSize5.FrameRate6.FrameCount4.TagFileAttributesTag as3GPU

networkMetadataTag 攜帶信息DoABCTagShowFrameTagEndTag

攜帶數(shù)據(jù)，加密SymbolClassTagProtectTag 防止導(dǎo)入ScriptLimitTag 遞歸深度腳本運(yùn)行時(shí)間SetBackgroundColor

Tag 設(shè)置背景5.DoABCTagTagIDTagLengthTagData82nameAbc72TagHaxe加密

AVM2ActionscriptVirtualMachine6.AVM21.ABCdata(ActionscriptByteCode)3.運(yùn)行原理2.ABC數(shù)據(jù)結(jié)構(gòu)4.指令7.ClassTest{privatevara:String;privateconstBIG:uint=50;privatefunctiontest():void{trace(doStr());

functiondoStr():String{return“NULL”}}}ABC數(shù)據(jù)結(jié)構(gòu)ScriptClassInstanceTraitMethodMethodBodypccode結(jié)構(gòu)由大到小MedthodTraitSlot/ConstTraitClassTraitFunctionTrait8.AVM2運(yùn)行原理ABCLoadLinkVerifyExecuteLoad:加載ABC數(shù)據(jù)到內(nèi)存并解析，得到所有數(shù)據(jù)單元Script,Class,Instance,Trait,Strings,…Link:各單元之間的關(guān)系建立比如Class與Instance，Method與MethodBodyVerify:檢查各abc數(shù)據(jù)的正確性

。要是不檢查正確性，player可以做很多壞事分支檢查，堆棧檢查，比如一個(gè)MethodBody被鏈接到兩個(gè)Method上Execute:開始執(zhí)行ABC數(shù)據(jù)。官方：最后一個(gè)script結(jié)構(gòu)的init方法Actually：文檔類所在Script結(jié)構(gòu)的init方法9.CallMethodMethodBodyStackScopepccodesLocaldataCallMethod0getlocal0 1pushscope2pushnull 3coerce_s 4setlocal1 5pushstring7setlocal1 8getlocal1 9pushstring …10.程序優(yōu)化從pccode層面來程序優(yōu)化…1.程序運(yùn)行時(shí)間的消耗在哪兒？2.局部變量3.Dynamic會快還是會慢？4.Swich還是ifelse，是個(gè)問題5.Trycatch的優(yōu)化1.屬性、方法訪問時(shí)的搜索2.分支跳轉(zhuǎn)局部變量一般情況下是不會編譯到swf中去。所以無需考慮其長度比如vartheLengthOfArray:uintLookupswitch指令的特殊結(jié)構(gòu)。動態(tài)調(diào)用會消耗更多的搜索時(shí)間。保存局部變量名稱…11.Whereshouldwegonext?1.各