lua虚拟机解密思路分享

a1156439341

总结：自定义 Lua 虚拟机 + 字节码混淆
这个脚本自定义了一个解释器来执行字节码，直接用LUA板块提供的luadec\unluac工具没法搞的，发现这个要比那个复杂的多；
貌似就是lua版块说的“简单异或/减法混淆”加密的，而且V10里面也不是标准的Lua 字节码，就是不知道先恢复那个；


那个字节码也太长了，我应该用正则表达式换行下再发

1. local _pv = function(_t, _k) local _o = {} for _i = 1, #_t do _o[_i] = string.char(((_t[_i] - (_k + _i) * 3) % 256) % 256) end return table.concat(_o) end
   
2. 
   
3. return (function()
   
4. local v0=tonumber
   
5. local v1=string.byte
   
6. local v2=string.char
   
7. local v3=string.sub
   
8. local v4=table.concat
   
9. local v5=math.ldexp
   
10. local v6=math.floor
    
11. local v7=select
    
12. local v8=unpack or table.unpack
    
13. local v9=type
    
14. local va=rawget
    
15. local vb=rawset
    
16. local vc=setmetatable
    
17. local vd=pcall
    
18. local ve=error
    
19. local vf=getfenv
    
20. local vg=setfenv
    
21. local vh=(vc and vc({}, {__mode="k"}) or {})
    
22. local function v10(v11,v12,...)
    
23. local v13=1
    
24. local v14
    
25. do local _t={}
    
26. local _s=v3(v11,5)
    
27. local _p=1 local _n=#_s
    
28. while _p<=_n do
    
29. local _h=v0(v3(_s,_p,_p+1),16)
    
30. _t[#_t+1]=v2(_h)
    
31. _p=_p+2
    
32. end
    
33. v14=v4(_t)
    
34. end
    
35. v11=v14
    
36. local function v15()local b=v1(v11,v13)v13=v13+1 return b end
    
37. local function v16()local a,b=v1(v11,v13,v13+1)v13=v13+2 return b*256+a end
    
38. local function v17()local a,b,c,d=v1(v11,v13,v13+3)v13=v13+4 return d*16777216+c*65536+b*256+a end
    
39. local function v18()
    
40. local lo=v17()local hi=v17()
    
41. local sign=1
    
42. local mantissa=(hi%1048576)*4294967296+lo
    
43. local exp=v6(hi/1048576)%2048
    
44. if v6(hi/2147483648)%2==1 then sign=-1 end
    
45. if exp==0 then if mantissa==0 then return sign*0 else exp=1 end
    
46. elseif exp==2047 then return mantissa==0 and sign*(1/0)or 0/0 end
    
47. return v5(sign,exp-1023)*(1+mantissa/4503599627370496)end
    
48. local function v19()
    
49. local n=v17()if n==0 then return""end
    
50. local _s=v13 v13=v13+n
    
51. local t={}for i=1,n do
    
52. t[i]=v2((v1(v11,_s+i-1)-175-i*7)%256)
    
53. end return v4(t)end
    
54. local function v20()
    
55. local _u=v15()local _p=v15()local _va=v15()local _ms=v15()
    
56. local _inst={}
    
57. local _ni=v17()
    
58. for _i=1,_ni do
    
59. local _raw=v17()
    
60. _raw=(_raw-615)%4294967296
    
61. local _op=_raw%64
    
62. local _a=v6(_raw/64)%256
    
63. local _c=v6(_raw/16384)%512
    
64. local _b=v6(_raw/8388608)%512
    
65. local _bx=v6(_raw/16384)%262144
    
66. local _sbx=_bx-131071
    
67. _inst[_i]={_op,_a,_b,_c,_bx,_sbx}
    
68. end
    
69. local _consts={}
    
70. local _nc=v17()
    
71. for _i=1,_nc do
    
72. local _t=v15()
    
73. if _t==0 then _consts[_i-1]=nil
    
74. elseif _t==1 then _consts[_i-1]=v15()~=0
    
75. elseif _t==2 then _consts[_i-1]=v18()
    
76. elseif _t==3 then _consts[_i-1]=v19()
    
77. end end
    
78. local _protos={}
    
79. local _np=v17()
    
80. for _i=1,_np do
    
81. local _sz=v17()
    
82. _protos[_i-1]=v20()
    
83. end
    
84. return{_inst,_protos,_u,_consts,_p,_va,_ms}
    
85. end
    
86. local function v21(v22,v23,v24)
    
87. local _inst=v22[1]
    
88. local _protos=v22[2]
    
89. local _nupvals=v22[3]
    
90. local _consts=v22[4]
    
91. local _nparams=v22[5]
    
92. local _vararg=v22[6]
    
93. local _stacksz=v22[7]
    
94. local _envref={v24}
    
95. local _self
    
96. _self=function(...)
    
97. local _undo={}
    
98. local _seen={}
    
99. local _vm_getfenv
    
100. local _vm_setfenv
     
101. local function _patch(_tbl,_key,_val)
     
102. if v9(_tbl)~="table" then return end
     
103. local _mark=_seen[_tbl]
     
104. if not _mark then _mark={} _seen[_tbl]=_mark end
     
105. if _mark[_key] then return end
     
106. local _old=va(_tbl,_key)
     
107. _undo[#_undo+1]={_tbl,_key,_old}
     
108. vb(_tbl,_key,_val)
     
109. _mark[_key]=true
     
110. end
     
111. local function _resolvetbl(_tbl,_key)
     
112. if v9(_tbl)~="table" then return nil end
     
113. local _val=va(_tbl,_key)
     
114. if v9(_val)=="table" then return _val end
     
115. local _ok,_res=vd(function() return _tbl[_key] end)
     
116. if _ok and v9(_res)=="table" then return _res end
     
117. return nil
     
118. end
     
119. local function _patchenv(_tbl)
     
120. if v9(_tbl)~="table" then return end
     
121. _patch(_tbl,"getfenv",_vm_getfenv)
     
122. _patch(_tbl,"setfenv",_vm_setfenv)
     
123. local _g=_resolvetbl(_tbl,"GLOBAL")
     
124. if v9(_g)=="table" then
     
125.   _patch(_g,"getfenv",_vm_getfenv)
     
126.   _patch(_g,"setfenv",_vm_setfenv)
     
127. end
     
128. local _gg=_resolvetbl(_tbl,"_G")
     
129. if v9(_gg)=="table" and _gg~=_g then
     
130.   _patch(_gg,"getfenv",_vm_getfenv)
     
131.   _patch(_gg,"setfenv",_vm_setfenv)
     
132. end
     
133. end
     
134. local function _restoreenv()
     
135. for _i=#_undo,1,-1 do
     
136. local _r=_undo[_i]
     
137. vb(_r[1],_r[2],_r[3])
     
138. end
     
139. end
     
140. _vm_getfenv=function(_f)
     
141. if _f==nil then _f=1 end
     
142. if _f==1 then return _envref[1] end
     
143. local _tf=v9(_f)
     
144. if _tf=="function" then
     
145.   local _cell=vh[_f]
     
146.   if _cell then return _cell[1] end
     
147. end
     
148. if _tf=="number" and _f>1 and vf then return vf(_f+1) end
     
149. if vf then return vf(_f) end
     
150. return nil
     
151. end
     
152. _vm_setfenv=function(_f,_e)
     
153. if _f==nil then _f=1 end
     
154. local _tf=v9(_f)
     
155. if _f==1 then
     
156.   _envref[1]=_e
     
157.   _patchenv(_e)
     
158.   if vg then vd(vg,_self,_e) end
     
159.   return _self
     
160. end
     
161. if _tf=="function" then
     
162.   local _cell=vh[_f]
     
163.   if _cell then
     
164.     _cell[1]=_e
     
165.     _patchenv(_e)
     
166.     if vg then vd(vg,_f,_e) end
     
167.     return _f
     
168.   end
     
169. end
     
170. if _tf=="number" and _f>1 and vg then return vg(_f+1,_e) end
     
171. if vg then return vg(_f,_e) end
     
172. return _f
     
173. end
     
174. _patchenv(_envref[1])
     
175. local _call_args={...}
     
176. local _call_nargs=v7("#",...)
     
177. local function _exec()
     
178. local _stk={}
     
179. local _top=-1
     
180. local _pc=1
     
181. local _upvs=v23 or{}
     
182. local _args=_call_args
     
183. local _nargs=_call_nargs
     
184. local _varargs={}
     
185. local _openupvs={}
     
186. local function _pack(...) return {n=v7("#",...),...} end
     
187. local function _getreg(_idx)
     
188. local _cell=_openupvs[_idx]
     
189. if _cell then return _cell[1] end
     
190. return _stk[_idx]
     
191. end
     
192. local function _setreg(_idx,_val)
     
193. _stk[_idx]=_val
     
194. local _cell=_openupvs[_idx]
     
195. if _cell then _cell[1]=_val end
     
196. return _val
     
197. end
     
198. for _i=0,_nparams-1 do _stk[_i]=_args[_i+1]end
     
199. if _vararg>=2 then for _i=_nparams,_nargs-1 do _varargs[_i-_nparams]=_args[_i+1]end end
     
200. local _nvargs=_nargs-_nparams
     
201. if _nvargs<0 then _nvargs=0 end
     
202. local function _rk(v)if v>=256 then return _consts[v-256]else return _getreg(v)end end
     
203. while true do
     
204. local _i=_inst[_pc]
     
205. local _op=_i[1]
     
206. local _a=_i[2]
     
207. local _b=_i[3]
     
208. local _c=_i[4]
     
209. local _bx=_i[5]
     
210. local _sbx=_i[6]
     
211. if _op<19 then
     
212.   if _op<9 then
     
213.     if _op<4 then
     
214.       if _op<2 then
     
215.         if _op==0 then
     
216.           _getreg(_a)[_rk(_b)]=_rk(_c)
     
217.         end
     
218.         if _op==1 then
     
219.           _setreg(_a,_getreg(_b))
     
220.         end
     
221.       else
     
222.         if _op==2 then
     
223.           for _j=_a,_b do _setreg(_j,nil) end
     
224.         end
     
225.         if _op==3 then
     
226.           for _ck,_ in pairs(_openupvs)do if _ck>=_a then _openupvs[_ck]=nil end end
     
227.         end
     
228.       end
     
229.     else
     
230.       if _op<6 then
     
231.         if _op==4 then
     
232.           _setreg(_a,_getreg(_b)[_rk(_c)])
     
233.         end
     
234.         if _op==5 then
     
235.           local _cp=_protos[_bx]
     
236.           local _nups=_cp[3]
     
237.           local _ups={}
     
238.           _setreg(_a,v21(_cp,_ups,_envref[1]))
     
239.           for _j=1,_nups do
     
240.             _pc=_pc+1
     
241.             local _pi=_inst[_pc]
     
242.             if _pi[1]==1 then
     
243.               local _reg=_pi[3]
     
244.               if not _openupvs[_reg]then _openupvs[_reg]={_stk[_reg]}end
     
245.               _ups[_j-1]=_openupvs[_reg]
     
246.             else _ups[_j-1]=_upvs[_pi[3]]end
     
247.           end
     
248.         end
     
249.       else
     
250.         if _op<7 then
     
251.           if _op==6 then
     
252.             _setreg(_a,_consts[_bx])
     
253.           end
     
254.         else
     
255.           if _op==7 then
     
256.             _pc=_pc+_sbx
     
257.           end
     
258.           if _op==8 then
     
259.             if vb and v9(_envref[1])=="table" then
     
260.               vb(_envref[1],_consts[_bx],_getreg(_a))
     
261.             else
     
262.               _envref[1][_consts[_bx]]=_getreg(_a)
     
263.             end
     
264.           end
     
265.         end
     
266.       end
     
267.     end
     
268.   else
     
269.     if _op<14 then
     
270.       if _op<11 then
     
271.         if _op==9 then
     
272.           _setreg(_a,_rk(_b)+_rk(_c))
     
273.         end
     
274.         if _op==10 then
     
275.           if _b==0 then
     
276.             local _nret=_top-_a+1
     
277.             if _nret<0 then _nret=0 end
     
278.             local _r={}for _j=1,_nret do _r[_j]=_getreg(_a+_j-1)end return v8(_r,1,_nret)
     
279.           elseif _b==1 then return
     
280.           else
     
281.             local _nret=_b-1
     
282.             local _r={}for _j=1,_nret do _r[_j]=_getreg(_a+_j-1)end return v8(_r,1,_nret)
     
283.           end
     
284.         end
     
285.       else
     
286.         if _op<12 then
     
287.           if _op==11 then
     
288.             local _selfobj=_getreg(_b)
     
289.             _setreg(_a+1,_selfobj)
     
290.             _setreg(_a,_selfobj[_rk(_c)])
     
291.           end
     
292.         else
     
293.           if _op==12 then
     
294.             if(_rk(_b)==_rk(_c))~=(_a~=0)then _pc=_pc+1 end
     
295.           end
     
296.           if _op==13 then
     
297.             _setreg(_a,not _getreg(_b))
     
298.           end
     
299.         end
     
300.       end
     
301.     else
     
302.       if _op<16 then
     
303.         if _op==14 then
     
304.           local _fn=_getreg(_a)
     
305.           local _args2={}
     
306.           local _argc=0
     
307.           if _b==0 then
     
308.             _argc=_top-_a
     
309.             if _argc<0 then _argc=0 end
     
310.             for _j=1,_argc do _args2[_j]=_getreg(_a+_j)end
     
311.           else
     
312.             _argc=_b-1
     
313.             for _j=1,_argc do _args2[_j]=_getreg(_a+_j)end
     
314.           end
     
315.           return _fn(v8(_args2,1,_argc))
     
316.         end
     
317.         if _op==15 then
     
318.           _setreg(_a,#_getreg(_b))
     
319.         end
     
320.       else
     
321.         if _op<17 then
     
322.           if _op==16 then
     
323.             if(_rk(_b)<=_rk(_c))~=(_a~=0)then _pc=_pc+1 end
     
324.           end
     
325.         else
     
326.           if _op==17 then
     
327.             local _fn=_getreg(_a)
     
328.             local _args2={}
     
329.             local _argc=0
     
330.             if _b==0 then
     
331.               _argc=_top-_a
     
332.               if _argc<0 then _argc=0 end
     
333.               for _j=1,_argc do _args2[_j]=_getreg(_a+_j)end
     
334.             elseif _b>1 then
     
335.               _argc=_b-1
     
336.               for _j=1,_argc do _args2[_j]=_getreg(_a+_j)end
     
337.             end
     
338.             local _senv=_envref[1]
     
339.             local _rets=_pack(_fn(v8(_args2,1,_argc)))
     
340.             if _fn~=_vm_setfenv and _fn~=_vm_getfenv then _envref[1]=_senv end
     
341.             if _c==0 then
     
342.               _top=_a+_rets.n-1
     
343.               for _j=1,_rets.n do _setreg(_a+_j-1,_rets[_j])end
     
344.             elseif _c>1 then for _j=1,_c-1 do _setreg(_a+_j-1,_rets[_j])end end
     
345.           end
     
346.           if _op==18 then
     
347.             local _tbl=_getreg(_a)
     
348.             local _off=(_c-1)*50
     
349.             if _b==0 then
     
350.               for _j=1,_top-_a do _tbl[_off+_j]=_getreg(_a+_j)end
     
351.             else
     
352.               for _j=1,_b do _tbl[_off+_j]=_getreg(_a+_j)end
     
353.             end
     
354.           end
     
355.         end
     
356.       end
     
357.     end
     
358.   end
     
359. else
     
360.   if _op<28 then
     
361.     if _op<23 then
     
362.       if _op<21 then
     
363.         if _op==19 then
     
364.           if(_rk(_b)<_rk(_c))~=(_a~=0)then _pc=_pc+1 end
     
365.         end
     
366.         if _op==20 then
     
367.           if(not not _getreg(_b))==(_c==0)then _pc=_pc+1
     
368.           else _setreg(_a,_getreg(_b))end
     
369.         end
     
370.       else
     
371.         if _op==21 then
     
372.           local _step=_getreg(_a+2)
     
373.           local _idx=_getreg(_a)+_step
     
374.           _setreg(_a,_idx)
     
375.           if _step>0 then
     
376.             if _idx<=_getreg(_a+1)then _pc=_pc+_sbx _setreg(_a+3,_idx)end
     
377.           else
     
378.             if _idx>=_getreg(_a+1)then _pc=_pc+_sbx _setreg(_a+3,_idx)end
     
379.           end
     
380.         end
     
381.         if _op==22 then
     
382.           _setreg(_a,-_getreg(_b))
     
383.         end
     
384.       end
     
385.     else
     
386.       if _op<25 then
     
387.         if _op==23 then
     
388.           _upvs[_b][1]=_getreg(_a)
     
389.         end
     
390.         if _op==24 then
     
391.           _setreg(_a,_upvs[_b][1])
     
392.         end
     
393.       else
     
394.         if _op<26 then
     
395.           if _op==25 then
     
396.             _setreg(_a,_rk(_b)%_rk(_c))
     
397.           end
     
398.         else
     
399.           if _op==26 then
     
400.             local _buf=_getreg(_b)
     
401.             for _j=_b+1,_c do _buf=_buf.._getreg(_j)end
     
402.             _setreg(_a,_buf)
     
403.           end
     
404.           if _op==27 then
     
405.             _setreg(_a,_b~=0)
     
406.             if _c~=0 then _pc=_pc+1 end
     
407.           end
     
408.         end
     
409.       end
     
410.     end
     
411.   else
     
412.     if _op<33 then
     
413.       if _op<30 then
     
414.         if _op==28 then
     
415.           _setreg(_a,_getreg(_a)-_getreg(_a+2))
     
416.           _pc=_pc+_sbx
     
417.         end
     
418.         if _op==29 then
     
419.           _setreg(_a,_envref[1][_consts[_bx]])
     
420.         end
     
421.       else
     
422.         if _op<31 then
     
423.           if _op==30 then
     
424.             local _rets={_getreg(_a)(_getreg(_a+1),_getreg(_a+2))}
     
425.             for _j=1,_c do _setreg(_a+2+_j,_rets[_j])end
     
426.             if _rets[1]~=nil then _setreg(_a+2,_rets[1])else _pc=_pc+1 end
     
427.           end
     
428.         else
     
429.           if _op==31 then
     
430.             _setreg(_a,{})
     
431.           end
     
432.           if _op==32 then
     
433.             _setreg(_a,_rk(_b)*_rk(_c))
     
434.           end
     
435.         end
     
436.       end
     
437.     else
     
438.       if _op<35 then
     
439.         if _op==33 then
     
440.           _setreg(_a,_rk(_b)-_rk(_c))
     
441.         end
     
442.         if _op==34 then
     
443.           _setreg(_a,_rk(_b)^_rk(_c))
     
444.         end
     
445.       else
     
446.         if _op<36 then
     
447.           if _op==35 then
     
448.             if _b==0 then
     
449.               _top=_a+_nvargs-1
     
450.               for _j=0,_nvargs-1 do _setreg(_a+_j,_varargs[_j])end
     
451.             else
     
452.               for _j=0,_b-2 do _setreg(_a+_j,_varargs[_j])end
     
453.             end
     
454.           end
     
455.         else
     
456.           if _op==36 then
     
457.             _setreg(_a,_rk(_b)/_rk(_c))
     
458.           end
     
459.           if _op==37 then
     
460.             if(not not _getreg(_a))==(_c==0)then _pc=_pc+1 end
     
461.           end
     
462.         end
     
463.       end
     
464.     end
     
465.   end
     
466. end
     
467. _pc=_pc+1
     
468. end
     
469. end
     
470. local _ret={vd(_exec)}
     
471. _restoreenv()
     
472. if not _ret[1] then ve(_ret[2],0) end
     
473. return v8(_ret,2,#_ret)
     
474. end
     
475. if vg then vd(vg,_self,_envref[1]) end
     
476. vh[_self]=_envref
     
477. return _self
     
478. end
     
479. local _proto=v20()
     
480. return v21(_proto,nil,v12)(...)
     
481. end
     
482. return v10("DST!0000020A390000008A020001C4020000EC020000A7828080C4820000ABC2C00004830000EB0241012D43010084830000F842800106038002460300016D830100ADC301003943000186030001AD030200ED43020079430001C6030001ED8302002DC40200B9430001060400012D0403006D440300F9430001460400016D840300ADC4030039440001F9428002460300036D030400AD430400ED8304002DC404006D840100AD040500394300036D430500AC4300006802800168020002680200010484050044C405006D040600A8048002F8430002EA020000EC820000EF420600ECC20000EF820600710280001B00000003060000002931363440400305000000292D3034460306000000FD09130D132503020000001F2C03070000002922383137475602000000000000F03F020000000000005F40020000000000001440020000000000005C40020000000000002840020000000000005A40020000000000001C40020000000000406140020000000000003740020000000000405B40020000000000002240020000000000805B40020000000000406040020000000000206040020000000000405D40020000000000C05F40020000000000002A400306000000281E3B3E374D030200000015040312000000052B0844401B55505A594F7A6B816B9894900316000000171F2D3233424C4654616B7A6F8377889496A89AA8B70312000000182236393B3E3F49575C5B6C787A8C7E8C9B04000000B1000000000200080D00000006030000440300002B43C0016D830000A80380003883800172C34000E80380012C0400006802000178430002F10200017102800004000000030600000029313634404003060000001C2C3638334D0308000000DE1822F045360B1003040000001D30392D010000003D0000000101000406000000C4020000AB42C000FF02000028030000B8428001710280000200000003050000002A1E26373703060000001F2B3730444D0000000014020000030100040D000000C4020000EC020000680200007F0200007F0280007F020001B8C20001CC4200006E4200804203800031030001F102000171028000010000000305000000262025373E01000000C20100000400000B4F00000084020000BF02000078820001734240006E8200807F020000738240006E42008082028000710200016D820000ADC20000FF028000F60200012DC30000C3020280A803000004440000EB0341033F0480002B0481037F04000148048203F883000181828102BC42FD7FAD820000EDC200003F038001360380016DC3000003430280FF038001EB43010328048000844400006B044104ABC44003EB444103C884820478840001C1028203FC02FD7F048301002DC301006D030200AD43020041438101EBC200010C4300006E42008042038000310300012D8302006D030200ADC30200414381016BC30001A8030001FF030000788380018C4300006E420080C2038000B1030001AB0300027302C3026E42008002048000F10300010444030028048002F8830001B34200036E0200800244000002048000F1030001710280000E00000003040000002A3634300306000000293136344040030000000002000000000000F03F03040000001925253D020000000000000040030200000015040305000000012B3342400303000000032C280305000000FF2B28304A0303000000FD22380304000000FF2B2A3A0003080000002A2C373F44424E4E000000008E010000000200062200000004030000EB4240010C4300006E02008071028000EB8240000C0300006E820180EBC240000C0300006EC20080EB824000F20241016BC34000F8428001EB424100F282410168038000ADC30100F8420002EB024200EB424201F282420172C3420078030001F842000004430300EB824301280380006DC30300AD030400F882000267820086710280001100000003080000000A252922414B4C4B030B0000001F30312C454D4559615E69030E0000001C293342374B3F5A595E6A627375030700000029282D3931424403030000002922380309000000F72B2D38254D415B5303070000000922381E3D424E0315000000171F2D3233424C4654616B7A6F8377918BA4A3ADAD030A000000192C313B414745556268030D0000001F2B3A30404D4F59675E706877030F000000F9252539393E29544F5C61516B7E7D030B000000FD22381E3D424E354F6261030F00000022263236373D3F5A595E6A716B7E7D030600000029313634404003040000001D30392D03070000001523303A493E5203000000000000000008010000000200081900000004030000EB4240010C4300006E02008071028000EB824000F2C2400168038000AD030100F8420002EB424100B38241016E820180F242410072C3C100ED0302002D44020078030002F84200006EC20080EB824000F28242016D030100F8428001710280000B00000003080000000A252922414B4C4B030B0000001F30312C454D4559615E690309000000F72B2D38254D415B5303070000000922381E3D424E030C000000182236393B3E3F49635E686703120000000922380D374B4E505348676C78538D8892910003040000001D30392D0314000000233023453A474B4A275463706B7A847E899CA19A030000000003080000000922380D47424C4B00000000",(getfenv and getfenv()or _ENV),transfer_set)
     
483. end)()

复制代码