/[pcre]/code/trunk/pcreposix.c
ViewVC logotype

Contents of /code/trunk/pcreposix.c

Parent Directory Parent Directory | Revision Log Revision Log


Revision 268 - (hide annotations) (download)
Thu Nov 15 10:28:09 2007 UTC (6 years, 11 months ago) by ph10
File MIME type: text/plain
File size: 12438 byte(s)
Fix (?&) non-diagnosis bug and missing length check for (?&a) etc.

1 nigel 3 /*************************************************
2     * Perl-Compatible Regular Expressions *
3     *************************************************/
4    
5 nigel 77 /* PCRE is a library of functions to support regular expressions whose syntax
6     and semantics are as close as possible to those of the Perl 5 language.
7 nigel 3
8 nigel 77 Written by Philip Hazel
9 ph10 117 Copyright (c) 1997-2007 University of Cambridge
10 nigel 3
11     -----------------------------------------------------------------------------
12 nigel 75 Redistribution and use in source and binary forms, with or without
13     modification, are permitted provided that the following conditions are met:
14 nigel 3
15 nigel 75 * Redistributions of source code must retain the above copyright notice,
16     this list of conditions and the following disclaimer.
17 nigel 3
18 nigel 75 * Redistributions in binary form must reproduce the above copyright
19     notice, this list of conditions and the following disclaimer in the
20     documentation and/or other materials provided with the distribution.
21 nigel 3
22 nigel 75 * Neither the name of the University of Cambridge nor the names of its
23     contributors may be used to endorse or promote products derived from
24     this software without specific prior written permission.
25 nigel 29
26 nigel 75 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
27     AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
28     IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
29     ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
30     LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
31     CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
32     SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
33     INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
34     CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
35     ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
36     POSSIBILITY OF SUCH DAMAGE.
37 nigel 3 -----------------------------------------------------------------------------
38     */
39    
40 nigel 77
41     /* This module is a wrapper that provides a POSIX API to the underlying PCRE
42     functions. */
43    
44    
45 ph10 200 #ifdef HAVE_CONFIG_H
46 ph10 236 #include "config.h"
47 ph10 200 #endif
48 ph10 199
49    
50 ph10 200 /* Ensure that the PCREPOSIX_EXP_xxx macros are set appropriately for
51 ph10 199 compiling these functions. This must come before including pcreposix.h, where
52     they are set for an application (using these functions) if they have not
53     previously been set. */
54    
55     #if defined(_WIN32) && !defined(PCRE_STATIC)
56     # define PCREPOSIX_EXP_DECL extern __declspec(dllexport)
57     # define PCREPOSIX_EXP_DEFN __declspec(dllexport)
58     #endif
59    
60 ph10 236 #include "pcre.h"
61 nigel 77 #include "pcre_internal.h"
62 nigel 3 #include "pcreposix.h"
63    
64    
65 nigel 77 /* Table to translate PCRE compile time error codes into POSIX error codes. */
66 nigel 3
67 nigel 73 static const int eint[] = {
68 nigel 77 0, /* no error */
69     REG_EESCAPE, /* \ at end of pattern */
70     REG_EESCAPE, /* \c at end of pattern */
71     REG_EESCAPE, /* unrecognized character follows \ */
72     REG_BADBR, /* numbers out of order in {} quantifier */
73     REG_BADBR, /* number too big in {} quantifier */
74     REG_EBRACK, /* missing terminating ] for character class */
75     REG_ECTYPE, /* invalid escape sequence in character class */
76     REG_ERANGE, /* range out of order in character class */
77     REG_BADRPT, /* nothing to repeat */
78     REG_BADRPT, /* operand of unlimited repeat could match the empty string */
79     REG_ASSERT, /* internal error: unexpected repeat */
80     REG_BADPAT, /* unrecognized character after (? */
81     REG_BADPAT, /* POSIX named classes are supported only within a class */
82     REG_EPAREN, /* missing ) */
83     REG_ESUBREG, /* reference to non-existent subpattern */
84     REG_INVARG, /* erroffset passed as NULL */
85     REG_INVARG, /* unknown option bit(s) set */
86     REG_EPAREN, /* missing ) after comment */
87     REG_ESIZE, /* parentheses nested too deeply */
88     REG_ESIZE, /* regular expression too large */
89     REG_ESPACE, /* failed to get memory */
90     REG_EPAREN, /* unmatched brackets */
91     REG_ASSERT, /* internal error: code overflow */
92     REG_BADPAT, /* unrecognized character after (?< */
93     REG_BADPAT, /* lookbehind assertion is not fixed length */
94 nigel 91 REG_BADPAT, /* malformed number or name after (?( */
95 nigel 93 REG_BADPAT, /* conditional group contains more than two branches */
96 nigel 77 REG_BADPAT, /* assertion expected after (?( */
97 ph10 166 REG_BADPAT, /* (?R or (?[+-]digits must be followed by ) */
98 nigel 77 REG_ECTYPE, /* unknown POSIX class name */
99     REG_BADPAT, /* POSIX collating elements are not supported */
100     REG_INVARG, /* this version of PCRE is not compiled with PCRE_UTF8 support */
101     REG_BADPAT, /* spare error */
102     REG_BADPAT, /* character value in \x{...} sequence is too large */
103     REG_BADPAT, /* invalid condition (?(0) */
104     REG_BADPAT, /* \C not allowed in lookbehind assertion */
105     REG_EESCAPE, /* PCRE does not support \L, \l, \N, \U, or \u */
106     REG_BADPAT, /* number after (?C is > 255 */
107     REG_BADPAT, /* closing ) for (?C expected */
108     REG_BADPAT, /* recursive call could loop indefinitely */
109     REG_BADPAT, /* unrecognized character after (?P */
110 nigel 93 REG_BADPAT, /* syntax error in subpattern name (missing terminator) */
111 nigel 91 REG_BADPAT, /* two named subpatterns have the same name */
112 nigel 77 REG_BADPAT, /* invalid UTF-8 string */
113     REG_BADPAT, /* support for \P, \p, and \X has not been compiled */
114     REG_BADPAT, /* malformed \P or \p sequence */
115 nigel 91 REG_BADPAT, /* unknown property name after \P or \p */
116     REG_BADPAT, /* subpattern name is too long (maximum 32 characters) */
117     REG_BADPAT, /* too many named subpatterns (maximum 10,000) */
118     REG_BADPAT, /* repeated subpattern is too long */
119 nigel 93 REG_BADPAT, /* octal value is greater than \377 (not in UTF-8 mode) */
120     REG_BADPAT, /* internal error: overran compiling workspace */
121     REG_BADPAT, /* internal error: previously-checked referenced subpattern not found */
122     REG_BADPAT, /* DEFINE group contains more than one branch */
123     REG_BADPAT, /* repeating a DEFINE group is not allowed */
124     REG_INVARG, /* inconsistent NEWLINE options */
125 ph10 166 REG_BADPAT, /* \g is not followed followed by an (optionally braced) non-zero number */
126 ph10 213 REG_BADPAT, /* (?+ or (?- must be followed by a non-zero number */
127 ph10 268 REG_BADPAT, /* number is too big */
128     REG_BADPAT /* subpattern name expected after (?& */
129 nigel 3 };
130    
131     /* Table of texts corresponding to POSIX error codes */
132    
133 nigel 73 static const char *const pstring[] = {
134 nigel 3 "", /* Dummy for value 0 */
135     "internal error", /* REG_ASSERT */
136     "invalid repeat counts in {}", /* BADBR */
137     "pattern error", /* BADPAT */
138     "? * + invalid", /* BADRPT */
139     "unbalanced {}", /* EBRACE */
140     "unbalanced []", /* EBRACK */
141     "collation error - not relevant", /* ECOLLATE */
142     "bad class", /* ECTYPE */
143     "bad escape sequence", /* EESCAPE */
144     "empty expression", /* EMPTY */
145     "unbalanced ()", /* EPAREN */
146     "bad range inside []", /* ERANGE */
147     "expression too big", /* ESIZE */
148     "failed to get memory", /* ESPACE */
149     "bad back reference", /* ESUBREG */
150     "bad argument", /* INVARG */
151     "match failed" /* NOMATCH */
152     };
153    
154    
155    
156    
157     /*************************************************
158     * Translate error code to string *
159     *************************************************/
160    
161 ph10 145 PCREPOSIX_EXP_DEFN size_t
162 nigel 3 regerror(int errcode, const regex_t *preg, char *errbuf, size_t errbuf_size)
163     {
164 nigel 7 const char *message, *addmessage;
165     size_t length, addlength;
166 nigel 3
167 nigel 7 message = (errcode >= (int)(sizeof(pstring)/sizeof(char *)))?
168 nigel 3 "unknown error code" : pstring[errcode];
169 nigel 7 length = strlen(message) + 1;
170 nigel 3
171 nigel 7 addmessage = " at offset ";
172     addlength = (preg != NULL && (int)preg->re_erroffset != -1)?
173     strlen(addmessage) + 6 : 0;
174 nigel 3
175     if (errbuf_size > 0)
176     {
177 nigel 7 if (addlength > 0 && errbuf_size >= length + addlength)
178 nigel 23 sprintf(errbuf, "%s%s%-6d", message, addmessage, (int)preg->re_erroffset);
179 nigel 3 else
180     {
181     strncpy(errbuf, message, errbuf_size - 1);
182     errbuf[errbuf_size-1] = 0;
183     }
184     }
185    
186 nigel 7 return length + addlength;
187 nigel 3 }
188    
189    
190    
191    
192     /*************************************************
193     * Free store held by a regex *
194     *************************************************/
195    
196 ph10 145 PCREPOSIX_EXP_DEFN void
197 nigel 3 regfree(regex_t *preg)
198     {
199     (pcre_free)(preg->re_pcre);
200     }
201    
202    
203    
204    
205     /*************************************************
206     * Compile a regular expression *
207     *************************************************/
208    
209     /*
210     Arguments:
211     preg points to a structure for recording the compiled expression
212     pattern the pattern to compile
213     cflags compilation flags
214    
215     Returns: 0 on success
216     various non-zero codes on failure
217     */
218    
219 ph10 145 PCREPOSIX_EXP_DEFN int
220 nigel 3 regcomp(regex_t *preg, const char *pattern, int cflags)
221     {
222 nigel 7 const char *errorptr;
223 nigel 3 int erroffset;
224 nigel 77 int errorcode;
225 nigel 3 int options = 0;
226    
227 nigel 87 if ((cflags & REG_ICASE) != 0) options |= PCRE_CASELESS;
228 nigel 3 if ((cflags & REG_NEWLINE) != 0) options |= PCRE_MULTILINE;
229 nigel 87 if ((cflags & REG_DOTALL) != 0) options |= PCRE_DOTALL;
230     if ((cflags & REG_NOSUB) != 0) options |= PCRE_NO_AUTO_CAPTURE;
231     if ((cflags & REG_UTF8) != 0) options |= PCRE_UTF8;
232 nigel 3
233 nigel 77 preg->re_pcre = pcre_compile2(pattern, options, &errorcode, &errorptr,
234     &erroffset, NULL);
235 nigel 3 preg->re_erroffset = erroffset;
236    
237 nigel 77 if (preg->re_pcre == NULL) return eint[errorcode];
238 nigel 3
239 nigel 71 preg->re_nsub = pcre_info((const pcre *)preg->re_pcre, NULL, NULL);
240 nigel 3 return 0;
241     }
242    
243    
244    
245    
246     /*************************************************
247     * Match a regular expression *
248     *************************************************/
249    
250 nigel 41 /* Unfortunately, PCRE requires 3 ints of working space for each captured
251     substring, so we have to get and release working store instead of just using
252     the POSIX structures as was done in earlier releases when PCRE needed only 2
253 nigel 63 ints. However, if the number of possible capturing brackets is small, use a
254     block of store on the stack, to reduce the use of malloc/free. The threshold is
255 nigel 87 in a macro that can be changed at configure time.
256 nigel 41
257 nigel 87 If REG_NOSUB was specified at compile time, the PCRE_NO_AUTO_CAPTURE flag will
258     be set. When this is the case, the nmatch and pmatch arguments are ignored, and
259     the only result is yes/no/error. */
260    
261 ph10 145 PCREPOSIX_EXP_DEFN int
262 nigel 69 regexec(const regex_t *preg, const char *string, size_t nmatch,
263 nigel 3 regmatch_t pmatch[], int eflags)
264     {
265     int rc;
266     int options = 0;
267 nigel 41 int *ovector = NULL;
268 nigel 63 int small_ovector[POSIX_MALLOC_THRESHOLD * 3];
269     BOOL allocated_ovector = FALSE;
270 nigel 87 BOOL nosub =
271     (((const pcre *)preg->re_pcre)->options & PCRE_NO_AUTO_CAPTURE) != 0;
272 nigel 3
273     if ((eflags & REG_NOTBOL) != 0) options |= PCRE_NOTBOL;
274     if ((eflags & REG_NOTEOL) != 0) options |= PCRE_NOTEOL;
275    
276 nigel 69 ((regex_t *)preg)->re_erroffset = (size_t)(-1); /* Only has meaning after compile */
277 nigel 3
278 nigel 87 /* When no string data is being returned, ensure that nmatch is zero.
279     Otherwise, ensure the vector for holding the return data is large enough. */
280    
281     if (nosub) nmatch = 0;
282    
283     else if (nmatch > 0)
284 nigel 41 {
285 nigel 63 if (nmatch <= POSIX_MALLOC_THRESHOLD)
286     {
287     ovector = &(small_ovector[0]);
288     }
289     else
290     {
291 nigel 87 if (nmatch > INT_MAX/(sizeof(int) * 3)) return REG_ESPACE;
292 nigel 63 ovector = (int *)malloc(sizeof(int) * nmatch * 3);
293     if (ovector == NULL) return REG_ESPACE;
294     allocated_ovector = TRUE;
295     }
296 nigel 41 }
297    
298 nigel 71 rc = pcre_exec((const pcre *)preg->re_pcre, NULL, string, (int)strlen(string),
299     0, options, ovector, nmatch * 3);
300 nigel 3
301 nigel 41 if (rc == 0) rc = nmatch; /* All captured slots were filled in */
302 nigel 3
303 nigel 41 if (rc >= 0)
304 nigel 3 {
305 nigel 7 size_t i;
306 nigel 87 if (!nosub)
307 nigel 41 {
308 nigel 87 for (i = 0; i < (size_t)rc; i++)
309     {
310     pmatch[i].rm_so = ovector[i*2];
311     pmatch[i].rm_eo = ovector[i*2+1];
312     }
313     if (allocated_ovector) free(ovector);
314     for (; i < nmatch; i++) pmatch[i].rm_so = pmatch[i].rm_eo = -1;
315 nigel 41 }
316 nigel 3 return 0;
317     }
318    
319 nigel 41 else
320 nigel 3 {
321 nigel 63 if (allocated_ovector) free(ovector);
322 nigel 41 switch(rc)
323     {
324     case PCRE_ERROR_NOMATCH: return REG_NOMATCH;
325     case PCRE_ERROR_NULL: return REG_INVARG;
326     case PCRE_ERROR_BADOPTION: return REG_INVARG;
327     case PCRE_ERROR_BADMAGIC: return REG_INVARG;
328     case PCRE_ERROR_UNKNOWN_NODE: return REG_ASSERT;
329     case PCRE_ERROR_NOMEMORY: return REG_ESPACE;
330 nigel 73 case PCRE_ERROR_MATCHLIMIT: return REG_ESPACE;
331     case PCRE_ERROR_BADUTF8: return REG_INVARG;
332     case PCRE_ERROR_BADUTF8_OFFSET: return REG_INVARG;
333 nigel 41 default: return REG_ASSERT;
334     }
335 nigel 3 }
336     }
337    
338     /* End of pcreposix.c */

Properties

Name Value
svn:eol-style native
svn:keywords "Author Date Id Revision Url"

webmaster@exim.org
ViewVC Help
Powered by ViewVC 1.1.12