/src/libidn2/lib/context.c
Line | Count | Source (jump to first uncovered line) |
1 | | /* context.c - check contextual rule on label |
2 | | Copyright (C) 2011-2025 Simon Josefsson |
3 | | |
4 | | Libidn2 is free software: you can redistribute it and/or modify it |
5 | | under the terms of either: |
6 | | |
7 | | * the GNU Lesser General Public License as published by the Free |
8 | | Software Foundation; either version 3 of the License, or (at |
9 | | your option) any later version. |
10 | | |
11 | | or |
12 | | |
13 | | * the GNU General Public License as published by the Free |
14 | | Software Foundation; either version 2 of the License, or (at |
15 | | your option) any later version. |
16 | | |
17 | | or both in parallel, as here. |
18 | | |
19 | | This program is distributed in the hope that it will be useful, |
20 | | but WITHOUT ANY WARRANTY; without even the implied warranty of |
21 | | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
22 | | GNU General Public License for more details. |
23 | | |
24 | | You should have received copies of the GNU General Public License and |
25 | | the GNU Lesser General Public License along with this program. If |
26 | | not, see <http://www.gnu.org/licenses/>. |
27 | | */ |
28 | | |
29 | | #include <config.h> |
30 | | |
31 | | #include "idn2.h" |
32 | | #include "tables.h" |
33 | | #include <unictype.h> /* uc_combining_class, UC_CCC_VR */ |
34 | | #include "context.h" |
35 | | |
36 | | int |
37 | | _idn2_contextj_rule (const uint32_t *label, size_t llen, size_t pos) |
38 | 108k | { |
39 | 108k | uint32_t cp; |
40 | | |
41 | 108k | if (llen == 0) |
42 | 0 | return IDN2_OK; |
43 | | |
44 | 108k | cp = label[pos]; |
45 | | |
46 | 108k | if (!_idn2_contextj_p (cp)) |
47 | 106k | return IDN2_OK; |
48 | | |
49 | 1.96k | switch (cp) |
50 | 1.96k | { |
51 | 1.57k | case 0x200C: /* ZERO WIDTH NON-JOINER */ |
52 | 1.57k | if (pos > 0) |
53 | 1.42k | { |
54 | | /* If Canonical_Combining_Class(Before(cp)) .eq. Virama Then True; */ |
55 | 1.42k | uint32_t before_cp = label[pos - 1]; |
56 | 1.42k | int cc = uc_combining_class (before_cp); |
57 | 1.42k | if (cc == UC_CCC_VR) |
58 | 258 | return IDN2_OK; |
59 | 1.42k | } |
60 | | |
61 | | /* See http://permalink.gmane.org/gmane.ietf.idnabis/6980 for |
62 | | clarified rule. */ |
63 | | |
64 | 1.31k | if (pos == 0 || pos == llen - 1) |
65 | 274 | return IDN2_CONTEXTJ; |
66 | | |
67 | 1.04k | { |
68 | 1.04k | int jt; |
69 | 1.04k | size_t tmp; |
70 | | |
71 | | /* Search backwards. */ |
72 | 1.04k | for (tmp = pos - 1;; tmp--) |
73 | 1.55k | { |
74 | 1.55k | jt = uc_joining_type (label[tmp]); |
75 | 1.55k | if (jt == UC_JOINING_TYPE_L || jt == UC_JOINING_TYPE_D) |
76 | 695 | break; |
77 | 857 | if (tmp == 0) |
78 | 261 | return IDN2_CONTEXTJ; |
79 | 596 | if (jt == UC_JOINING_TYPE_T) |
80 | 511 | continue; |
81 | 85 | return IDN2_CONTEXTJ; |
82 | 596 | } |
83 | | |
84 | | /* Search forward. */ |
85 | 1.17k | for (tmp = pos + 1; tmp < llen; tmp++) |
86 | 1.17k | { |
87 | 1.17k | jt = uc_joining_type (label[tmp]); |
88 | 1.17k | if (jt == UC_JOINING_TYPE_R || jt == UC_JOINING_TYPE_D) |
89 | 526 | break; |
90 | 648 | if (tmp == llen - 1) |
91 | 131 | return IDN2_CONTEXTJ; |
92 | 517 | if (jt == UC_JOINING_TYPE_T) |
93 | 479 | continue; |
94 | 38 | return IDN2_CONTEXTJ; |
95 | 517 | } |
96 | 695 | } |
97 | | |
98 | 526 | return IDN2_OK; |
99 | 0 | break; |
100 | | |
101 | 388 | case 0x200D: /* ZERO WIDTH JOINER */ |
102 | 388 | if (pos > 0) |
103 | 340 | { |
104 | 340 | uint32_t before_cp = label[pos - 1]; |
105 | 340 | int cc = uc_combining_class (before_cp); |
106 | 340 | if (cc == UC_CCC_VR) |
107 | 237 | return IDN2_OK; |
108 | 340 | } |
109 | 151 | return IDN2_CONTEXTJ; |
110 | 1.96k | } |
111 | | |
112 | 0 | return IDN2_CONTEXTJ_NO_RULE; |
113 | 1.96k | } |
114 | | |
115 | | static const char * |
116 | | _uc_script_name (ucs4_t uc) |
117 | 9.83k | { |
118 | 9.83k | const uc_script_t *ucs = uc_script (uc); |
119 | | |
120 | 9.83k | if (!ucs) |
121 | 1.85k | return ""; |
122 | | |
123 | 7.97k | return ucs->name; |
124 | 9.83k | } |
125 | | |
126 | | int |
127 | | _idn2_contexto_rule (const uint32_t *label, size_t llen, size_t pos) |
128 | 7.02k | { |
129 | 7.02k | uint32_t cp = label[pos]; |
130 | | |
131 | 7.02k | if (!_idn2_contexto_p (cp)) |
132 | 4.28k | return IDN2_OK; |
133 | | |
134 | 2.74k | switch (cp) |
135 | 2.74k | { |
136 | 98 | case 0x00B7: |
137 | | /* MIDDLE DOT */ |
138 | 98 | if (llen < 3) |
139 | 2 | return IDN2_CONTEXTO; |
140 | 96 | if (pos == 0 || pos == llen - 1) |
141 | 10 | return IDN2_CONTEXTO; |
142 | 86 | if (label[pos - 1] == 0x006C && label[pos + 1] == 0x006C) |
143 | 35 | return IDN2_OK; |
144 | 51 | return IDN2_CONTEXTO; |
145 | 0 | break; |
146 | | |
147 | 148 | case 0x0375: |
148 | | /* GREEK LOWER NUMERAL SIGN (KERAIA) */ |
149 | 148 | if (pos == llen - 1) |
150 | 12 | return IDN2_CONTEXTO; |
151 | 136 | if (strcmp (_uc_script_name (label[pos + 1]), "Greek") == 0) |
152 | 122 | return IDN2_OK; |
153 | 14 | return IDN2_CONTEXTO; |
154 | 0 | break; |
155 | | |
156 | 72 | case 0x05F3: |
157 | | /* HEBREW PUNCTUATION GERESH */ |
158 | 176 | case 0x05F4: |
159 | | /* HEBREW PUNCTUATION GERSHAYIM */ |
160 | 176 | if (pos == 0) |
161 | 2 | return IDN2_CONTEXTO; |
162 | 174 | if (strcmp (_uc_script_name (label[pos - 1]), "Hebrew") == 0) |
163 | 164 | return IDN2_OK; |
164 | 10 | return IDN2_CONTEXTO; |
165 | 0 | break; |
166 | | |
167 | 77 | case 0x0660: |
168 | 155 | case 0x0661: |
169 | 259 | case 0x0662: |
170 | 340 | case 0x0663: |
171 | 420 | case 0x0664: |
172 | 503 | case 0x0665: |
173 | 596 | case 0x0666: |
174 | 687 | case 0x0667: |
175 | 784 | case 0x0668: |
176 | 861 | case 0x0669: |
177 | 861 | { |
178 | | /* ARABIC-INDIC DIGITS */ |
179 | 861 | size_t i; |
180 | 18.5k | for (i = 0; i < llen; i++) |
181 | 17.7k | if (label[i] >= 0x6F0 && label[i] <= 0x06F9) |
182 | 1 | return IDN2_CONTEXTO; |
183 | 860 | return IDN2_OK; |
184 | 0 | break; |
185 | 861 | } |
186 | | |
187 | 94 | case 0x06F0: |
188 | 235 | case 0x06F1: |
189 | 359 | case 0x06F2: |
190 | 458 | case 0x06F3: |
191 | 586 | case 0x06F4: |
192 | 717 | case 0x06F5: |
193 | 824 | case 0x06F6: |
194 | 897 | case 0x06F7: |
195 | 1.00k | case 0x06F8: |
196 | 1.09k | case 0x06F9: |
197 | 1.09k | { |
198 | | /* EXTENDED ARABIC-INDIC DIGITS */ |
199 | 1.09k | size_t i; |
200 | 25.1k | for (i = 0; i < llen; i++) |
201 | 24.0k | if (label[i] >= 0x660 && label[i] <= 0x0669) |
202 | 2 | return IDN2_CONTEXTO; |
203 | 1.09k | return IDN2_OK; |
204 | 0 | break; |
205 | 1.09k | } |
206 | 359 | case 0x30FB: |
207 | 359 | { |
208 | | /* KATAKANA MIDDLE DOT */ |
209 | 359 | size_t i; |
210 | 359 | bool script_ok = false; |
211 | | |
212 | 3.63k | for (i = 0; !script_ok && i < llen; i++) |
213 | 3.27k | if (strcmp (_uc_script_name (label[i]), "Hiragana") == 0 |
214 | 3.27k | || strcmp (_uc_script_name (label[i]), "Katakana") == 0 |
215 | 3.27k | || strcmp (_uc_script_name (label[i]), "Han") == 0) |
216 | 314 | script_ok = true; |
217 | | |
218 | 359 | if (script_ok) |
219 | 314 | return IDN2_OK; |
220 | 45 | return IDN2_CONTEXTO; |
221 | 0 | break; |
222 | 359 | } |
223 | 2.74k | } |
224 | | |
225 | 0 | return IDN2_CONTEXTO_NO_RULE; |
226 | 2.74k | } |
227 | | |
228 | | bool |
229 | | _idn2_contexto_with_rule (uint32_t cp) |
230 | 6.27k | { |
231 | 6.27k | switch (cp) |
232 | 6.27k | { |
233 | 248 | case 0x00B7: |
234 | | /* MIDDLE DOT */ |
235 | 443 | case 0x0375: |
236 | | /* GREEK LOWER NUMERAL SIGN (KERAIA) */ |
237 | 656 | case 0x05F3: |
238 | | /* HEBREW PUNCTUATION GERESH */ |
239 | 1.09k | case 0x05F4: |
240 | | /* HEBREW PUNCTUATION GERSHAYIM */ |
241 | 1.45k | case 0x0660: |
242 | 1.73k | case 0x0661: |
243 | 2.01k | case 0x0662: |
244 | 2.28k | case 0x0663: |
245 | 2.49k | case 0x0664: |
246 | 2.71k | case 0x0665: |
247 | 3.01k | case 0x0666: |
248 | 3.25k | case 0x0667: |
249 | 3.48k | case 0x0668: |
250 | 3.72k | case 0x0669: |
251 | | /* ARABIC-INDIC DIGITS */ |
252 | 4.05k | case 0x06F0: |
253 | 4.25k | case 0x06F1: |
254 | 4.48k | case 0x06F2: |
255 | 4.82k | case 0x06F3: |
256 | 5.06k | case 0x06F4: |
257 | 5.26k | case 0x06F5: |
258 | 5.45k | case 0x06F6: |
259 | 5.66k | case 0x06F7: |
260 | 5.87k | case 0x06F8: |
261 | 6.06k | case 0x06F9: |
262 | | /* EXTENDED ARABIC-INDIC DIGITS */ |
263 | 6.27k | case 0x30FB: |
264 | | /* KATAKANA MIDDLE DOT */ |
265 | 6.27k | return true; |
266 | 0 | break; |
267 | 6.27k | } |
268 | | |
269 | 0 | return false; |
270 | 6.27k | } |