[BACK]Return to untaint.C CVS log [TXT] [DIR] Up to [parser3project] / parser3 / src / main

Diff for /parser3/src/main/untaint.C between versions 1.27 and 1.161

version 1.27, 2001/03/29 15:00:22 version 1.161, 2010/12/29 12:17:58
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)  
   
         $Id$  
 */  */
   
 #include "pa_config_includes.h"  static const char * const IDENT_UNTAINT_C="$Date$";
   
   
 #include "pa_pool.h"  
 #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_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"
   
 #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("./", c);                          "*?'\"<>|"
   #ifndef WIN32
                           ":\\"
   #endif
                           , 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_header_encode(unsigned char c){  
     if(strchr(" , :", c))  
                 return false;  
   
         return need_uri_encode(c);  inline bool need_regex_escape(unsigned char c){
           return strchr("\\^$.[]|()?*+{}-", c)!=0;
   }
   
   inline bool need_parser_code_escape(unsigned char c){
           return strchr("^$;@()[]{}:#\"", c)!=0;
 }  }
   
 // String  // String
   
 static bool typo_present(Array::Item *value, const void *info) {  /*
         Array *row=static_cast<Array *>(value);  HTTP-header    = field-name ":" [ field-value ] CRLF
         const char *src=static_cast<const char *>(info);  
   field-name     = token
         int partial;  field-value    = *( field-content | LWS )
         row->get_string(0)->cmp(src, partial);  
         return   field-content  = <the OCTETs making up the field-value
                 partial==0 || // full match                          and consisting of either *TEXT or combinations
                 partial==1; // typo left column starts 'src'                          of token, tspecials, and quoted-string>
 }  
   
 /// @todo @b now: optimize whitespaces for all but 'html'  token          = 1*<any CHAR except CTLs or tspecials>
 char *String::store_to(char *dest) const {  word           = token | quoted-string
         // $MAIN:html-typo table  quoted-string  = ( <"> *(qdtext | quoted-pair ) <"> )
         Table *user_typo_table=static_cast<Table *>(pool().tag());  qdtext         = <any TEXT except <">>
         Table *typo_table=user_typo_table?user_typo_table:default_typo_table;  quoted-pair    = "\" CHAR
   
         const Chunk *chunk=&head;   OCTET          = <any 8-bit sequence of data>
         do {  CHAR           = <any US-ASCII character (octets 0 - 127)>
                 const Chunk::Row *row=chunk->rows;  
                 for(int i=0; i<chunk->count; i++, row++) {  tspecials      = "(" | ")" | "<" | ">" | "@"
                         if(row==append_here)                 | "," | ";" | ":" | "\" | <">
                                 goto break2;                 | "/" | "[" | "]" | "?" | "="
                  | "{" | "}" | SP | HT
                         // WARNING:  
                         //      string can grow only UNTAINT_TIMES_BIGGER  SP             = <US-ASCII SP, space (32)>
                         switch(row->item.lang) {  HT             = <US-ASCII HT, horizontal-tab (9)>
                         case UL_NO:  
                                 // clean piece  LWS            = [CRLF] 1*( SP | HT )
                         case UL_YES:  TEXT           = <any OCTET except CTLs, but including LWS>
                                 // tainted piece, but undefined untaint language  CTL            = <any US-ASCII control character (octets 0 - 31) and DEL (127)>
                                 // for VString.as_double of tainted values  
                                 // for ^process{body} evaluation  
                         case UL_AS_IS:    if(strchr("()<>@,;:\\\"/[]?={} \t", *ptr))
                                 // tainted, untaint language: as-is  */
                                 memcpy(dest, row->item.ptr, row->item.size);   inline bool need_quote_http_header(const char* ptr, size_t size) {
                                 dest+=row->item.size;          for(; size--; ptr++)
                                 break;                  if(strchr(";\\\"= \t" /* excluded ()<>@, :/ ? []{} */, *ptr))
                         case UL_FILE_NAME:                          return true;
                                 // tainted, untaint language: file [name]          return false;
                                 escape(switch(*src) {  }
                                         case ' ': to_char('_');  break;  
                                         encode(need_file_encode, '-');  #ifndef DOXYGEN
                                 });  struct Append_fragment_info {
                                 break;          String::Language lang;
                         case UL_URI:          String::Languages* dest_languages;
                                 // tainted, untaint language: uri          size_t dest_body_plan_length;
                                 escape(switch(*src) {  };
                                         case ' ': to_char('+');  break;  #endif
                                         encode(need_uri_encode, '%');  int append_fragment_optimizing(char alang, size_t asize, Append_fragment_info* info) {
                                 });          const String::Language lang=(String::Language)(unsigned char)alang;
                                 break;          // main idea here:
                         case UL_HEADER:          // tainted piece would get OPTIMIZED bit from 'lang'
                                 // tainted, untaint language: header          // clean piece would be marked OPTIMIZED manually
                                 escape(switch(*src) {          // pieces with determined languages [not tainted|clean] would retain theirs langs
                                         encode(need_header_encode, '%');          info->dest_languages->append(info->dest_body_plan_length, 
                                 });                  lang==String::L_TAINTED?
                                 break;                          info->lang
                         case UL_TABLE:                           :lang==String::L_CLEAN?
                                 // tainted, untaint language: table                                  (String::Language)(String::L_CLEAN|String::L_OPTIMIZE_BIT) // ORing with OPTIMIZED flag
                                 escape(switch(*src) {                                  :lang,
                                         case '\t': to_char(' ');  break;                  asize);
                                         case '\n': to_char(' ');  break;          info->dest_body_plan_length+=asize;
                                         _default;  
                                 });          return 0; // 0=continue
                                 break;  }
                         case UL_SQL:  int append_fragment_nonoptimizing(char alang, size_t asize, Append_fragment_info* info) {
                                 // tainted, untaint language: sql          const String::Language lang=(String::Language)(unsigned char)alang;
                                 // TODO: зависимость от sql сервера          // The core idea: tainted pieces got marked with context's lang
                                 memset(dest, '?', row->item.size);           info->dest_languages->append(info->dest_body_plan_length, 
                                 dest+=row->item.size;                  lang==String::L_TAINTED?
                                 break;                          info->lang
                         case UL_JS:                          :lang,
                                 escape(switch(*src) {                  asize);
                                         case '"': to_string("\\\"", 2);  break;          info->dest_body_plan_length+=asize;
                                         case '\'': to_string("\\'", 2);  break;  
                                         case '\n': to_string("\\n", 2);  break;          return 0; // 0=continue
                                         case '\\': to_string("\\\\", 2);  break;  }
                                         case '\xFF': to_string("\\\xFF", 2);  break;  
                                         _default;  /** 
                                 });          appends to other String,
                                 break;          marking all tainted pieces of it with @a lang.
                         case UL_HTML:          or marking ALL pieces of it with a @a lang when @a forced to,
                                 escape(switch(*src) {          and propagating OPTIMIZE language bit.
                                         case '&': to_string("&amp;", 5);  break;  */
                                         case '>': to_string("&gt;", 4);  break;  String& String::append_to(String& dest, Language ilang, bool forced) const {
                                         case '<': to_string("&lt;", 4);  break;          if(is_empty())
                                         case '"': to_string("&quot;", 6);  break;                  return dest;
                                         //TODO: XSLT case '\'': to_string("&apos;", 6);  break;  
                                         _default;          // first: fragment infos
                                 });          
           if(ilang==L_PASS_APPENDED) // without language-change?
                   dest.langs.appendHelper(dest.body, langs, body);
           else if(forced) //forcing passed lang?
                   dest.langs.appendHelper(dest.body, ilang, body);
           else {
                   if(langs.opt.is_not_just_lang){
                           Append_fragment_info info={ilang, &dest.langs, dest.body.length()};
                           langs.for_each(body, ilang&L_OPTIMIZE_BIT?
                                   append_fragment_optimizing
                                   :append_fragment_nonoptimizing, &info);
                   } else {
                           Language lang=langs.opt.lang;
                           // see append_fragment_* for explanation
                           if(ilang&L_OPTIMIZE_BIT){
                                   dest.langs.appendHelper(dest.body,
                                           lang==String::L_TAINTED?
                                                   ilang
                                                   :lang==String::L_CLEAN?
                                                           (String::Language)(String::L_CLEAN|String::L_OPTIMIZE_BIT)
                                                           :lang,
                                           body);
                           } else {
                                   dest.langs.appendHelper(dest.body, lang==String::L_TAINTED ? ilang:lang, body);
                           }
                   }
           }
   
           // next: letters
           dest.body<<body;
   
           ASSERT_STRING_INVARIANT(dest);
           return dest;
   }
   
   /** http://www.ietf.org/rfc/rfc2047.txt
   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
   */
   inline bool mail_header_char_valid_within_Qencoded(char c) {
           return c>='A' && c<='Z'
                   || c>='a' && c<='Z'
                   || c>='0' && c<='9'
                   || strchr("!*+-/", c);
   }
   inline bool addr_spec_soon(const char *src) {
           for(char c; (c=*src); src++)
                   if(c=='<')
                           return true;
                   else if(!(c==' ' || c=='\t'))
                           return false;
           return false;
   }
   /**
           RFC 
           Upper case should be used for hexadecimal digits "A" through "F"
           The 8-bit hexadecimal value 20 (e.g., ISO-8859-1 SPACE) 
           may be represented as "_" 
   */
   inline bool mail_header_nonspace_char(char c) {
           return c != 0x20;
   }
   
   inline void ec_append(CORD_ec& result, bool& optimize, bool& whitespace, CORD_pos pos, size_t size) {
           while(size--) {
                   CORD_ec_append(result, CORD_pos_fetch(pos));
                   CORD_next(pos);
           }
   }
   inline void pa_CORD_pos_advance(CORD_pos pos, size_t n) {
           while(true) {
                   long avail=CORD_pos_chars_left(pos);
                   if(avail<=0) {
                           CORD_next(pos);
                           if(!--n)
                                 break;                                  break;
                         case UL_HTML_TYPO: {                  } else if((size_t)avail<n) {
                                 // tainted, untaint language: html-typo                          CORD_pos_advance(pos, avail);
                                 char *html_for_typo=(char *)malloc(size()*2/* '\n' -> '\' 'n' */+1);                          n-=avail;
                                 // note:                  } else { // avail>=n
                                 //   there still is a possibility that user                           CORD_pos_advance(pos, n);
                                 //   would not replace \n as she supposed to                          break;
                                 //   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  }
                                 // todo parser4: fix that  
                                 size_t html_for_typo_size;  #ifndef DOXYGEN
                                 { // local dest  struct Cstr_to_string_body_block_info {
                                         char *dest=html_for_typo;          // input
                                         escape(switch(*src) {          String::Language lang;
                                                 // convinient name for typo match "\n"          SQL_Connection* connection;
                                                 case '\r':           const Request_charsets* charsets;
                                                         if(typo_table) {          const String::Body* body;
                                                                 *dest++='\\';  *dest++='n'; // \r -> \n  
                                                                 if(src[1]=='\n') { // \r\n -> remove \n          // output
                                                                         size--; src++;          CORD_ec result;
                                                                 }  
                                                         }          // private
                                                         break;          CORD_pos pos;
                                                 case '\n':           size_t fragment_begin;
                                                         if(typo_table)          bool whitespace;
                                                                 to_string("\\n", 2);          const char* exception;
                                                         break;  };
                                                 //TODO: XSLT case '\'': to_string("&apos;", 6);  break;  #endif
                                                 _default;  
                                         });  // @todo: replace info->body->mid with something that uses info->pos
                                         *dest=0;  int cstr_to_string_body_block(String::Language to_lang, size_t fragment_length, Cstr_to_string_body_block_info* info) {
                                         html_for_typo_size=dest-html_for_typo;          bool& whitespace=info->whitespace;
           size_t fragment_end=info->fragment_begin+fragment_length;
           //fprintf(stderr, "%d, %d =%s=\n", to_lang, fragment_length, info->body->cstr());
           
           bool optimize=(to_lang & String::L_OPTIMIZE_BIT)!=0;
           if(!optimize)
                   whitespace=false;
                   
           switch(to_lang & ~String::L_OPTIMIZE_BIT) {
           case String::L_CLEAN:
           case String::L_TAINTED:
           case String::L_AS_IS:
                   // 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]
                   {
                           escape_fragment(
                                   encode(need_file_encode, '_', c); 
                           );
                   }
                   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
                   escape_fragment(switch(c) {
                           case '\n': 
                           case '\r': to_string(" ");  break;
                           default: _default; break;
                   });
                   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;
                                 }                                  }
                                 // typo table replacements                                  //RFC   + An 'encoded-word' MUST NOT appear in any portion of an 'addr-spec'.
                                 const char *src=html_for_typo;                                  if(!email && (
                                 do {                                          !to_quoted_printable && (c & 0x80)  // starting quote-printable-encoding on first 8bit char
                                         // there is a row where first column starts 'src'                                          || to_quoted_printable && !mail_header_char_valid_within_Qencoded(c)
                                         if(Table::Item *item=typo_table->first_that(typo_present, src)) {                                          )) {
                                                 // get a=>b values                                          if(!to_quoted_printable) {
                                                 const String& a=*static_cast<Array *>(item)->get_string(0);                                                  to_string("=?");
                                                 const String& b=*static_cast<Array *>(item)->get_string(1);                                                  to_string(charset_name);
                                                 // empty 'a' | 'b' checks                                                  to_string("?Q?");
                                                 if(a.size()==0 || b.size()==0) {                                                  to_quoted_printable=true;
                                                         pool().set_tag(default_typo_table); // avoid recursion                                          }
                                                         THROW(0, 0,                                           encode(mail_header_nonspace_char, '=', '_'); 
                                                                 typo_table->origin_string(),                                   } else
                                                                 "typo table column elements must not be empty");                                          to_char(c);
                                                 }                                  if(c=='>')
                                                 // overflow check:                                          email=false;
                                                 //   b allowed to be max UNTAINT_TIMES_BIGGER then a                          }
                                                 if(b.size()>UNTAINT_TIMES_BIGGER*a.size()) {                          if(to_quoted_printable) // close
                                                         pool().set_tag(default_typo_table); // avoid recursion                                  to_string("?=");
                                                         THROW(0, 0,                   
                                                                 &b,                   } else
                                                                 "is %g times longer then '%s', "                          ec_append(info->result, optimize, whitespace, info->pos, fragment_length);
                                                                 "while maximum, handled by Parser, is %d",                   break;
                                                                 ((double)b.size())/a.size(),           case String::L_SQL:
                                                                 a.cstr(),                   // tainted, untaint language: sql
                                                                 UNTAINT_TIMES_BIGGER);                  if(info->connection) {
                                                 }                          const char *fragment_str=info->body->mid(info->fragment_begin, fragment_length).cstr();
                                                                           // skip source [we use recoded version]
                                                 // skip 'a' in 'src'                          pa_CORD_pos_advance(info->pos, fragment_length);
                                                 src+=a.size();  
                                                 // write 'b' to 'dest'                          to_string(info->connection->quote(fragment_str, fragment_length));
                                                 b.store_to(dest);                  } else {
                                                 dest+=b.size();                          info->exception="untaint in SQL language failed - no connection specified";
                                         } else                          info->fragment_begin=fragment_end;
                                                 *dest++=*src++;                          return 1; // stop processing. can't throw exception here
                                 } while(*src);                  }
                   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;                                  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 {
                                           _default; 
                                 }                                  }
                         default:                                  break;
                                 THROW(0, 0,                   });
                                         this,                   break;
                                         "unknown untaint language #%d of %d piece",           case String::L_HTML:
                                                 static_cast<int>(row->item.lang),                   escape_fragment(switch(c) {
                                                 i);                          case '&': to_string("&amp;");  break;
                           case '>': to_string("&gt;");  break;
                           case '<': to_string("&lt;");  break;
                           case '"': to_string("&quot;");  break;
                           default: _default; break;
                   });
                   break;
           case String::L_REGEX:
                   // tainted, untaint language: regex
                   escape_fragment(
                           if(need_regex_escape(c))
                                   to_char('\\')
                           _default;
                   );
                   break;
           case String::L_JSON:
                   // tainted, untaint language: json <http://json.org/>
                   // escape '"' '\' '/' '\n' '\t' '\r' '\b' '\f' chars and escape chars as \uXXXX if output charset != UTF-8
                   {
                           if(info->charsets==NULL || info->charsets->client().isUTF8()){
                                   // escaping to \uXXXX is not needed
                                   escape_fragment(switch(c) {
                                           case '\n': to_string("\\n");  break;
                                           case '"' : to_string("\\\""); break;
                                           case '\\': to_string("\\\\"); break;
                                           case '/' : to_string("\\/");  break;
                                           case '\t': to_string("\\t");  break;
                                           case '\r': to_string("\\r");  break;
                                           case '\b': to_string("\\b");  break;
                                           case '\f': to_string("\\f");  break;
                                           default  : _default; break;
                                   });
                           } else {
                                   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);
   
                                   output=Charset::escape_JSON(output, info->charsets->source());
                                   to_string(output);
                         }                          }
                 }                  }
                 chunk=row->link;                  break;
         } while(chunk);          case String::L_HTTP_COOKIE:
 break2:                  // tainted, untaint language: cookie (3.3.0 and higher: %uXXXX in UTF-8)
         return dest;                  if(info->charsets) {
                           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);
                           
                           output=Charset::escape(output, info->charsets->source());
                           to_string(output);
                   } else
                           ec_append(info->result, optimize, whitespace, info->pos, fragment_length);
                   break;
           case String::L_PARSER_CODE:
                   // for auto-untaint in process
                   escape_fragment(
                           if(need_parser_code_escape(c))
                                   to_char('^');
                           _default;
                   );
                   break;
           default:
                   SAPI::abort("unknown untaint language #%d", 
                           static_cast<int>(to_lang)); // should never
                   break; // never
           }
   
           info->fragment_begin=fragment_end;
   
           return 0; // 0=continue
   }
   
   
   String::Body String::cstr_to_string_body_taint(Language lang, SQL_Connection* connection, const Request_charsets *charsets) const {
           if(is_empty())
                   return String::Body();
   
           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;
   
           cstr_to_string_body_block(lang, length(), &info);
   
           if(info.exception)
                   throw Exception(0,
                           0,
                           info.exception);
   
           return String::Body(CORD_ec_to_cord(info.result));
   }
   
   int cstr_to_string_body_block_untaint(char alang, size_t fragment_length, Cstr_to_string_body_block_info* info){
           const String::Language lang=(String::Language)(unsigned char)alang;
           // see append_fragment_* for explanation
           if(info->lang&String::L_OPTIMIZE_BIT)
                   return cstr_to_string_body_block(
                           lang==String::L_TAINTED?
                                   info->lang
                                   :lang==String::L_CLEAN?
                                           (String::Language)(String::L_CLEAN|String::L_OPTIMIZE_BIT)
                                           :lang,
                           fragment_length, info);
           else
                   return cstr_to_string_body_block(lang==String::L_TAINTED ? info->lang:lang, fragment_length, info);
   }
   
   String::Body String::cstr_to_string_body_untaint(Language lang, SQL_Connection* connection, const Request_charsets *charsets) const {
           if(is_empty())
                   return String::Body();
   
           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_untaint, &info);
   
           if(info.exception)
                   throw Exception(0,
                           0,
                           info.exception);
   
           return String::Body(CORD_ec_to_cord(info.result));
   }
   
   const char* String::untaint_and_transcode_cstr(Language lang, const Request_charsets *charsets) const {
           if(charsets && &charsets->source() != &charsets->client()){
                   // Note: L_URI is allready transcoded during untaint, but transcode does not affect %XX
                   return Charset::transcode(cstr_to_string_body_untaint(lang, 0, charsets), charsets->source(), charsets->client()).cstr();
           } else
                   return cstr_to_string_body_untaint(lang, 0, charsets).cstr();
 }  }
Removed from v.1.27  
changed lines
  Added in v.1.161

E-mail: