diff options
author | Christian Grothoff <christian@grothoff.org> | 2018-06-25 18:07:22 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2018-06-25 18:08:27 +0200 |
commit | 7da98cf076e9c5101244dfbbf8c3ddff045d298e (patch) | |
tree | db4b4b28d0864cf5f7d424c40f1e7f4d945ff726 /src/regex/test_regex_eval_api.c | |
parent | b96052f1d3b8bb05f1868bd809fcb6e4f6569a4c (diff) | |
download | gnunet-7da98cf076e9c5101244dfbbf8c3ddff045d298e.tar.gz gnunet-7da98cf076e9c5101244dfbbf8c3ddff045d298e.zip |
integrate dnsparser and dnsstub and tun with libgnunetutil
Diffstat (limited to 'src/regex/test_regex_eval_api.c')
-rw-r--r-- | src/regex/test_regex_eval_api.c | 364 |
1 files changed, 0 insertions, 364 deletions
diff --git a/src/regex/test_regex_eval_api.c b/src/regex/test_regex_eval_api.c deleted file mode 100644 index 8a0c0d024..000000000 --- a/src/regex/test_regex_eval_api.c +++ /dev/null | |||
@@ -1,364 +0,0 @@ | |||
1 | /* | ||
2 | This file is part of GNUnet | ||
3 | Copyright (C) 2012 GNUnet e.V. | ||
4 | |||
5 | GNUnet is free software: you can redistribute it and/or modify it | ||
6 | under the terms of the GNU Affero General Public License as published | ||
7 | by the Free Software Foundation, either version 3 of the License, | ||
8 | or (at your option) any later version. | ||
9 | |||
10 | GNUnet is distributed in the hope that it will be useful, but | ||
11 | WITHOUT ANY WARRANTY; without even the implied warranty of | ||
12 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | ||
13 | Affero General Public License for more details. | ||
14 | |||
15 | You should have received a copy of the GNU Affero General Public License | ||
16 | along with this program. If not, see <http://www.gnu.org/licenses/>. | ||
17 | */ | ||
18 | /** | ||
19 | * @file regex/test_regex_eval_api.c | ||
20 | * @brief test for regex.c | ||
21 | * @author Maximilian Szengel | ||
22 | */ | ||
23 | #include <regex.h> | ||
24 | #include <time.h> | ||
25 | #include "platform.h" | ||
26 | #include "regex_internal_lib.h" | ||
27 | #include "regex_test_lib.h" | ||
28 | #include "regex_internal.h" | ||
29 | |||
30 | enum Match_Result | ||
31 | { | ||
32 | match = 0, | ||
33 | nomatch = 1 | ||
34 | }; | ||
35 | |||
36 | struct Regex_String_Pair | ||
37 | { | ||
38 | char *regex; | ||
39 | int string_count; | ||
40 | char *strings[20]; | ||
41 | enum Match_Result expected_results[20]; | ||
42 | }; | ||
43 | |||
44 | |||
45 | /** | ||
46 | * Random regex test. Generate a random regex as well as 'str_count' strings to | ||
47 | * match it against. Will match using GNUNET_REGEX implementation and compare | ||
48 | * the result to glibc regex result. 'rx_length' has to be smaller then | ||
49 | * 'max_str_len'. | ||
50 | * | ||
51 | * @param rx_length length of the regular expression. | ||
52 | * @param max_str_len maximum length of the random strings. | ||
53 | * @param str_count number of generated random strings. | ||
54 | * | ||
55 | * @return 0 on success, non 0 otherwise. | ||
56 | */ | ||
57 | int | ||
58 | test_random (unsigned int rx_length, unsigned int max_str_len, | ||
59 | unsigned int str_count) | ||
60 | { | ||
61 | unsigned int i; | ||
62 | char *rand_rx; | ||
63 | char *matching_str; | ||
64 | int eval; | ||
65 | int eval_check; | ||
66 | int eval_canonical; | ||
67 | int eval_canonical_check; | ||
68 | struct REGEX_INTERNAL_Automaton *dfa; | ||
69 | regex_t rx; | ||
70 | regmatch_t matchptr[1]; | ||
71 | char error[200]; | ||
72 | int result; | ||
73 | char *canonical_regex = NULL; | ||
74 | |||
75 | /* At least one string is needed for matching */ | ||
76 | GNUNET_assert (str_count > 0); | ||
77 | /* The string should be at least as long as the regex itself */ | ||
78 | GNUNET_assert (max_str_len >= rx_length); | ||
79 | |||
80 | /* Generate random regex and a string that matches the regex */ | ||
81 | matching_str = GNUNET_malloc (rx_length + 1); | ||
82 | rand_rx = REGEX_TEST_generate_random_regex (rx_length, matching_str); | ||
83 | |||
84 | /* Now match */ | ||
85 | result = 0; | ||
86 | for (i = 0; i < str_count; i++) | ||
87 | { | ||
88 | if (0 < i) | ||
89 | { | ||
90 | matching_str = REGEX_TEST_generate_random_string (max_str_len); | ||
91 | } | ||
92 | |||
93 | /* Match string using DFA */ | ||
94 | dfa = REGEX_INTERNAL_construct_dfa (rand_rx, strlen (rand_rx), 0); | ||
95 | if (NULL == dfa) | ||
96 | { | ||
97 | GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "Constructing DFA failed\n"); | ||
98 | goto error; | ||
99 | } | ||
100 | |||
101 | eval = REGEX_INTERNAL_eval (dfa, matching_str); | ||
102 | /* save the canonical regex for later comparison */ | ||
103 | canonical_regex = GNUNET_strdup (REGEX_INTERNAL_get_canonical_regex (dfa)); | ||
104 | REGEX_INTERNAL_automaton_destroy (dfa); | ||
105 | |||
106 | /* Match string using glibc regex */ | ||
107 | if (0 != regcomp (&rx, rand_rx, REG_EXTENDED)) | ||
108 | { | ||
109 | GNUNET_log (GNUNET_ERROR_TYPE_ERROR, | ||
110 | "Could not compile regex using regcomp: %s\n", rand_rx); | ||
111 | goto error; | ||
112 | } | ||
113 | |||
114 | eval_check = regexec (&rx, matching_str, 1, matchptr, 0); | ||
115 | regfree (&rx); | ||
116 | |||
117 | /* We only want to match the whole string, because that's what our DFA does, | ||
118 | * too. */ | ||
119 | if (eval_check == 0 && | ||
120 | (matchptr[0].rm_so != 0 || matchptr[0].rm_eo != strlen (matching_str))) | ||
121 | eval_check = 1; | ||
122 | |||
123 | /* Match canonical regex */ | ||
124 | dfa = | ||
125 | REGEX_INTERNAL_construct_dfa (canonical_regex, strlen (canonical_regex), | ||
126 | 0); | ||
127 | if (NULL == dfa) | ||
128 | { | ||
129 | GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "Constructing DFA failed\n"); | ||
130 | goto error; | ||
131 | } | ||
132 | |||
133 | eval_canonical = REGEX_INTERNAL_eval (dfa, matching_str); | ||
134 | REGEX_INTERNAL_automaton_destroy (dfa); | ||
135 | |||
136 | if (0 != regcomp (&rx, canonical_regex, REG_EXTENDED)) | ||
137 | { | ||
138 | GNUNET_log (GNUNET_ERROR_TYPE_ERROR, | ||
139 | "Could not compile regex using regcomp: %s\n", | ||
140 | canonical_regex); | ||
141 | goto error; | ||
142 | } | ||
143 | |||
144 | eval_canonical_check = regexec (&rx, matching_str, 1, matchptr, 0); | ||
145 | regfree (&rx); | ||
146 | |||
147 | /* We only want to match the whole string, because that's what our DFA does, | ||
148 | * too. */ | ||
149 | if (eval_canonical_check == 0 && | ||
150 | (matchptr[0].rm_so != 0 || matchptr[0].rm_eo != strlen (matching_str))) | ||
151 | eval_canonical_check = 1; | ||
152 | |||
153 | /* compare results */ | ||
154 | if (eval_check != eval || eval_canonical != eval_canonical_check) | ||
155 | { | ||
156 | regerror (eval_check, &rx, error, sizeof error); | ||
157 | GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "Unexpected result:\nregex: %s\ncanonical_regex: %s\n\ | ||
158 | string: %s\ngnunet regex: %i\nglibc regex: %i\n\ | ||
159 | canonical regex: %i\ncanonical regex glibc: %i\n\ | ||
160 | glibc error: %s\n\n", rand_rx, canonical_regex, matching_str, | ||
161 | eval, eval_check, eval_canonical, eval_canonical_check, error); | ||
162 | result += 1; | ||
163 | } | ||
164 | GNUNET_free (canonical_regex); | ||
165 | GNUNET_free (matching_str); | ||
166 | canonical_regex = NULL; | ||
167 | matching_str = NULL; | ||
168 | } | ||
169 | |||
170 | GNUNET_free (rand_rx); | ||
171 | |||
172 | return result; | ||
173 | |||
174 | error: | ||
175 | GNUNET_free_non_null (matching_str); | ||
176 | GNUNET_free_non_null (rand_rx); | ||
177 | GNUNET_free_non_null (canonical_regex); | ||
178 | return -1; | ||
179 | } | ||
180 | |||
181 | /** | ||
182 | * Automaton test that compares the result of matching regular expression 'rx' | ||
183 | * with the strings and expected results in 'rxstr' with the result of matching | ||
184 | * the same strings with glibc regex. | ||
185 | * | ||
186 | * @param a automaton. | ||
187 | * @param rx compiled glibc regex. | ||
188 | * @param rxstr regular expression and strings with expected results to | ||
189 | * match against. | ||
190 | * | ||
191 | * @return 0 on successfull, non 0 otherwise | ||
192 | */ | ||
193 | int | ||
194 | test_automaton (struct REGEX_INTERNAL_Automaton *a, regex_t * rx, | ||
195 | struct Regex_String_Pair *rxstr) | ||
196 | { | ||
197 | int result; | ||
198 | int eval; | ||
199 | int eval_check; | ||
200 | char error[200]; | ||
201 | regmatch_t matchptr[1]; | ||
202 | int i; | ||
203 | |||
204 | if (NULL == a) | ||
205 | { | ||
206 | GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "Automaton was NULL\n"); | ||
207 | return 1; | ||
208 | } | ||
209 | |||
210 | result = 0; | ||
211 | |||
212 | for (i = 0; i < rxstr->string_count; i++) | ||
213 | { | ||
214 | eval = REGEX_INTERNAL_eval (a, rxstr->strings[i]); | ||
215 | eval_check = regexec (rx, rxstr->strings[i], 1, matchptr, 0); | ||
216 | |||
217 | /* We only want to match the whole string, because that's what our DFA does, | ||
218 | * too. */ | ||
219 | if (eval_check == 0 && | ||
220 | (matchptr[0].rm_so != 0 || | ||
221 | matchptr[0].rm_eo != strlen (rxstr->strings[i]))) | ||
222 | eval_check = 1; | ||
223 | |||
224 | if ((rxstr->expected_results[i] == match && (0 != eval || 0 != eval_check)) | ||
225 | || (rxstr->expected_results[i] == nomatch && | ||
226 | (0 == eval || 0 == eval_check))) | ||
227 | { | ||
228 | result = 1; | ||
229 | regerror (eval_check, rx, error, sizeof error); | ||
230 | GNUNET_log (GNUNET_ERROR_TYPE_ERROR, | ||
231 | "Unexpected result:\nregex: %s\ncanonical_regex: %s\n" | ||
232 | "string: %s\nexpected result: %i\n" | ||
233 | "gnunet regex: %i\nglibc regex: %i\nglibc error: %s\n" | ||
234 | "rm_so: %i\nrm_eo: %i\n\n", rxstr->regex, | ||
235 | REGEX_INTERNAL_get_canonical_regex (a), rxstr->strings[i], | ||
236 | rxstr->expected_results[i], eval, eval_check, error, | ||
237 | matchptr[0].rm_so, matchptr[0].rm_eo); | ||
238 | } | ||
239 | } | ||
240 | return result; | ||
241 | } | ||
242 | |||
243 | int | ||
244 | main (int argc, char *argv[]) | ||
245 | { | ||
246 | GNUNET_log_setup ("test-regex", "WARNING", NULL); | ||
247 | |||
248 | struct REGEX_INTERNAL_Automaton *a; | ||
249 | regex_t rx; | ||
250 | int i; | ||
251 | int check_nfa; | ||
252 | int check_dfa; | ||
253 | int check_rand; | ||
254 | char *check_proof; | ||
255 | |||
256 | struct Regex_String_Pair rxstr[19] = { | ||
257 | {"ab?(abcd)?", 5, | ||
258 | {"ababcd", "abab", "aabcd", "a", "abb"}, | ||
259 | {match, nomatch, match, match, nomatch}}, | ||
260 | {"ab(c|d)+c*(a(b|c)d)+", 5, | ||
261 | {"abcdcdcdcdddddabd", "abcd", | ||
262 | "abcddddddccccccccccccccccccccccccabdacdabd", | ||
263 | "abccccca", "abcdcdcdccdabdabd"}, | ||
264 | {match, nomatch, match, nomatch, match}}, | ||
265 | {"ab+c*(a(bx|c)d)+", 5, | ||
266 | {"abcdcdcdcdddddabd", "abcd", | ||
267 | "abcddddddccccccccccccccccccccccccabdacdabd", | ||
268 | "abccccca", "abcdcdcdccdabdabd"}, | ||
269 | {nomatch, nomatch, nomatch, nomatch, nomatch}}, | ||
270 | {"a+X*y+c|p|R|Z*K*y*R+w|Y*6+n+h*k*w+V*F|W*B*e*", 1, | ||
271 | {"kaXycQepRZKyRwY6nhkwVFWBegNVtLPj39XhJJ6bEifRSZRYZg"}, | ||
272 | {nomatch}}, | ||
273 | {"k|a+X*y+c|Q*e|p|R|Z*K*y*R+w|Y*6+n+h*k*w+V*F|W*B*e*g|N+V|t+L|P*j*3*9+X*h*J|J*6|b|E*i*f*R+S|Z|R|Y*Z|g*", 1, | ||
274 | {"kaXycQepRZKyRwY6nhkwVFWBegNVtLPj39XhJJ6bEifRSZRYZg"}, | ||
275 | {nomatch}}, | ||
276 | {"F?W+m+2*6*c*s|P?U?a|B|y*i+t+A|V|6*C*7*e?Z*n*i|J?5+g?W*V?7*j?p?1|r?B?C+E+3+6*i+W*P?K?0|D+7?y*m+3?g?K?", 1, | ||
277 | {"osfjsodfonONONOnosndfsdnfsd"}, | ||
278 | {nomatch}}, | ||
279 | {"V|M*o?x*p*d+h+b|E*m?h?Y*E*O?W*W*P+o?Z+H*M|I*q+C*a+5?5*9|b?z|G*y*k?R|p+u|8*h?B+l*H|e|L*O|1|F?v*0?5|C+", 1, | ||
280 | {"VMoxpdhbEmhYEOWWPoZHMIqCa559bzGykRpu8hBlHeLO1Fv05C"}, | ||
281 | {nomatch}}, | ||
282 | {"(bla)*", 8, | ||
283 | {"", "bla", "blabla", "bl", "la", "b", "l", "a"}, | ||
284 | {match, match, match, nomatch, nomatch, nomatch, nomatch, nomatch}}, | ||
285 | {"ab(c|d)+c*(a(b|c)+d)+(bla)(bla)*", 8, | ||
286 | {"ab", "abcabdbla", "abdcccccccccccabcbccdblablabla", "bl", "la", "b", | ||
287 | "l", | ||
288 | "a"}, | ||
289 | {nomatch, match, match, nomatch, nomatch, nomatch, nomatch, nomatch}}, | ||
290 | {"a|aa*a", 6, | ||
291 | {"", "a", "aa", "aaa", "aaaa", "aaaaa"}, | ||
292 | {nomatch, match, match, match, match, match}}, | ||
293 | {"ab(c|d)+c*(a(b|c)+d)+(bla)+", 1, | ||
294 | {"abcabdblaacdbla"}, | ||
295 | {nomatch}}, | ||
296 | {"(ac|b)+", 8, | ||
297 | {"b", "bb", "ac", "", "acb", "bacbacac", "acacac", "abc"}, | ||
298 | {match, match, match, nomatch, match, match, match, nomatch}}, | ||
299 | {"(ab|c)+", 7, | ||
300 | {"", "ab", "c", "abc", "ababcc", "acc", "abac"}, | ||
301 | {nomatch, match, match, match, match, nomatch, nomatch}}, | ||
302 | {"((j|2j)K|(j|2j)AK|(j|2j)(D|e|(j|2j)A(D|e))D*K)", 1, | ||
303 | {"", "2j2jADK", "j2jADK"}, | ||
304 | {nomatch, match, match}}, | ||
305 | {"((j|2j)K|(j|2j)(D|e|((j|2j)j|(j|2j)2j)A(D|e))D*K|(j|2j)AK)", 2, | ||
306 | {"", "2j2jjADK", "j2jADK"}, | ||
307 | {nomatch, match, match}}, | ||
308 | {"ab(c|d)+c*(a(b|c)d)+", 1, | ||
309 | {"abacd"}, | ||
310 | {nomatch}}, | ||
311 | {"d|5kl", 1, | ||
312 | {"d5kl"}, | ||
313 | {nomatch}}, | ||
314 | {"a()b", 1, | ||
315 | {"ab"}, | ||
316 | {match}}, | ||
317 | {"GNVPN-0001-PAD(001110101001001010(0|1)*|001110101001001010000(0|1)*|001110101001001010001(0|1)*|001110101001001010010(0|1)*|001110101001001010011(0|1)*|001110101001001010100(0|1)*|001110101001001010101(0|1)*|001110101001001010110(0|1)*|001110101001001010111(0|1)*|0011101010110110(0|1)*|001110101011011000000(0|1)*|001110101011011000001(0|1)*|001110101011011000010(0|1)*|001110101011011000011(0|1)*|001110101011011000100(0|1)*|001110101011011000101(0|1)*|001110101011011000110(0|1)*|001110101011011000111(0|1)*|001110101011011001000(0|1)*|001110101011011001001(0|1)*|001110101011011001010(0|1)*|001110101011011001011(0|1)*|001110101011011001100(0|1)*|001110101011011001101(0|1)*|001110101011011001110(0|1)*|001110101011011001111(0|1)*|001110101011011010000(0|1)*|001110101011011010001(0|1)*|001110101011011010010(0|1)*|001110101011011010011(0|1)*|001110101011011010100(0|1)*|001110101011011010101(0|1)*|001110101011011010110(0|1)*|001110101011011010111(0|1)*|001110101011011011000(0|1)*|001110101011011011001(0|1)*|001110101011011011010(0|1)*|001110101011011011011(0|1)*|001110101011011011100(0|1)*|001110101011011011101(0|1)*|001110101011011011110(0|1)*|001110101011011011111(0|1)*|0011101110111101(0|1)*|001110111011110100000(0|1)*|001110111011110100001(0|1)*|001110111011110100010(0|1)*|001110111011110100011(0|1)*|001110111011110100100(0|1)*|001110111011110100101(0|1)*|001110111011110100110(0|1)*|001110111011110100111(0|1)*|001110111011110101000(0|1)*|001110111011110101001(0|1)*|001110111011110101010(0|1)*|001110111011110101011(0|1)*|001110111011110101100(0|1)*|001110111011110101101(0|1)*|001110111011110101110(0|1)*|001110111011110101111(0|1)*|001110111011110110000(0|1)*|001110111011110110001(0|1)*|001110111011110110010(0|1)*|001110111011110110011(0|1)*|001110111011110110100(0|1)*|001110111011110110101(0|1)*|001110111011110110110(0|1)*|001110111011110110111(0|1)*|001110111011110111000(0|1)*|001110111011110111001(0|1)*|001110111011110111010(0|1)*|001110111011110111011(0|1)*|001110111011110111100(0|1)*|001110111011110111101(0|1)*|001110111011110111110(0|1)*|0111010001010110(0|1)*|011101000101011000000(0|1)*|011101000101011000001(0|1)*|011101000101011000010(0|1)*|011101000101011000011(0|1)*|011101000101011000100(0|1)*|011101000101011000101(0|1)*|011101000101011000110(0|1)*|011101000101011000111(0|1)*|011101000101011001000(0|1)*|011101000101011001001(0|1)*|011101000101011001010(0|1)*|011101000101011001011(0|1)*|011101000101011001100(0|1)*|011101000101011001101(0|1)*|011101000101011001110(0|1)*|011101000101011001111(0|1)*|011101000101011010000(0|1)*|011101000101011010001(0|1)*|011101000101011010010(0|1)*|011101000101011010011(0|1)*|011101000101011010100(0|1)*|011101000101011010101(0|1)*|011101000101011010110(0|1)*|011101000101011010111(0|1)*|011101000101011011000(0|1)*|011101000101011011001(0|1)*|011101000101011011010(0|1)*|011101000101011011011(0|1)*|011101000101011011100(0|1)*|011101000101011011101(0|1)*|011101000101011011110(0|1)*|011101000101011011111(0|1)*|0111010001010111(0|1)*|011101000101011100000(0|1)*|011101000101011100001(0|1)*|011101000101011100010(0|1)*|011101000101011100011(0|1)*|011101000101011100100(0|1)*|011101000101011100101(0|1)*|011101000101011100110(0|1)*|011101000101011100111(0|1)*|011101000101011101000(0|1)*|011101000101011101001(0|1)*|011101000101011101010(0|1)*|011101000101011101011(0|1)*|011101000101011101100(0|1)*|011101000101011101101(0|1)*|011101000101011101110(0|1)*|011101000101011101111(0|1)*|011101000101011110000(0|1)*|011101000101011110001(0|1)*|011101000101011110010(0|1)*|011101000101011110011(0|1)*|011101000101011110100(0|1)*|011101000101011110101(0|1)*|011101000101011110110(0|1)*|011101000101011110111(0|1)*|011101000101011111000(0|1)*|011101000101011111001(0|1)*|011101000101011111010(0|1)*|011101000101011111011(0|1)*|011101000101011111100(0|1)*|011101000101011111101(0|1)*|011101000101011111110(0|1)*|011101000101011111111(0|1)*|0111010001011000(0|1)*|011101000101100000000(0|1)*|011101000101100000001(0|1)*|011101000101100000010(0|1)*|011101000101100000011(0|1)*|011101000101100000100(0|1)*|011101000101100000101(0|1)*|011101000101100000110(0|1)*|011101000101100000111(0|1)*|011101000101100001000(0|1)*|011101000101100001001(0|1)*|011101000101100001010(0|1)*|011101000101100001011(0|1)*|011101000101100001100(0|1)*|011101000101100001101(0|1)*|011101000101100001110(0|1)*|011101000101100001111(0|1)*|011101000101100010000(0|1)*|011101000101100010001(0|1)*|011101000101100010010(0|1)*|011101000101100010011(0|1)*|011101000101100010100(0|1)*|011101000101100010101(0|1)*|011101000101100010110(0|1)*|011101000101100010111(0|1)*|011101000101100011000(0|1)*|011101000101100011001(0|1)*|011101000101100011010(0|1)*|011101000101100011011(0|1)*|011101000101100011100(0|1)*|011101000101100011101(0|1)*|011101000101100011110(0|1)*|011101000101100011111(0|1)*|01110100010110010(0|1)*|011101000101100100000(0|1)*|011101000101100100001(0|1)*|011101000101100100010(0|1)*|011101000101100100011(0|1)*|011101000101100100100(0|1)*|011101000101100100101(0|1)*|011101000101100100110(0|1)*|011101000101100100111(0|1)*|011101000101100101000(0|1)*|011101000101100101001(0|1)*|011101000101100101010(0|1)*|011101000101100101011(0|1)*|011101000101100101100(0|1)*|011101000101100101101(0|1)*|011101000101100101110(0|1)*|011101000101100101111(0|1)*|011101000101100101111000(0|1)*|1100101010011100(0|1)*|110010101001110000000(0|1)*|110010101001110000000001(0|1)*|110010101001110000000010(0|1)*|110010101001110000000110(0|1)*|110010101001110000001(0|1)*|110010101001110000001000(0|1)*|110010101001110000001001(0|1)*|110010101001110000001010(0|1)*|110010101001110000001011(0|1)*|110010101001110000001101(0|1)*|110010101001110000001110(0|1)*|110010101001110000010(0|1)*|110010101001110000011(0|1)*|110010101001110000100(0|1)*|110010101001110000101(0|1)*|110010101001110000110(0|1)*|110010101001110000111(0|1)*|110010101001110001000(0|1)*|110010101001110001001(0|1)*|110010101001110001010(0|1)*|110010101001110001011(0|1)*|110010101001110001100(0|1)*|110010101001110001101(0|1)*|110010101001110001110(0|1)*|110010101001110001111(0|1)*|110010101001110010000(0|1)*|110010101001110010001(0|1)*|110010101001110010010(0|1)*|110010101001110010011(0|1)*|110010101001110010100(0|1)*|110010101001110010101(0|1)*|110010101001110010110(0|1)*|110010101001110010111(0|1)*|110010101001110011000(0|1)*|110010101001110011001(0|1)*|110010101001110011010(0|1)*|110010101001110011011(0|1)*|110010101001110011100(0|1)*|110010101001110011101(0|1)*|110010101001110011110(0|1)*|110010101001110011111(0|1)*|1101101010111010(0|1)*|110110101011101000000(0|1)*|110110101011101000000001(0|1)*|110110101011101000001000(0|1)*|110110101011101000001001(0|1)*|110110101011101000001010(0|1)*|110110101011101000001011(0|1)*|110110101011101000001100(0|1)*|110110101011101000001110(0|1)*|110110101011101000001111(0|1)*|110110101011101000010(0|1)*|110110101011101000010000(0|1)*|110110101011101000010001(0|1)*|110110101011101000010010(0|1)*|110110101011101000010011(0|1)*|110110101011101000011(0|1)*|110110101011101000100(0|1)*|110110101011101000101(0|1)*|110110101011101000110(0|1)*|110110101011101000111(0|1)*|110110101011101001000(0|1)*|110110101011101001001(0|1)*|110110101011101001010(0|1)*|110110101011101001011(0|1)*|110110101011101001100(0|1)*|110110101011101001101(0|1)*|110110101011101001110(0|1)*|110110101011101001111(0|1)*|110110101011101010000(0|1)*|110110101011101010001(0|1)*|110110101011101010010(0|1)*|110110101011101010011(0|1)*|110110101011101010100(0|1)*|110110101011101010101(0|1)*|110110101011101010110(0|1)*|110110101011101010111(0|1)*|110110101011101011000(0|1)*|110110101011101011001(0|1)*|110110101011101011010(0|1)*|110110101011101011011(0|1)*|110110101011101011100(0|1)*|110110101011101011101(0|1)*|110110101011101011110(0|1)*|110110101011101011111(0|1)*|1101101011010100(0|1)*|110110101101010000000(0|1)*|110110101101010000001(0|1)*|110110101101010000010(0|1)*|110110101101010000011(0|1)*|110110101101010000100(0|1)*|110110101101010000101(0|1)*|110110101101010000110(0|1)*|110110101101010000111(0|1)*|110110101101010001000(0|1)*|110110101101010001001(0|1)*|110110101101010001010(0|1)*|110110101101010001011(0|1)*|110110101101010001100(0|1)*|110110101101010001101(0|1)*|110110101101010001110(0|1)*|110110101101010001111(0|1)*|110110101101010010000(0|1)*|110110101101010010001(0|1)*|110110101101010010010(0|1)*|110110101101010010011(0|1)*|110110101101010010100(0|1)*|1101101011010100101000(0|1)*|110110101101010010101(0|1)*|110110101101010010110(0|1)*|110110101101010010111(0|1)*|110110101101010011000(0|1)*|110110101101010011010(0|1)*|110110101101010011011(0|1)*|110110101101010011100(0|1)*|110110101101010011101(0|1)*|110110101101010011110(0|1)*|110110101101010011111(0|1)*|1101111010100100(0|1)*|110111101010010000000(0|1)*|110111101010010000001(0|1)*|110111101010010000010(0|1)*|110111101010010000011(0|1)*|110111101010010000100(0|1)*|110111101010010000101(0|1)*|110111101010010000110(0|1)*|110111101010010000111(0|1)*|110111101010010001000(0|1)*|110111101010010001001(0|1)*|110111101010010001010(0|1)*|110111101010010001011(0|1)*|110111101010010001100(0|1)*|110111101010010001101(0|1)*|110111101010010001110(0|1)*|110111101010010001111(0|1)*|110111101010010010000(0|1)*|110111101010010010001(0|1)*|110111101010010010010(0|1)*|110111101010010010011(0|1)*|110111101010010010100(0|1)*|110111101010010010101(0|1)*|110111101010010010110(0|1)*|110111101010010010111(0|1)*|110111101010010011000(0|1)*|110111101010010011001(0|1)*|110111101010010011010(0|1)*|110111101010010011011(0|1)*|110111101010010011100(0|1)*|110111101010010011101(0|1)*|110111101010010011110(0|1)*|110111101010010011111(0|1)*|11011110101001010(0|1)*|110111101010010100000(0|1)*|110111101010010100001(0|1)*|110111101010010100010(0|1)*|110111101010010100011(0|1)*|110111101010010100100(0|1)*|110111101010010100101(0|1)*|110111101010010100110(0|1)*|110111101010010100111(0|1)*|110111101010010101000(0|1)*|110111101010010101001(0|1)*|110111101010010101010(0|1)*|110111101010010101011(0|1)*|110111101010010101100(0|1)*|110111101010010101101(0|1)*|110111101010010101110(0|1)*|110111101010010101111(0|1)*)", | ||
318 | 2, | ||
319 | {"GNVPN-0001-PAD1101111010100101011101010101010101", | ||
320 | "GNVPN-0001-PAD11001010100111000101101010101"}, | ||
321 | {match, match}} | ||
322 | }; | ||
323 | |||
324 | check_nfa = 0; | ||
325 | check_dfa = 0; | ||
326 | check_rand = 0; | ||
327 | |||
328 | for (i = 0; i < 19; i++) | ||
329 | { | ||
330 | if (0 != regcomp (&rx, rxstr[i].regex, REG_EXTENDED)) | ||
331 | { | ||
332 | GNUNET_log (GNUNET_ERROR_TYPE_ERROR, | ||
333 | "Could not compile regex using regcomp()\n"); | ||
334 | return 1; | ||
335 | } | ||
336 | |||
337 | /* NFA test */ | ||
338 | a = REGEX_INTERNAL_construct_nfa (rxstr[i].regex, strlen (rxstr[i].regex)); | ||
339 | check_nfa += test_automaton (a, &rx, &rxstr[i]); | ||
340 | REGEX_INTERNAL_automaton_destroy (a); | ||
341 | |||
342 | /* DFA test */ | ||
343 | a = REGEX_INTERNAL_construct_dfa (rxstr[i].regex, strlen (rxstr[i].regex), 0); | ||
344 | check_dfa += test_automaton (a, &rx, &rxstr[i]); | ||
345 | check_proof = GNUNET_strdup (REGEX_INTERNAL_get_canonical_regex (a)); | ||
346 | REGEX_INTERNAL_automaton_destroy (a); | ||
347 | |||
348 | a = REGEX_INTERNAL_construct_dfa (check_proof, strlen (check_proof), 0); | ||
349 | check_dfa += test_automaton (a, &rx, &rxstr[i]); | ||
350 | REGEX_INTERNAL_automaton_destroy (a); | ||
351 | if (0 != check_dfa) | ||
352 | GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "check_proof: %s\n", check_proof); | ||
353 | GNUNET_free_non_null (check_proof); | ||
354 | |||
355 | regfree (&rx); | ||
356 | } | ||
357 | |||
358 | /* Random tests */ | ||
359 | srand (time (NULL)); | ||
360 | for (i = 0; i < 20; i++) | ||
361 | check_rand += test_random (50, 60, 10); | ||
362 | |||
363 | return check_nfa + check_dfa + check_rand; | ||
364 | } | ||