Annotation of embedaddon/php/ext/pcre/pcrelib/pcre_valid_utf8.c, revision 1.1.1.1

1.1       misho       1: /*************************************************
                      2: *      Perl-Compatible Regular Expressions       *
                      3: *************************************************/
                      4: 
                      5: /* 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: 
                      8:                        Written by Philip Hazel
                      9:            Copyright (c) 1997-2009 University of Cambridge
                     10: 
                     11: -----------------------------------------------------------------------------
                     12: Redistribution and use in source and binary forms, with or without
                     13: modification, are permitted provided that the following conditions are met:
                     14: 
                     15:     * Redistributions of source code must retain the above copyright notice,
                     16:       this list of conditions and the following disclaimer.
                     17: 
                     18:     * 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: 
                     22:     * 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: 
                     26: 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: -----------------------------------------------------------------------------
                     38: */
                     39: 
                     40: 
                     41: /* This module contains an internal function for validating UTF-8 character
                     42: strings. */
                     43: 
                     44: 
                     45: #include "config.h"
                     46: 
                     47: #include "pcre_internal.h"
                     48: 
                     49: 
                     50: /*************************************************
                     51: *         Validate a UTF-8 string                *
                     52: *************************************************/
                     53: 
                     54: /* This function is called (optionally) at the start of compile or match, to
                     55: validate that a supposed UTF-8 string is actually valid. The early check means
                     56: that subsequent code can assume it is dealing with a valid string. The check
                     57: can be turned off for maximum performance, but the consequences of supplying
                     58: an invalid string are then undefined.
                     59: 
                     60: Originally, this function checked according to RFC 2279, allowing for values in
                     61: the range 0 to 0x7fffffff, up to 6 bytes long, but ensuring that they were in
                     62: the canonical format. Once somebody had pointed out RFC 3629 to me (it
                     63: obsoletes 2279), additional restrictions were applied. The values are now
                     64: limited to be between 0 and 0x0010ffff, no more than 4 bytes long, and the
                     65: subrange 0xd000 to 0xdfff is excluded.
                     66: 
                     67: Arguments:
                     68:   string       points to the string
                     69:   length       length of string, or -1 if the string is zero-terminated
                     70: 
                     71: Returns:       < 0    if the string is a valid UTF-8 string
                     72:                >= 0   otherwise; the value is the offset of the bad byte
                     73: 
                     74: Bad bytes can be:
                     75: 
                     76:   . An isolated byte whose most significant bits are 0x80, because this
                     77:     can only correctly appear within a UTF-8 character;
                     78: 
                     79:   . A byte whose most significant bits are 0xc0, but whose other bits indicate
                     80:     that there are more than 3 additional bytes (i.e. an RFC 2279 starting
                     81:     byte, which is no longer valid under RFC 3629);
                     82: 
                     83:   .
                     84: 
                     85: The returned offset may also be equal to the length of the string; this means
                     86: that one or more bytes is missing from the final UTF-8 character.
                     87: */
                     88: 
                     89: int
                     90: _pcre_valid_utf8(USPTR string, int length)
                     91: {
                     92: #ifdef SUPPORT_UTF8
                     93: register USPTR p;
                     94: 
                     95: if (length < 0)
                     96:   {
                     97:   for (p = string; *p != 0; p++);
                     98:   length = p - string;
                     99:   }
                    100: 
                    101: for (p = string; length-- > 0; p++)
                    102:   {
                    103:   register int ab;
                    104:   register int c = *p;
                    105:   if (c < 128) continue;
                    106:   if (c < 0xc0) return p - string;
                    107:   ab = _pcre_utf8_table4[c & 0x3f];     /* Number of additional bytes */
                    108:   if (ab > 3) return p - string;        /* Too many for RFC 3629 */
                    109:   if (length < ab) return p + 1 + length - string;   /* Missing bytes */
                    110:   length -= ab;
                    111: 
                    112:   /* Check top bits in the second byte */
                    113:   if ((*(++p) & 0xc0) != 0x80) return p - string;
                    114: 
                    115:   /* Check for overlong sequences for each different length, and for the
                    116:   excluded range 0xd000 to 0xdfff.  */
                    117: 
                    118:   switch (ab)
                    119:     {
                    120:     /* Check for xx00 000x (overlong sequence) */
                    121: 
                    122:     case 1:
                    123:     if ((c & 0x3e) == 0) return p - string;
                    124:     continue;   /* We know there aren't any more bytes to check */
                    125: 
                    126:     /* Check for 1110 0000, xx0x xxxx (overlong sequence) or
                    127:                  1110 1101, 1010 xxxx (0xd000 - 0xdfff) */
                    128: 
                    129:     case 2:
                    130:     if ((c == 0xe0 && (*p & 0x20) == 0) ||
                    131:         (c == 0xed && *p >= 0xa0))
                    132:       return p - string;
                    133:     break;
                    134: 
                    135:     /* Check for 1111 0000, xx00 xxxx (overlong sequence) or
                    136:        greater than 0x0010ffff (f4 8f bf bf) */
                    137: 
                    138:     case 3:
                    139:     if ((c == 0xf0 && (*p & 0x30) == 0) ||
                    140:         (c > 0xf4 ) ||
                    141:         (c == 0xf4 && *p > 0x8f))
                    142:       return p - string;
                    143:     break;
                    144: 
                    145: #if 0
                    146:     /* These cases can no longer occur, as we restrict to a maximum of four
                    147:     bytes nowadays. Leave the code here in case we ever want to add an option
                    148:     for longer sequences. */
                    149: 
                    150:     /* Check for 1111 1000, xx00 0xxx */
                    151:     case 4:
                    152:     if (c == 0xf8 && (*p & 0x38) == 0) return p - string;
                    153:     break;
                    154: 
                    155:     /* Check for leading 0xfe or 0xff, and then for 1111 1100, xx00 00xx */
                    156:     case 5:
                    157:     if (c == 0xfe || c == 0xff ||
                    158:        (c == 0xfc && (*p & 0x3c) == 0)) return p - string;
                    159:     break;
                    160: #endif
                    161: 
                    162:     }
                    163: 
                    164:   /* Check for valid bytes after the 2nd, if any; all must start 10 */
                    165:   while (--ab > 0)
                    166:     {
                    167:     if ((*(++p) & 0xc0) != 0x80) return p - string;
                    168:     }
                    169:   }
                    170: #else
                    171: (void)(string);  /* Keep picky compilers happy */
                    172: (void)(length);
                    173: #endif
                    174: 
                    175: return -1;
                    176: }
                    177: 
                    178: /* End of pcre_valid_utf8.c */

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>