Thu, 15 Jan 2015 15:59:08 +0100
Implement a real Private Browsing Mode condition by changing the API/ABI;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.
michael@0 | 1 | x = [] |
michael@0 | 2 | try { |
michael@0 | 3 | (function() { |
michael@0 | 4 | schedulegc(1); |
michael@0 | 5 | ((function() { |
michael@0 | 6 | return { |
michael@0 | 7 | y: function() { |
michael@0 | 8 | u() = [] |
michael@0 | 9 | } |
michael@0 | 10 | } |
michael@0 | 11 | })()) |
michael@0 | 12 | })() |
michael@0 | 13 | watch.call(x, "valueOf", function() {}) |
michael@0 | 14 | gc() |
michael@0 | 15 | } catch (e) { print(e); } |
michael@0 | 16 | try { |
michael@0 | 17 | (function() { |
michael@0 | 18 | x.valueOf = |
michael@0 | 19 | (function() { |
michael@0 | 20 | y(); |
michael@0 | 21 | }) |
michael@0 | 22 | })() |
michael@0 | 23 | x + 2 |
michael@0 | 24 | print('foo') |
michael@0 | 25 | } catch (e) { print(e); } |