Coverage Report

Created: 2026-01-13 06:50

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/libidn2/lib/context.c
Line
Count
Source
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
7.55k
{
39
7.55k
  uint32_t cp;
40
41
7.55k
  if (llen == 0)
42
0
    return IDN2_OK;
43
44
7.55k
  cp = label[pos];
45
46
7.55k
  if (!_idn2_contextj_p (cp))
47
7.26k
    return IDN2_OK;
48
49
290
  switch (cp)
50
290
    {
51
249
    case 0x200C:    /* ZERO WIDTH NON-JOINER */
52
249
      if (pos > 0)
53
248
  {
54
    /* If Canonical_Combining_Class(Before(cp)) .eq.  Virama Then True; */
55
248
    uint32_t before_cp = label[pos - 1];
56
248
    int cc = uc_combining_class (before_cp);
57
248
    if (cc == UC_CCC_VR)
58
34
      return IDN2_OK;
59
248
  }
60
61
      /* See http://permalink.gmane.org/gmane.ietf.idnabis/6980 for
62
         clarified rule. */
63
64
215
      if (pos == 0 || pos == llen - 1)
65
17
  return IDN2_CONTEXTJ;
66
67
198
      {
68
198
  int jt;
69
198
  size_t tmp;
70
71
  /* Search backwards. */
72
198
  for (tmp = pos - 1;; tmp--)
73
395
    {
74
395
      jt = uc_joining_type (label[tmp]);
75
395
      if (jt == UC_JOINING_TYPE_L || jt == UC_JOINING_TYPE_D)
76
132
        break;
77
263
      if (tmp == 0)
78
57
        return IDN2_CONTEXTJ;
79
206
      if (jt == UC_JOINING_TYPE_T)
80
197
        continue;
81
9
      return IDN2_CONTEXTJ;
82
206
    }
83
84
  /* Search forward. */
85
307
  for (tmp = pos + 1; tmp < llen; tmp++)
86
307
    {
87
307
      jt = uc_joining_type (label[tmp]);
88
307
      if (jt == UC_JOINING_TYPE_R || jt == UC_JOINING_TYPE_D)
89
110
        break;
90
197
      if (tmp == llen - 1)
91
19
        return IDN2_CONTEXTJ;
92
178
      if (jt == UC_JOINING_TYPE_T)
93
175
        continue;
94
3
      return IDN2_CONTEXTJ;
95
178
    }
96
132
      }
97
98
110
      return IDN2_OK;
99
0
      break;
100
101
41
    case 0x200D:    /* ZERO WIDTH JOINER */
102
41
      if (pos > 0)
103
40
  {
104
40
    uint32_t before_cp = label[pos - 1];
105
40
    int cc = uc_combining_class (before_cp);
106
40
    if (cc == UC_CCC_VR)
107
34
      return IDN2_OK;
108
40
  }
109
7
      return IDN2_CONTEXTJ;
110
290
    }
111
112
0
  return IDN2_CONTEXTJ_NO_RULE;
113
290
}
114
115
static const char *
116
_uc_script_name (ucs4_t uc)
117
15.1k
{
118
15.1k
  const uc_script_t *ucs = uc_script (uc);
119
120
15.1k
  if (!ucs)
121
1.85k
    return "";
122
123
13.3k
  return ucs->name;
124
15.1k
}
125
126
int
127
_idn2_contexto_rule (const uint32_t *label, size_t llen, size_t pos)
128
6.70k
{
129
6.70k
  uint32_t cp = label[pos];
130
131
6.70k
  if (!_idn2_contexto_p (cp))
132
4.02k
    return IDN2_OK;
133
134
2.68k
  switch (cp)
135
2.68k
    {
136
93
    case 0x00B7:
137
      /* MIDDLE DOT */
138
93
      if (llen < 3)
139
1
  return IDN2_CONTEXTO;
140
92
      if (pos == 0 || pos == llen - 1)
141
10
  return IDN2_CONTEXTO;
142
82
      if (label[pos - 1] == 0x006C && label[pos + 1] == 0x006C)
143
37
  return IDN2_OK;
144
45
      return IDN2_CONTEXTO;
145
0
      break;
146
147
93
    case 0x0375:
148
      /* GREEK LOWER NUMERAL SIGN (KERAIA) */
149
93
      if (pos == llen - 1)
150
8
  return IDN2_CONTEXTO;
151
85
      if (strcmp (_uc_script_name (label[pos + 1]), "Greek") == 0)
152
71
  return IDN2_OK;
153
14
      return IDN2_CONTEXTO;
154
0
      break;
155
156
87
    case 0x05F3:
157
      /* HEBREW PUNCTUATION GERESH */
158
198
    case 0x05F4:
159
      /* HEBREW PUNCTUATION GERSHAYIM */
160
198
      if (pos == 0)
161
2
  return IDN2_CONTEXTO;
162
196
      if (strcmp (_uc_script_name (label[pos - 1]), "Hebrew") == 0)
163
186
  return IDN2_OK;
164
10
      return IDN2_CONTEXTO;
165
0
      break;
166
167
115
    case 0x0660:
168
192
    case 0x0661:
169
281
    case 0x0662:
170
375
    case 0x0663:
171
465
    case 0x0664:
172
550
    case 0x0665:
173
635
    case 0x0666:
174
728
    case 0x0667:
175
801
    case 0x0668:
176
877
    case 0x0669:
177
877
      {
178
  /* ARABIC-INDIC DIGITS */
179
877
  size_t i;
180
18.6k
  for (i = 0; i < llen; i++)
181
17.7k
    if (label[i] >= 0x6F0 && label[i] <= 0x06F9)
182
5
      return IDN2_CONTEXTO;
183
872
  return IDN2_OK;
184
0
  break;
185
877
      }
186
187
158
    case 0x06F0:
188
297
    case 0x06F1:
189
404
    case 0x06F2:
190
517
    case 0x06F3:
191
605
    case 0x06F4:
192
705
    case 0x06F5:
193
782
    case 0x06F6:
194
893
    case 0x06F7:
195
966
    case 0x06F8:
196
1.03k
    case 0x06F9:
197
1.03k
      {
198
  /* EXTENDED ARABIC-INDIC DIGITS */
199
1.03k
  size_t i;
200
22.3k
  for (i = 0; i < llen; i++)
201
21.2k
    if (label[i] >= 0x660 && label[i] <= 0x0669)
202
4
      return IDN2_CONTEXTO;
203
1.03k
  return IDN2_OK;
204
0
  break;
205
1.03k
      }
206
385
    case 0x30FB:
207
385
      {
208
  /* KATAKANA MIDDLE DOT */
209
385
  size_t i;
210
385
  bool script_ok = false;
211
212
5.46k
  for (i = 0; !script_ok && i < llen; i++)
213
5.07k
    if (strcmp (_uc_script_name (label[i]), "Hiragana") == 0
214
5.00k
        || strcmp (_uc_script_name (label[i]), "Katakana") == 0
215
4.82k
        || strcmp (_uc_script_name (label[i]), "Han") == 0)
216
336
      script_ok = true;
217
218
385
  if (script_ok)
219
336
    return IDN2_OK;
220
49
  return IDN2_CONTEXTO;
221
0
  break;
222
385
      }
223
2.68k
    }
224
225
0
  return IDN2_CONTEXTO_NO_RULE;
226
2.68k
}
227
228
bool
229
_idn2_contexto_with_rule (uint32_t cp)
230
0
{
231
0
  switch (cp)
232
0
    {
233
0
    case 0x00B7:
234
      /* MIDDLE DOT */
235
0
    case 0x0375:
236
      /* GREEK LOWER NUMERAL SIGN (KERAIA) */
237
0
    case 0x05F3:
238
      /* HEBREW PUNCTUATION GERESH */
239
0
    case 0x05F4:
240
      /* HEBREW PUNCTUATION GERSHAYIM */
241
0
    case 0x0660:
242
0
    case 0x0661:
243
0
    case 0x0662:
244
0
    case 0x0663:
245
0
    case 0x0664:
246
0
    case 0x0665:
247
0
    case 0x0666:
248
0
    case 0x0667:
249
0
    case 0x0668:
250
0
    case 0x0669:
251
      /* ARABIC-INDIC DIGITS */
252
0
    case 0x06F0:
253
0
    case 0x06F1:
254
0
    case 0x06F2:
255
0
    case 0x06F3:
256
0
    case 0x06F4:
257
0
    case 0x06F5:
258
0
    case 0x06F6:
259
0
    case 0x06F7:
260
0
    case 0x06F8:
261
0
    case 0x06F9:
262
      /* EXTENDED ARABIC-INDIC DIGITS */
263
0
    case 0x30FB:
264
      /* KATAKANA MIDDLE DOT */
265
0
      return true;
266
0
      break;
267
0
    }
268
269
0
  return false;
270
0
}