Diff for /parser3/src/main/untaint.C between versions 1.56 and 1.146

version 1.56, 2001/07/18 13:18:00 version 1.146, 2009/04/18 22:49:47
Line 1 Line 1
 /** @file  /** @file
         Parser: String class part: untaint mechanizm.          Parser: String class part: untaint mechanizm.
   
         Copyright(c) 2001 ArtLebedev Group(http://www.artlebedev.com)          Copyright(c) 2001-2005 ArtLebedev Group (http://www.artlebedev.com)
           Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
         Author: Alexander Petrosyan <paf@design.ru>(http://design.ru/paf)  
 */  */
 static const char *RCSId="$Id$";   
   
 #include "pa_pool.h"  static const char * const IDENT_UNTAINT_C="$Date$";
   
   
 #include "pa_string.h"  #include "pa_string.h"
 #include "pa_hash.h"  #include "pa_hash.h"
 #include "pa_exception.h"  #include "pa_exception.h"
 #include "pa_table.h"  #include "pa_table.h"
 #include "pa_globals.h"  #include "pa_globals.h"
   #include "pa_dictionary.h"
   #include "pa_common.h"
   #include "pa_charset.h"
   #include "pa_request_charsets.h"
   #include "pa_sapi.h"
   
   extern "C" { // author forgot to do that
   #include "ec.h"
   }
   
 #include "pa_sql_connection.h"  #include "pa_sql_connection.h"
   
 #define escape(action) \  // defines
         { \  
                 const char *src=row->item.ptr; \  #undef CORD_ec_append
                 for(int size=row->item.size; size--; src++) \  // redefining to intercept flushes and implement whitespace optimization
                         action \  // of all consequent white space chars leaving only first one
   #define CORD_ec_append(x, c) \
       {  \
           bool skip=false; \
           if(optimize) switch(c) { \
           case ' ': case '\n': case '\t': \
                   if(whitespace) \
                           skip=true; /*skipping subsequent*/ \
                   else \
                           whitespace=true; \
                   break; \
           default: \
                   whitespace=false; \
                   break; \
           } \
           if(!skip) { \
                   if ((x)[0].ec_bufptr == (x)[0].ec_buf + CORD_BUFSZ) { \
                           CORD_ec_flush_buf(x); \
                   } \
                   *((x)[0].ec_bufptr)++ = (c); \
           } \
       }
   
   
   #define escape_fragment(action) \
           for(; fragment_length--; CORD_next(info->pos)) { \
                   char c=CORD_pos_fetch(info->pos); \
                   action \
         }          }
 #define _default  default: *dest++=*src; break  #define _default CORD_ec_append(info->result, c)
 #define encode(need_encode_func, prefix)  \  #define encode(need_encode_func, prefix, otherwise)  \
                 default: \          if(need_encode_func(c)) { \
                         if(need_encode_func(*src)) { \                  static const char* hex="0123456789ABCDEF"; \
                                 static const char *hex="0123456789ABCDEF"; \                  CORD_ec_append(info->result, prefix); \
                                 char chunk[3]={prefix}; \                  CORD_ec_append(info->result, hex[((unsigned char)c)/0x10]); \
                                 chunk[1]=hex[((unsigned char)*src)/0x10]; \                  CORD_ec_append(info->result, hex[((unsigned char)c)%0x10]); \
                                 chunk[2]=hex[((unsigned char)*src)%0x10]; \          } else \
                                 strncpy(dest, chunk, 3);  dest+=3; \                  CORD_ec_append(info->result, otherwise);
                         } else \  #define to_char(c)  { CORD_ec_append(info->result, c); whitespace=false; }
                                 *dest++=*src; \  #define to_string(s)  { CORD_ec_append_cord(info->result, s); whitespace=false; }
                         break  
 #define to_char(c)  *dest++=c  
 #define to_string(b, bsize)  \  
                 strncpy(dest, b, bsize); \  
                 dest+=bsize; \  
   
 inline bool need_file_encode(unsigned char c){  inline bool need_file_encode(unsigned char c){
     if((c>='0') &&(c<='9') ||(c>='A') &&(c<='Z') ||(c>='a') &&(c<='z'))           // russian letters and space ENABLED
                 return false;          // encoding only these...
           return strchr(
     return !strchr(                          "*?'\"<>|"
 #ifdef WIN32  #ifndef WIN32
                 ":\\~"                          ":\\"
 #endif  #endif
                 "./()_-", c);                          , c)!=0;
 }  }
   
 inline bool need_uri_encode(unsigned char c){  inline bool need_uri_encode(unsigned char c){
     if((c>='0') &&(c<='9') ||(c>='A') &&(c<='Z') ||(c>='a') &&(c<='z'))           if((c>='0') &&(c<='9') ||(c>='A') &&(c<='Z') ||(c>='a') &&(c<='z'))
                 return false;                  return false;
   
     return !strchr("_-./", c);          return !strchr("_-./", c);
 }  }
   
 inline bool need_http_header_encode(unsigned char c){  inline bool need_http_header_encode(unsigned char c){
     if(strchr(" , :", c))          if(strchr(" , :", c))
                 return false;                  return false;
   
         return need_uri_encode(c);          return need_uri_encode(c);
 }  }
   
 //  inline bool need_regex_escape(unsigned char c){
           return strchr("\\^$.[]|()?*+{}-", c)!=0;
 static const char * String_Untaint_lang_name[]={  }
         "U", ///< zero value handy for hash lookup @see untaint_lang_name2enum  
         "C", ///< clean  
         "T",  ///< tainted, untaint language as assigned later   
         // untaint languages. assigned by ^untaint[lang]{...}  
         "P",  
                 /**<  
                         leave language built into string being appended.  
                         just a flag, that value not stored  
                 */  
         "A",     ///< leave all characters intact  
         "F", ///< filename  
         "H",    ///< text in HTTP response header  
         "M",    ///< text in mail header  
         "URI",       ///< text in uri  
         "T",     ///< ^table:set body  
         "SQL",       ///< ^table:sql body  
         "JS",        ///< JavaScript code  
         "HTML",      ///< HTML code (for editing)  
         "UHTML", ///< HTML code with USER chars  
 };  
   
   
 // String  // String
   
 static bool typo_present(Array::Item *value, const void *info) {  
         Array *row=static_cast<Array *>(value);  
         const char *src=static_cast<const char *>(info);  
   
         int partial;  
         row->get_string(0)->cmp(partial, src);  
         return   
                 partial==0 || // full match  
                 partial==1; // typo left column starts 'src'  
 }  
   
 /*  /*
   
 HTTP-header    = field-name ":" [ field-value ] CRLF  HTTP-header    = field-name ":" [ field-value ] CRLF
   
        field-name     = token         field-name     = token
Line 134  quoted-pair    = "\" CHAR Line 135  quoted-pair    = "\" CHAR
   
   if(strchr("()<>@,;:\\\"/[]?={} \t", *ptr))    if(strchr("()<>@,;:\\\"/[]?={} \t", *ptr))
 */  */
 inline bool need_quote_http_header(const char *ptr, size_t size) {  inline bool need_quote_http_header(const char* ptr, size_t size) {
         for(; size--; ptr++)          for(; size--; ptr++)
                 if(strchr(";\\\"= \t" /* excluded ()<>@, :/ ? []{} */, *ptr))                  if(strchr(";\\\"= \t" /* excluded ()<>@, :/ ? []{} */, *ptr))
                         return true;                          return true;
         return false;          return false;
 }  }
   
 /** @todo maybe additional check "are all pieces are clean?" would be profitable?  #ifndef DOXYGEN
         @todo fix potential forigins_mode buf overrun  struct Append_fragment_info {
           String::Language lang;
           String::Languages* dest_languages;
           size_t dest_body_plan_length;
   };
   #endif
   int append_fragment_optimizing(char alang, size_t asize, Append_fragment_info* info) {
           const String::Language lang=(String::Language)(unsigned char)alang;
           // main idea here:
           // tainted piece would get OPTIMIZED bit from 'lang'
           // clean piece would be marked OPTIMIZED manually
           // pieces with determined languages [not tainted|clean] would retain theirs langs
           info->dest_languages->append(info->dest_body_plan_length, 
                   lang==String::L_TAINTED?
                           info->lang
                           :lang==String::L_CLEAN?
                                   (String::Language)(String::L_CLEAN|String::L_OPTIMIZE_BIT) // ORing with OPTIMIZED flag
                                   :lang,
                   asize);
           info->dest_body_plan_length+=asize;
   
           return 0; // 0=continue
   }
   int append_fragment_nonoptimizing(char alang, size_t asize, Append_fragment_info* info) {
           const String::Language lang=(String::Language)(unsigned char)alang;
           // The core idea: tainted pieces got marked with context's lang
           info->dest_languages->append(info->dest_body_plan_length, 
                   lang==String::L_TAINTED?
                           info->lang
                           :lang,
                   asize);
           info->dest_body_plan_length+=asize;
   
           return 0; // 0=continue
   }
   
   /** 
           appends to other String,
           marking all tainted pieces of it with @a lang.
           or marking ALL pieces of it with a @a lang when @a forced to,
           and propagating OPTIMIZE language bit.
 */  */
 size_t String::cstr_bufsize(Untaint_lang lang) const {  String& String::append_to(String& dest, Language lang, bool forced) const {
         return (lang==UL_AS_IS?size():size()*UNTAINT_TIMES_BIGGER*(forigins_mode?10:1)) +1;          if(is_empty())
                   return dest;
   
           // first: fragment infos
           
           if(lang==L_PASS_APPENDED) // without language-change?
                   dest.langs.appendHelper(dest.body, body, langs);
           else if(forced) //forcing passed lang?
                   dest.langs.append(dest.body, lang, length());
           else { 
                   Append_fragment_info info={lang, &dest.langs, dest.body.length()};
               langs.for_each(body, lang&L_OPTIMIZE_BIT?
                           append_fragment_optimizing
                           :append_fragment_nonoptimizing, &info);
           }
   
           // next: letters
           dest.body<<body;
   
           ASSERT_STRING_INVARIANT(dest);
           return dest;
 }  }
   
 /** @todo fix theoretical \n mem overrun in TYPO replacements  /** http://www.ietf.org/rfc/rfc2047.txt
 @todo rename base_64 to quoted_printable [invalid name now]  RFC
   (3) As a replacement for a 'word' entity within a 'phrase', for example,
       one that precedes an address in a From, To, or Cc header.  The ABNF
       definition for 'phrase' from RFC 822 thus becomes:
   
       phrase = 1*( encoded-word / word )
   
       In this case the set of characters that may be used in a "Q"-encoded
       'encoded-word' is restricted to: <upper and lower case ASCII
       letters, decimal digits, "!", "*", "+", "-", "/", "=", and "_"
       (underscore, ASCII 95.)>.  An 'encoded-word' that appears within a
       'phrase' MUST be separated from any adjacent 'word', 'text' or
       'special' by 'linear-white-space'.
   ...
      (2) The 8-bit hexadecimal value 20 (e.g., ISO-8859-1 SPACE) may be
          represented as "_" (underscore, ASCII 95.).  (This character may
          not pass through some internetwork mail gateways, but its use
          will greatly enhance readability of "Q" encoded data with mail
          readers that do not support this encoding.)  Note that the "_"
          always represents hexadecimal 20, even if the SPACE character
          occupies a different code position in the character set in use.
   
           paf: obviously, 
                   without "=", or one could not differ "=E0" and "russian letter a"
                   and without "_", or in would mean 0x20
 */  */
 char *String::store_to(char *dest, Untaint_lang lang,   inline bool mail_header_char_valid_within_Qencoded(char c) {
                                            SQL_Connection *connection,          return c>='A' && c<='Z'
                                            const char *charset) const {                  || c>='a' && c<='Z'
         // $MAIN:html-typo table                  || c>='0' && c<='9'
         Table *user_typo_table=static_cast<Table *>(pool().tag());                  || strchr("!*+-/", c);
         Table *typo_table=user_typo_table?user_typo_table:default_typo_table;  }
   inline bool addr_spec_soon(const char *src) {
         bool whitespace=true;          for(char c; (c=*src); src++)
         const Chunk *chunk=&head;                   if(c=='<')
         do {                          return true;
                 const Chunk::Row *row=chunk->rows;                  else if(!(c==' ' || c=='\t'))
                 for(size_t i=0; i<chunk->count; i++, row++) {                          return false;
                         if(row==append_here)          return false;
                                 goto break2;  }
   /**
                         Untaint_lang to_lang=lang==UL_UNSPECIFIED?row->item.lang:lang;          RFC 
           Upper case should be used for hexadecimal digits "A" through "F"
                         char *dest_before_origins=dest;          The 8-bit hexadecimal value 20 (e.g., ISO-8859-1 SPACE) 
           may be represented as "_" 
                         if(forigins_mode) {  */
 #ifndef NO_STRING_ORIGIN  inline bool mail_header_nonspace_char(char c) {
                                 if(row->item.origin.file)          return c != 0x20;
                                         dest+=sprintf(dest, "%s(%d)",  }
                                                 row->item.origin.file,  
                                                 1+row->item.origin.line);  
                                 else  
                                         dest+=sprintf(dest, "unknown");  
 #endif  
                                 dest+=sprintf(dest, "#%s: ",  
                                         String_Untaint_lang_name[to_lang]);  
                         }  
                         char *dest_after_origins=dest;  
   
                         // WARNING:  inline void ec_append(CORD_ec& result, bool& optimize, bool& whitespace, CORD_pos pos, size_t size) {
                         //      string can grow only UNTAINT_TIMES_BIGGER          while(size--) {
                         switch(to_lang) {                  CORD_ec_append(result, CORD_pos_fetch(pos));
                         case UL_CLEAN:                  CORD_next(pos);
                                 // clean piece          }
                                 { // optimizing whitespace  }
                                         const char *src=row->item.ptr;   inline void pa_CORD_pos_advance(CORD_pos pos, size_t n) {
                                         for(int size=row->item.size; size--; src++)          while(true) {
                                                 switch(*src) {                  long avail=CORD_pos_chars_left(pos);
                                                 case ' ': case '\n': case '\r': case '\t':                  if(avail<=0) {
                                                         if(!whitespace) {                          CORD_next(pos);
                                                                 *dest++=*src;                          if(!--n)
                                                                 whitespace=true;                                  break;
                                                         }                  } else if((size_t)avail<n) {
                                                         break;                          CORD_pos_advance(pos, avail);
                                                 default:                          n-=avail;
                                                         whitespace=false;                  } else { // avail>=n
                                                         *dest++=*src;                          CORD_pos_advance(pos, n);
                                                         break;                          break;
                                                 }                  }
                                 }          }
                                 break;  }
                         case UL_TAINTED:  
                                 // tainted piece, but undefined untaint language  #ifndef DOXYGEN
                                 // for VString.as_double of tainted values  struct Cstr_to_string_body_block_info {
                                 // for ^process{body} evaluation          // input
                         case UL_AS_IS:          String::Language lang;
                                 // tainted, untaint language: as-is          SQL_Connection* connection;
                                 memcpy(dest, row->item.ptr, row->item.size);           const Request_charsets* charsets;
                                 dest+=row->item.size;          const String::Body* body;
                                 break;  
                         case UL_FILE_NAME:          // output
                                 // tainted, untaint language: file [name]          CORD_ec result;
                                 escape(switch(*src) {  
                                         case ' ': to_char('_');  break;          // private
                                         encode(need_file_encode, '+');          CORD_pos pos;
                                 });          size_t fragment_begin;
                                 break;          bool whitespace;
                         case UL_URI:          const char* exception;
                                 // tainted, untaint language: uri  };
                                 escape(switch(*src) {  #endif
                                         case ' ': to_char('+');  break;  int cstr_to_string_body_block(char alang, size_t fragment_length, Cstr_to_string_body_block_info* info) {
                                         encode(need_uri_encode, '%');          const String::Language fragment_lang=(String::Language)(unsigned char)alang;
                                 });          bool& whitespace=info->whitespace;
                                 break;          size_t fragment_end=info->fragment_begin+fragment_length;
                         case UL_HTTP_HEADER:          //fprintf(stderr, "%d, %d =%s=\n", fragment_lang, fragment_length, info->body->cstr());
                                 // tainted, untaint language: http-header          
                                 if(need_quote_http_header(row->item.ptr, row->item.size)) {          String::Language to_lang=info->lang==String::L_UNSPECIFIED?fragment_lang:info->lang;
                                         *dest++='\"';          bool optimize=(to_lang & String::L_OPTIMIZE_BIT)!=0;
                                         escape(switch(*src) {          if(!optimize)
                                                 case '\"': to_string("\\\"", 2);  break;                  whitespace=false;
                                                 _default;                  
                                         });          switch(to_lang & ~String::L_OPTIMIZE_BIT) {
                                         *dest++='\"';          case String::L_CLEAN:
                                 } else {          case String::L_TAINTED:
                                         memcpy(dest, row->item.ptr, row->item.size);           case String::L_AS_IS:
                                         dest+=row->item.size;                  // clean piece
   
                   // tainted piece, but undefined untaint language
                   // for VString.as_double of tainted values
                   // for ^process{body} evaluation
   
                   // tainted, untaint language: as-is
                   ec_append(info->result, optimize, whitespace, info->pos, fragment_length);
                   break;
           case String::L_FILE_SPEC:
                   // tainted, untaint language: file [name]
                   {
                           bool is1251=(info->charsets && info->charsets->source().NAME()=="WINDOWS-1251");
                           escape_fragment(
                                   // Macintosh has problems with small Russian letter 'r'
                                   if( is1251 && c=='\xF0' ) {
                                           // fixing that letter for most common charset
                                           to_char('p');
                                   } else // fallback to default
                                           encode(need_file_encode, '_', c); 
                           );
                   }
                   break;
           case String::L_FILE_POST:
                   {
                           escape_fragment(switch(c) {
                                   case '\0': to_string("\\0");  break;
                                   case '\\': to_string("\\\\"); break;
                                   default: _default; break;
                           });
                   }
                   break;
           case String::L_URI:
                   // tainted, untaint language: uri
                   {
                           const char *fragment_str=info->body->mid(info->fragment_begin, fragment_length).cstr();
                           // skip source [we use recoded version]
                           pa_CORD_pos_advance(info->pos, fragment_length);
                           String::C output(fragment_str, fragment_length);
                           if(info->charsets) 
                                   output=Charset::transcode(output, 
                                           info->charsets->source(), 
                                           info->charsets->client());
   
                           char c;
                           for(const char* src=output.str; (c=*src++); ) 
                                   encode(need_uri_encode, '%', c);
                   }
                   break;
           case String::L_HTTP_HEADER:
                   // tainted, untaint language: http-field-content-text
                   // the same as L_URI BUT not transcoded into $response:charset before encoding
                   escape_fragment(
                           encode(need_uri_encode, '%', c);
                   );
                   break;
           case String::L_MAIL_HEADER:
                   // tainted, untaint language: mail-header
                   // http://www.ietf.org/rfc/rfc2047.txt
                   if(info->charsets) {
                           size_t mail_size;
                           const char *mail_ptr=
                                   info->body->mid(info->fragment_begin, mail_size=fragment_length).cstr();
                           // skip source [we use recoded version]
                           pa_CORD_pos_advance(info->pos, mail_size);
   
                           const char* charset_name=info->charsets->mail().NAME().cstr();
   
                           // Subject: Re: parser3: =?koi8-r?Q?=D3=C5=CD=C9=CE=C1=D2?=
                           bool to_quoted_printable=false;
   
                           bool email=false;
                           uchar c;
                           for(const char* src=mail_ptr; (c=(uchar)*src++); ) {
                                   if(c=='\r' || c=='\n')
                                           c=' ';
                                   if(to_quoted_printable && (c==',' || c == '"' || addr_spec_soon(src-1/*position to 'c'*/))) {
                                           email=c=='<';
                                           to_string("?=");
                                           to_quoted_printable=false;
                                 }                                  }
                                 break;                                  //RFC   + An 'encoded-word' MUST NOT appear in any portion of an 'addr-spec'.
                         case UL_MAIL_HEADER:                                  if(!email && (
                                 // tainted, untaint language: mail-header                                          !to_quoted_printable && (c & 0x80)  // starting quote-printable-encoding on first 8bit char
                                 if(charset) {                                          || to_quoted_printable && !mail_header_char_valid_within_Qencoded(c)
                                         // Subject: Re: parser3: =?koi8-r?Q?=D3=C5=CD=C9=CE=C1=D2?=                                          )) {
                                         const char *src=row->item.ptr;                                           if(!to_quoted_printable) {
                                         bool to_base_64=false;                                                  to_string("=?");
                                         for(int size=row->item.size; size--; src++) {                                                  to_string(charset_name);
                                                 if(*src & 0x80) {                                                  to_string("?Q?");
                                                         if(!to_base_64) {                                                  to_quoted_printable=true;
                                                                 dest+=sprintf(dest, "=?%.15s?Q?", charset);  
                                                                 to_base_64=true;  
                                                         }  
                                                         dest+=sprintf(dest, "=%02X", *src & 0xFF);  
                                                 } else {  
                                                         *dest++=*src;                                             
                                                 }  
                                         }                                          }
                                         if(to_base_64) // close                                          encode(mail_header_nonspace_char, '=', '_'); 
                                                 dest+=sprintf(dest, "?=");                                  } else
                                           to_char(c);
                                   if(c=='>')
                                           email=false;
                           }
                           if(to_quoted_printable) // close
                                   to_string("?=");
                   
                   } else
                           ec_append(info->result, optimize, whitespace, info->pos, fragment_length);
                   break;
           case String::L_SQL:
                   // tainted, untaint language: sql
                   if(info->connection) {
                           const char *fragment_str=info->body->mid(info->fragment_begin, fragment_length).cstr();
                           // skip source [we use recoded version]
                           pa_CORD_pos_advance(info->pos, fragment_length);
   
                           to_string(info->connection->quote(fragment_str, fragment_length));
                   } else {
                           info->exception="untaint in SQL language failed - no connection specified";
                           info->fragment_begin=fragment_end;
                           return 1; // stop processing. can't throw exception here
                   }
                   break;
           case String::L_JS:
                   escape_fragment(switch(c) {
                           case '\n': to_string("\\n");  break;
                           case '"': to_string("\\\"");  break;
                           case '\'': to_string("\\'");  break;
                           case '\\': to_string("\\\\");  break;
                           case '\xFF': to_string("\\\xFF");  break;
                           case '\r': to_string("\\r");  break;
                           default: _default; break;
                   });
                   break;
           case String::L_XML:
                   // [2]    Char    ::=    #x9 | #xA | #xD | [#x20-#xD7FF] | [#xE000-#xFFFD] | [#x10000-#x10FFFF] 
                   escape_fragment(switch(c) {
                           case '\x20':
                           case '\x9':
                           case '\xA':
                           case '\xD': // this is usually removed on input
                                   _default; 
                                   break;
                           case '&': to_string("&amp;");  break;
                           case '>': to_string("&gt;");  break;
                           case '<': to_string("&lt;");  break;
                           case '"': to_string("&quot;");  break;
                           case '\'': to_string("&apos;");  break;
                           default: 
                                   if(((unsigned char)c)<0x20) {
                                           // fixing it, so that libxml would not result
                                           // in fatal error parsing text
                                           // though it really violates standard.
                                           // to indicate there were an error
                                           // replace bad char not to it's code, 
                                           // which we can do,
                                           // but rather to '!' to show that input were actually
                                           // invalid.
                                           // life: shows that MSIE can somehow garble form values
                                           // so that they contain these chars.
                                           to_char('!'); 
                                 } else {                                  } else {
                                         memcpy(dest, row->item.ptr, row->item.size);                                           _default; 
                                         dest+=row->item.size;  
                                 }                                  }
                                 break;                                  break;
                         case UL_TABLE:                   });
                                 // tainted, untaint language: table                  break;
                                 escape(switch(*src) {          case String::L_HTML:
                                         case '\t': to_char(' ');  break;                  escape_fragment(switch(c) {
                                         case '\n': to_char(' ');  break;                          case '&': to_string("&amp;");  break;
                                         _default;                          case '>': to_string("&gt;");  break;
                                 });                          case '<': to_string("&lt;");  break;
                                 break;                          case '"': to_string("&quot;");  break;
                         case UL_SQL:                          default: _default; break;
                                 // tainted, untaint language: sql                  });
                                 if(connection)                  break;
                                         dest+=connection->quote(dest, row->item.ptr, row->item.size);          case String::L_REGEX:
                                 else                  // tainted, untaint language: regex
                                         THROW(0, 0,                  escape_fragment(
                                                 this,                          if(need_regex_escape(c))
                                                 "untaint in SQL language failed - no connection specified");                                  to_char('\\')
                                 break;                          _default;
                         case UL_JS:                  );
                                 escape(switch(*src) {                  break;
                                         case '"': to_string("\\\"", 2);  break;          case String::L_HTTP_COOKIE:
                                         case '\'': to_string("\\'", 2);  break;                  // tainted, untaint language: cookie (3.3.0 and higher: %uXXXX in UTF-8)
                                         case '\n': to_string("\\n", 2);  break;                  {
                                         case '\\': to_string("\\\\", 2);  break;                          const char *fragment_str=info->body->mid(info->fragment_begin, fragment_length).cstr();
                                         case '\xFF': to_string("\\\xFF", 2);  break;                          // skip source [we use recoded version]
                                         _default;                          pa_CORD_pos_advance(info->pos, fragment_length);
                                 });                          String::C output(fragment_str, fragment_length);
                                 break;                          
                         case UL_HTML:                          output=Charset::escape(output, info->charsets->source());
                                 escape(switch(*src) {                          //throw Exception(0, 0, output);
                                         case '&': to_string("&amp;", 5);  break;                          to_string(output);
                                         case '>': to_string("&gt;", 4);  break;  
                                         case '<': to_string("&lt;", 4);  break;                  }
                                         case '"': to_string("&quot;", 6);  break;                  break;
                                         //TODO: XSLT case '\'': to_string("&apos;", 6);  break;          default:
                                         _default;                  SAPI::abort("unknown untaint language #%d", 
                                 });                          static_cast<int>(to_lang)); // should never
                                 break;                  break; // never
                         case UL_USER_HTML: {          }
                                 // tainted, untaint language: html-typo  
                                 char *html_for_typo=  
                                         (char *)malloc(row->item.size*2/* '\n' -> '\' 'n' */+1);  
                                 // note:  
                                 //   there still is a possibility that user   
                                 //   would not replace \n as she supposed to  
                                 //   and rather replace \ and n into huge strings  
                                 //   thus causing memory overrun  
                                 //   this can be dealed by allocating *2 memory, but that's too expensive  
                                 size_t html_for_typo_size;  
                                 { // local dest  
                                         char *dest=html_for_typo;  
                                         escape(switch(*src) {  
                                                 // convinient name for typo match "\n"  
                                                 case '\r':   
                                                         if(typo_table) {  
                                                                 *dest++='\\';  *dest++='n'; // \r -> \n  
                                                                 if(src[1]=='\n') { // \r\n -> remove \n  
                                                                         size--; src++;  
                                                                 }  
                                                         }  
                                                         break;  
                                                 case '\n':   
                                                         if(typo_table)  
                                                                 to_string("\\n", 2);  
                                                         break;  
                                                 //TODO: XSLT case '\'': to_string("&apos;", 6);  break;  
                                                 _default;  
                                         });  
                                         *dest=0;  
                                         html_for_typo_size=dest-html_for_typo;  
                                 }  
                                 // typo table replacements  
                                 const char *src=html_for_typo;  
                                 do {  
                                         // there is a row where first column starts 'src'  
                                         if(Table::Item *item=typo_table->first_that(typo_present, src)) {  
                                                 // get a=>b values  
                                                 const String& a=*static_cast<Array *>(item)->get_string(0);  
                                                 const String& b=*static_cast<Array *>(item)->get_string(1);  
                                                 // empty 'a' | 'b' checks  
                                                 if(a.size()==0 || b.size()==0) {  
                                                         pool().set_tag(default_typo_table); // avoid recursion  
                                                         THROW(0, 0,   
                                                                 typo_table->origin_string(),   
                                                                 "typo table column elements must not be empty");  
                                                 }  
                                                 // overflow check:  
                                                 //   b allowed to be max UNTAINT_TIMES_BIGGER then a  
                                                 if(b.size()>UNTAINT_TIMES_BIGGER*a.size()) {  
                                                         pool().set_tag(default_typo_table); // avoid recursion  
                                                         THROW(0, 0,   
                                                                 &b,   
                                                                 "is %g times longer then '%s', "  
                                                                 "while maximum, handled by Parser, is %d",   
                                                                         ((double)b.size())/a.size(),   
                                                                         a.cstr(),   
                                                                         UNTAINT_TIMES_BIGGER);  
                                                 }  
                                                   
                                                 // skip 'a' in 'src'  
                                                 src+=a.size();  
                                                 // write 'b' to 'dest'  
                                                 b.store_to(dest);  
                                                 dest+=b.size();  
                                         } else  
                                                 *dest++=*src++;  
                                 } while(*src);  
                                 break;  
                                 }  
                         default:  
                                 THROW(0, 0,   
                                         this,   
                                         "unknown untaint language #%d of %d piece",   
                                                 static_cast<int>(row->item.lang),   
                                                 i); // never  
                                 break; // never  
                         }  
   
                         if((lang==UL_UNSPECIFIED?row->item.lang:lang)!=UL_CLEAN)          info->fragment_begin=fragment_end;
                                 whitespace=false;  
   
                         if(forigins_mode)          return 0; // 0=continue
                                 if(dest==dest_after_origins) // never moved==optimized space  }
                                         dest=dest_before_origins;  
                                 else {  
                                         for(char *p=dest_after_origins; p<dest; p++)  
                                                 if(*p=='\n')  
                                                         *p='|';  
   
                                         to_char('\n');  
                                 }  String::Body String::cstr_to_string_body(Language lang, 
                 }                    SQL_Connection* connection,
                 chunk=row->link;                    const Request_charsets *charsets) const {
         } while(chunk);          if(is_empty())
 break2:                  return String::Body();
         return dest;  
           Cstr_to_string_body_block_info info;
           // input
           info.lang=lang;
           info.connection=connection;
           info.charsets=charsets;
           info.body=&body;
           // output
           CORD_ec_init(info.result);
           // private
           body.set_pos(info.pos, 0);
           info.fragment_begin=0;
           info.exception=0;
           info.whitespace=true;
   
           langs.for_each(body, cstr_to_string_body_block, &info);
           if(info.exception){
                   throw Exception(0,
                           0,
                           info.exception);
           }
   
           return String::Body(CORD_ec_to_cord(info.result));
 }  }

Removed from v.1.56  
changed lines
  Added in v.1.146


E-mail: