[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.8 and 1.115.2.7

version 1.8, 2001/03/19 17:42:16 version 1.115.2.7, 2003/02/04 10:17:06
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-2003 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 <string.h>  static const char* IDENT_UNTAINT_C="$Date$";
   
 #include "pa_pool.h"  #include "pa_pool.h"
   #include "pa_value_includes.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_globals.h"
   #include "pa_sql_connection.h"
   #include "pa_dictionary.h"
   #include "pa_common.h"
   #include "pa_charset.h"
   #include "pa_request_charsets.h"
   
 #define escape(cases) \  #define escape(action) \
         { \          { \
                 const char *ptr=row->item.ptr; \                  const char* src=fragment->ptr; \
                 for (int size=row->item.size; size--; ptr++) \                  for(int size=fragment->size; size--; src++) \
                         switch(*ptr) { \                          action \
                                 cases \  
                         } \  
         }          }
 #define escape_value(a, c)  case a: *copy_here++=c; break  #define _default  default: *dest++=*src; break
 #define escape_default  default: *copy_here++=*ptr; break  #define encode(need_encode_func, prefix)  \
 #define escape_subst(a, b, bsize)  \                          if(need_encode_func(*src)) { \
                 case a: \                                  static const char* hex="0123456789ABCDEF"; \
                         strncpy(copy_here, b, bsize); \                                  char chunk[3]={prefix}; \
                         copy_here+=bsize; \                                  chunk[1]=hex[((unsigned char)*src)/0x10]; \
                 break                                  chunk[2]=hex[((unsigned char)*src)%0x10]; \
 #define escape_encode(need_encode_func)  \                                  memcpy(dest, chunk, 3);  dest+=3; \
                 default: \  
                         if(need_encode_func(*ptr)) { \  
                                 static const char *hex="0123456789ABCDEF"; \  
                                 char chunk[3]={'%'}; \  
                                 chunk[1]=hex[((unsigned char)*ptr)/0x10]; \  
                                 chunk[2]=hex[((unsigned char)*ptr)%0x10]; \  
                                 strncpy(copy_here, chunk, 3);  copy_here+=3; \  
                         } else \                          } else \
                                 *copy_here++=*ptr; \                                  *dest++=*src; \
                         break                          break
   #define to_char(c)  *dest++=c
   #define to_string(b, bsize)  \
                   memcpy(dest, b, bsize); \
                   dest+=bsize; \
   
   inline bool need_file_encode(unsigned char c){
           // russian letters and space ENABLED
           // encoding only these...
           return strchr(
                             "*?'\"<>|"
   #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){  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);
 }  }
   
   //
   
   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", ///< file specification
           "H",    ///< ext in HTTP response header
           "M",    ///< text in mail header
           "URI",       ///< text in uri
           "T",     ///< ^table:set body
           "SQL",       ///< ^table:sql body
           "JS",        ///< JavaScript code
           "XML",          ///< ^dom:set xml
           "HTML"      ///< HTML code (for editing)
   };
   
   
 // String  // String
   
 /// \todo optimize whitespaces for all but 'html'  /*
 char *String::cstr() const {  
         char *result=(char *)malloc(size()*UNTAINT_TIMES_BIGGER+1);  HTTP-header    = field-name ":" [ field-value ] CRLF
   
         char *copy_here=result;         field-name     = token
         const Chunk *chunk=&head;          field-value    = *( field-content | LWS )
         do {  
                 const Chunk::Row *row=chunk->rows;         field-content  = <the OCTETs making up the field-value
                 for(int i=0; i<chunk->count; i++) {                          and consisting of either *TEXT or combinations
                         if(row==append_here)                          of token, tspecials, and quoted-string>
                                 goto break2;  
   
                         // WARNING:  
                         //      string can grow only UNTAINT_TIMES_BIGGER  word           = token | quoted-string
                         switch(row->item.lang) {  
                         case NO:  token          = 1*<any CHAR except CTLs or tspecials>
                                 // clean piece  
                         case YES:  
                                 // tainted piece, but undefined untaint language  
                                 // for VString.get_double of tainted values  tspecials      = "(" | ")" | "<" | ">" | "@"
                                 // for ^process{body} evaluation                        | "," | ";" | ":" | "\" | <">
                         case AS_IS:                        | "/" | "[" | "]" | "?" | "="
                                 // tainted, untaint language: as-is                        | "{" | "}" | SP | HT
                                 memcpy(copy_here, row->item.ptr, row->item.size);   
                                 copy_here+=row->item.size;  SP             = <US-ASCII SP, space (32)>
                                 break;  HT             = <US-ASCII HT, horizontal-tab (9)>
                         case URI:  
                                 // tainted, untaint language: uri  LWS            = [CRLF] 1*( SP | HT )
                                 escape(  TEXT           = <any OCTET except CTLs,
                                         escape_value(' ', '+');                          but including LWS>
                                         escape_encode(need_uri_encode);  
                                 );  quoted-pair    = "\" CHAR
                                 break;  
                         case HEADER:    if(strchr("()<>@,;:\\\"/[]?={} \t", *ptr))
                                 // tainted, untaint language: header  */
                                 escape(  inline bool need_quote_http_header(const char* ptr, size_t size) {
                                         escape_encode(need_header_encode);          for(; size--; ptr++)
                                 );                  if(strchr(";\\\"= \t" /* excluded ()<>@, :/ ? []{} */, *ptr))
                                 break;                          return true;
                         case TABLE:           return false;
                                 escape(  }
                                         escape_value('\t', ' ');  
                                         escape_value('\n', ' ');  //#include "pa_sapi.h"
                                         escape_default;  /** 
                                 );          appends to other String,
                                 break;          marking all tainted pieces of it with @a lang.
                         case SQL:          or marking ALL pieces of it with a @a lang when @a forced to,
                                 // tainted, untaint language: sql          and propagating OPTIMIZE language bit.
                                 // TODO: зависимость от sql сервера  */
                                 memset(copy_here, '?', row->item.size);   String& String::append_to(String& dest, uchar lang, bool forced) const {
                                 copy_here+=row->item.size;          if(is_empty())
                                 break;                  return dest;
                         case JS:  
                                 escape(          // without language-chage, small[fitting dest tail] string?
                                         escape_subst('"', "\\\"", 2);          if(lang==UL_PASS_APPENDED && fused<=(dest.fallocated-dest.fused)) {
                                         escape_subst('\'', "\\'", 2);                  // felements[fused...]=src.felements[0..fused], fused+=src.fused
                                         escape_subst('\n', "\\n", 2);                  memcpy(&dest.felements[dest.fused], felements, sizeof(felements[0])*fused);
                                         escape_subst('\r', "\\r", 2);                  dest.fused+=fused;
                                         escape_subst('\\', "\\\\", 2);                  return dest;
                                         escape_subst('я', "\\я", 2);          }
                                         escape_default;  
                                 );          // manually unrolled code to avoid do{if(const)} constructs
                                 break;          if(forced) 
                         case HTML:                  STRING_FOREACH_FRAGMENT(
                                 escape(                          dest.APPEND(fragment->ptr, fragment->size, 
                                         escape_subst('&', "&amp;", 5); // BEFORE consequent relpaces yelding '&'                                  lang, //forcing passed lang
                                         escape_subst('>', "&gt;", 4);                                  fragment->origin.file, fragment->origin.line);
                                         escape_subst('<', "&lt;",4);                  )
                                         escape_subst('"', "&quot;",6);          else if(lang==UL_PASS_APPENDED) 
                                         escape_value('\t', ' ');                  STRING_FOREACH_FRAGMENT(
                                         //TODO: XSLT escape_subst('\'', "&apos;", 6)                          dest.APPEND(fragment->ptr, fragment->size, 
                                         escape_default;                                  fragment->lang, // passing item's lang
                                 );                                  fragment->origin.file, fragment->origin.line);
                                 break;                  )
                         case HTML_TYPO:           else if(lang&UL_OPTIMIZE_BIT) // main idea here
                                 // tainted, untaint language: html-typo                  // tainted piece would get OPTIMIZED bit from 'lang'
                                 escape(                  // clean piece would be marked OPTIMIZED manually
                                         escape_subst('&', "&amp;", 5); // BEFORE consequent relpaces yelding '&'                  // pieces with determined languages [not tainted|clean] would retain theirs langs
                                         escape_subst('>', "&gt;", 4);                  STRING_FOREACH_FRAGMENT(
                                         escape_subst('<', "&lt;",4);                          dest.APPEND(fragment->ptr, fragment->size, 
                                         escape_subst('"', "&quot;",6);                                  fragment->lang==UL_TAINTED?lang:(
                                         escape_value('\t', ' ');                                          fragment->lang==UL_CLEAN?UL_CLEAN|UL_OPTIMIZE_BIT: // ORing with OPTIMIZED flag
                                         //TODO: $MAIN:html-type table replace, max length(b)==UNTAINT_TIMES_BIGGER*length(a)                                                  fragment->lang
                                         escape_default;                                  ), 
                                 );                                  fragment->origin.file, fragment->origin.line);
                                 break;                  )
                         default:          else
                                 THROW(0,0,                  STRING_FOREACH_FRAGMENT(
                                         this,                          dest.APPEND(fragment->ptr, fragment->size, 
                                         "unknown untaint language #%d of %d piece",                                   fragment->lang==UL_TAINTED?lang:fragment->lang,
                                                 static_cast<int>(row->item.lang),                                  fragment->origin.file, fragment->origin.line);
                                                 i);                  );
   
           return dest;
   }
   
   size_t String::cstr_bufsize(Untaint_lang lang,
                                                           SQL_Connection *connection,
                                                           const Request_charsets *charsets) const {
           size_t dest=1; // for terminating 0
           STRING_FOREACH_FRAGMENT(
                   uchar to_lang=lang==UL_UNSPECIFIED?fragment->lang:lang;
   
                   switch(to_lang & ~UL_OPTIMIZE_BIT) {
                   case UL_CLEAN:
                   case UL_TAINTED:
                   case UL_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
                           dest+=fragment->size;
                           break;
                   case UL_FILE_SPEC:
                           // tainted, untaint language: file [name]
                           dest+=fragment->size*3/* worst: Z->%XX */;
                           break;
                   case UL_URI:
                           // tainted, untaint language: uri
                           dest+=fragment->size*6*3/* worst utf8 x worst Z->%XX */;
                           break;
                   case UL_HTTP_HEADER:
                           // tainted, untaint language: http-field-content-text
                           dest+=fragment->size*3/* worst: Z->%XX */;
                           break;
                   case UL_MAIL_HEADER:
                           // tainted, untaint language: mail-header
                           if(charsets) {
                                   int parts_count=1;
                                   const char* prev=fragment->ptr;
                                   size_t size=fragment->size;
                                   while(const char* comma_at=(const char*)memchr(prev, ',', size)) {
                                           parts_count++;
                                           size-=comma_at-prev;
                                           prev=comma_at+1;
                                   }
                                   // Subject: Re: parser3: =?koi8-r?Q?=D3=C5=CD=C9=CE=C1=D2?=
                                   dest+=
                                           fragment->size*3+
                                           parts_count*(charsets->mail().name()->size()+MAX_STRING/* worst: =?charset?Q?=%XX?= */);
                           } else
                                   dest+=fragment->size;
                           break;
                   case UL_TABLE: 
                           // tainted, untaint language: table
                           dest+=fragment->size;
                           break;
                   case UL_SQL:
                           // tainted, untaint language: sql
                           if(connection)
                                   dest+=connection->quote(0, fragment->ptr, fragment->size);
                           break;
                   case UL_JS:
                           escape(switch(*src) {
                                   case '"': case '\'': case '\n': case '\\': case '\xFF':
                                           dest+=2;  break;
                                   default: 
                                           dest++;  break;
                           });
                           break;
                   case UL_XML:
                           escape(switch(*src) {
                                   case '&': case '>': case '<': case '"': case '\'': 
                                           dest+= 6;  break;
                                   default: 
                                           dest++;  break;
                           });
                           break;
                   case UL_HTML:
                           escape(switch(*src) {
                                   case '&': 
                                   case '>': 
                                   case '<': 
                                   case '"': 
                                           dest+=6;  break;
                                   default: 
                                           dest++;  break;
                           });
                           break;
                   }
           );
           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
   */
   static bool mail_header_char_valid_within_Qencoded(char c) {
           return c>='A' && c<='Z'
                   || c>='a' && c<='Z'
                   || c>='0' && c<='9'
                   || strchr("!*+-/", c);
   }
   char *String::store_to(char *dest, Untaint_lang lang, 
                                              SQL_Connection *connection,
                                              const Request_charsets *charsets) const {
           // WARNING:
           //       before any changes check cstr_bufsize first!!!
           bool whitespace=true;
   //      STRING_FOREACH_FRAGMENT(
           element_type *last = felements+fused; element_type *fragment = felements; for(; fragment<last; fragment++) { 
   
                   uchar to_lang=lang==UL_UNSPECIFIED?fragment->lang:lang;
   
                   char *start=dest;
   
                   switch(to_lang & ~UL_OPTIMIZE_BIT) {
                   case UL_CLEAN:
                   case UL_TAINTED:
                   case UL_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
                           memcpy(dest, fragment->ptr, fragment->size); 
                           dest+=fragment->size;
                           break;
                   case UL_FILE_SPEC:
                           // tainted, untaint language: file [name]
                           escape(
                                   // Macintosh has problems with small Russian letter 'r'
                                   if( *src=='\xF0' && charsets && *charsets->source().name()=="windows-1251" ) {
                                           // fixing that letter for most common charset
                                           to_char('p');
                                   } else // fallback to default
                                           encode(need_file_encode, '_'); 
                           );
                           break;
                   case UL_URI:
                           // tainted, untaint language: uri
                           const void *client_ptr;
                           size_t client_size;
                           if(charsets) 
                                   Charset::transcode(charsets->pool(), 
                                           charsets->source(), fragment->ptr, fragment->size,
                                           charsets->client(), client_ptr, client_size);
                           else {
                                   client_ptr=fragment->ptr; 
                                   client_size=fragment->size;
                           }
   
                           {
                                   const char* src=(const char* )client_ptr;
                                   for(int size=client_size; size--; src++) 
                                           encode(need_uri_encode, '%');
                           }
                           break;
                   case UL_HTTP_HEADER:
                           // tainted, untaint language: http-field-content-text
                           escape(
                                   encode(need_uri_encode, '%');
                           );
                           break;
                   case UL_MAIL_HEADER:
                           // tainted, untaint language: mail-header
                           // http://www.ietf.org/rfc/rfc2047.txt
                           if(charsets) {
                                   const void *mail_ptr;
                                   size_t mail_size;
                                   Charset::transcode(charsets->pool(), 
                                           charsets->source(), fragment->ptr, fragment->size,
                                           charsets->mail(), mail_ptr, mail_size);
                                   CharPtr charset_name=charsets->mail().name()->cstr();
   
                                   // Subject: Re: parser3: =?koi8-r?Q?=D3=C5=CD=C9=CE=C1=D2?=
                                   const char* src=(const char* )mail_ptr;
                                   bool to_quoted_printable=false;
   
                                   bool email=false;
                                   for(const char* end=src+mail_size; src<end; src++) {
                                           //RFC   + An 'encoded-word' MUST NOT appear in any portion of an 'addr-spec'.
                                           if(to_quoted_printable && (*src==',' || *src=='<')) {
                                                   email=*src=='<';
                                                   dest+=sprintf(dest, "?=");
                                                   to_quoted_printable=false;
                                           }
                                           if(!email && (
                                                   !to_quoted_printable && (*src & 0x80)  // starting quote-printable-encoding on first 8bit char
                                                   || to_quoted_printable && !mail_header_char_valid_within_Qencoded(*src)
                                                   )) {
                                                   if(!to_quoted_printable) {
                                                           dest+=sprintf(dest, "=?%s?Q?", charset_name.get());
                                                           to_quoted_printable=true;
                                                   }
                                                   //RFC Upper case should be used for hexadecimal digits "A" through "F"
                                                   if(*src == 0x20) // RFC The 8-bit hexadecimal value 20 (e.g., ISO-8859-1 SPACE) 
                                                           *dest++='_'; // RFC may be represented as "_" 
                                                   else
                                                           dest+=sprintf(dest, "=%02X", *src & 0xFF);
                                           } else
                                                   *dest++=*src;
                                           if(*src=='>')
                                                   email=false;
                                   }
                                   if(to_quoted_printable) // close
                                           dest+=sprintf(dest, "?=");
                           
                           } else {
                                   memcpy(dest, fragment->ptr, fragment->size); 
                                   dest+=fragment->size;
                         }                          }
                         row++;                          break;
                   case UL_TABLE: 
                           // tainted, untaint language: table
                           escape(switch(*src) {
                                   case '\t': to_char(' ');  break;
                                   case '\n': to_char(' ');  break;
                                   _default;
                           });
                           break;
                   case UL_SQL:
                           // tainted, untaint language: sql
                           if(connection)
                                   dest+=connection->quote(dest, fragment->ptr, fragment->size);
                           else
                                   throw Exception(Exception::undefined_type,
                                           Exception::undefined_source,
                                           "untaint in SQL language failed - no connection specified");
                           break;
                   case UL_JS:
                           escape(switch(*src) {
                                   case '"': to_string("\\\"", 2);  break;
                                   case '\'': to_string("\\'", 2);  break;
                                   case '\n': to_string("\\n", 2);  break;
                                   case '\\': to_string("\\\\", 2);  break;
                                   case '\xFF': to_string("\\\xFF", 2);  break;
                                   _default;
                           });
                           break;
                   case UL_XML:
                           escape(switch(*src) {
                                   case '&': to_string("&amp;", 5);  break;
                                   case '>': to_string("&gt;", 4);  break;
                                   case '<': to_string("&lt;", 4);  break;
                                   case '"': to_string("&quot;", 6);  break;
                                   case '\'': to_string("&apos;", 6);  break;
                                   _default;
                           });
                           break;
                   case UL_HTML:
                           escape(switch(*src) {
                                   case '&': to_string("&amp;", 5);  break;
                                   case '>': to_string("&gt;", 4);  break;
                                   case '<': to_string("&lt;", 4);  break;
                                   case '"': to_string("&quot;", 6);  break;
                                   _default;
                           });
                           break;
                   default:
                           throw Exception(Exception::undefined_type, 
                                   Exception::undefined_source, 
                                   "unknown untaint language #%d", 
                                           static_cast<int>(to_lang)); // should never
                           break; // never
                 }                  }
                 chunk=row->link;  
         } while(chunk);                  if(to_lang & UL_OPTIMIZE_BIT) { 
 break2:                          // optimizing whitespace
         *copy_here=0;                          char *stop=dest;  dest=start;
                           for(char *src=start; src<stop; src++)
                                   switch(*src) {
                                   // of all consequent white space chars leaving only first one
                                   case ' ': case '\r': case '\n': case '\t':
                                           if(!whitespace) {
                                                   *dest++=*src;
                                                   whitespace=true;
                                           }
                                           break;
                                   default:
                                           whitespace=false;
                                           *dest++=*src;
                                           break;
                                   };
                   } else // piece without optimization
                           whitespace=false;
   //      );
           }
   
           return dest;
   }
   
   char *String::cstr_debug_origins(Pool& pool) const {
           //_asm int 3;
           char *result=new(pool) char[size()+fused*MAX_STRING*2];
           char *dest=result;
           
           STRING_FOREACH_FRAGMENT(
   IFNDEF_NO_STRING_ORIGIN(
                   if(fragment->origin.file)
                           dest+=sprintf(dest, ORIGIN_FILE_LINE_FORMAT,
                                   fragment->origin.file,
                                   1+fragment->origin.line);
                   else
                           dest+=sprintf(dest, "<unknown>");
   );
                   uchar show_lang=fragment->lang & ~UL_OPTIMIZE_BIT;
                   if(show_lang>=sizeof(String_Untaint_lang_name)/sizeof(String_Untaint_lang_name[0]))
                           throw Exception(Exception::undefined_type, 
                                   Exception::undefined_source, 
                                   "unknown untaint language #%d", 
                                           static_cast<int>(show_lang)); // sould never
   
                   dest+=sprintf(dest, "#%s%s: ",
                           String_Untaint_lang_name[show_lang],
                           fragment->lang & UL_OPTIMIZE_BIT?".O":"");
                   char *dest_after_origins=dest;
   
                   memcpy(dest, fragment->ptr, fragment->size); 
                   dest+=fragment->size;
   
                   remove_crlf(dest_after_origins, dest);
                   to_char('\n');
           );
   
           *dest=0;
         return result;          return result;
 }  }
Removed from v.1.8  
changed lines
  Added in v.1.115.2.7

E-mail: