|
1
|
/**
|
|
2
|
* This file is part of Haketilo.
|
|
3
|
*
|
|
4
|
* Function: Determining what to do on a given web page.
|
|
5
|
*
|
|
6
|
* Copyright (C) 2021 Wojtek Kosior
|
|
7
|
*
|
|
8
|
* This program is free software: you can redistribute it and/or modify
|
|
9
|
* it under the terms of the GNU General Public License as published by
|
|
10
|
* the Free Software Foundation, either version 3 of the License, or
|
|
11
|
* (at your option) any later version.
|
|
12
|
*
|
|
13
|
* This program is distributed in the hope that it will be useful,
|
|
14
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
15
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
16
|
* GNU General Public License for more details.
|
|
17
|
*
|
|
18
|
* As additional permission under GNU GPL version 3 section 7, you
|
|
19
|
* may distribute forms of that code without the copy of the GNU
|
|
20
|
* GPL normally required by section 4, provided you include this
|
|
21
|
* license notice and, in case of non-source distribution, a URL
|
|
22
|
* through which recipients can access the Corresponding Source.
|
|
23
|
* If you modify file(s) with this exception, you may extend this
|
|
24
|
* exception to your version of the file(s), but you are not
|
|
25
|
* obligated to do so. If you do not wish to do so, delete this
|
|
26
|
* exception statement from your version.
|
|
27
|
*
|
|
28
|
* As a special exception to the GPL, any HTML file which merely
|
|
29
|
* makes function calls to this code, and for that purpose
|
|
30
|
* includes it by reference shall be deemed a separate work for
|
|
31
|
* copyright law purposes. If you modify this code, you may extend
|
|
32
|
* this exception to your version of the code, but you are not
|
|
33
|
* obligated to do so. If you do not wish to do so, delete this
|
|
34
|
* exception statement from your version.
|
|
35
|
*
|
|
36
|
* You should have received a copy of the GNU General Public License
|
|
37
|
* along with this program. If not, see <https://www.gnu.org/licenses/>.
|
|
38
|
*
|
|
39
|
* I, Wojtek Kosior, thereby promise not to sue for violation of this file's
|
|
40
|
* license. Although I request that you do not make use of this code in a
|
|
41
|
* proprietary program, I am not going to enforce this in court.
|
|
42
|
*/
|
|
43
|
|
|
44
|
#IMPORT common/patterns_query_tree.js AS pqt
|
|
45
|
|
|
46
|
#FROM common/sha256.js IMPORT sha256
|
|
47
|
|
|
48
|
/*
|
|
49
|
* CSP rule that either blocks all scripts or only allows scripts with specified
|
|
50
|
* nonce attached.
|
|
51
|
*/
|
|
52
|
function make_csp(nonce)
|
|
53
|
{
|
|
54
|
const rule = nonce ? `nonce-${nonce}` : "none";
|
|
55
|
const csp_dict = {"prefetch-src": "none", "script-src-attr": "none"};
|
|
56
|
Object.assign(csp_dict, {"script-src": rule, "script-src-elem": rule});
|
|
57
|
return Object.entries(csp_dict).map(([a, b]) => `${a} '${b}';`).join(" ");
|
|
58
|
}
|
|
59
|
|
|
60
|
function decide_policy(patterns_tree, url, default_allow, secret)
|
|
61
|
{
|
|
62
|
const policy = {allow: default_allow};
|
|
63
|
|
|
64
|
try {
|
|
65
|
var payloads = pqt.search(patterns_tree, url).next().value;
|
|
66
|
} catch (e) {
|
|
67
|
console.error(e);
|
|
68
|
policy.allow = false;
|
|
69
|
policy.error = {haketilo_error_type: "deciding_policy"};
|
|
70
|
}
|
|
71
|
|
|
72
|
if (payloads !== undefined) {
|
|
73
|
/*
|
|
74
|
* mapping will be either the actual mapping identifier or "~allow" if
|
|
75
|
* we matched a simple script block/allow rule.
|
|
76
|
*/
|
|
77
|
policy.mapping = Object.keys(payloads).sort()[0];
|
|
78
|
const payload = payloads[policy.mapping];
|
|
79
|
if (policy.mapping === "~allow") {
|
|
80
|
/* Convert 0/1 back to false/true. */
|
|
81
|
policy.allow = !!payload;
|
|
82
|
} else /* if (payload.identifier) */ {
|
|
83
|
policy.allow = false;
|
|
84
|
policy.payload = payload;
|
|
85
|
/*
|
|
86
|
* Hash a secret and other values into a string that's unpredictable
|
|
87
|
* to someone who does not know these values. What we produce here
|
|
88
|
* is not a true "nonce" because it might get produced multiple
|
|
89
|
* times given the same url and mapping choice. Nevertheless, this
|
|
90
|
* is reasonably good given the limitations WebExtension APIs and
|
|
91
|
* environments give us. If we were using a true nonce, we'd have no
|
|
92
|
* reliable way of passing it to our content scripts.
|
|
93
|
*/
|
|
94
|
const nonce_source = [
|
|
95
|
policy.mapping,
|
|
96
|
policy.payload.identifier,
|
|
97
|
url,
|
|
98
|
secret
|
|
99
|
];
|
|
100
|
policy.nonce = sha256(nonce_source.join(":"));
|
|
101
|
}
|
|
102
|
}
|
|
103
|
|
|
104
|
if (!policy.allow)
|
|
105
|
policy.csp = make_csp(policy.nonce);
|
|
106
|
|
|
107
|
return policy;
|
|
108
|
}
|
|
109
|
#EXPORT decide_policy
|
|
110
|
|
|
111
|
#EXPORT () => ({allow: false, csp: make_csp()}) AS fallback_policy
|