|
|
| version 1.71, 2001/10/29 16:29:08 | version 1.115.2.12.2.11, 2003/03/24 14:53: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-2003 ArtLebedev Group (http://www.artlebedev.com) |
| Author: Alexander Petrosyan <paf@design.ru>(http://design.ru/paf) | Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru) |
| $Id$ | |
| */ | */ |
| #include "pa_pool.h" | static const char* 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_sql_connection.h" | |
| #include "pa_dictionary.h" | #include "pa_dictionary.h" |
| #include "pa_common.h" | #include "pa_common.h" |
| #include "pa_charset.h" | |
| #include "pa_request_charsets.h" | |
| extern "C" { // author forgot to do that | |
| #include "ec.h" | |
| } | |
| //#define PA_SQL | |
| #ifdef PA_SQL | |
| #include "pa_sql_connection.h" | |
| #endif | |
| #define escape(action) \ | #define escape(action) \ |
| { \ | for(; fragment_length--; CORD_next(pos)) { \ |
| const char *src=row->item.ptr; \ | char c=CORD_pos_fetch(pos); \ |
| for(int size=row->item.size; size--; src++) \ | action \ |
| action \ | |
| } | } |
| #define _default default: *dest++=*src; break | #define _default default: CORD_ec_append(result, c); break |
| #define encode(need_encode_func, prefix) \ | #define encode(need_encode_func, prefix) \ |
| default: \ | if(need_encode_func(c)) { \ |
| if(need_encode_func(*src)) { \ | static const char* hex="0123456789ABCDEF"; \ |
| static const char *hex="0123456789ABCDEF"; \ | CORD_ec_append(result, prefix); \ |
| char chunk[3]={prefix}; \ | CORD_ec_append(result, hex[((unsigned char)c)/0x10]); \ |
| chunk[1]=hex[((unsigned char)*src)/0x10]; \ | CORD_ec_append(result, hex[((unsigned char)c)%0x10]); \ |
| chunk[2]=hex[((unsigned char)*src)%0x10]; \ | } else \ |
| memcpy(dest, chunk, 3); dest+=3; \ | CORD_ec_append(result, c); |
| } else \ | #define to_char(c) CORD_ec_append(result, c) |
| *dest++=*src; \ | #define to_string(s) CORD_ec_append_cord(result, s) |
| 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){ | 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')) |
| Line 65 inline bool need_http_header_encode(unsi | Line 70 inline bool need_http_header_encode(unsi |
| // | // |
| static const char * String_Untaint_lang_name[]={ | static const char* String_Untaint_lang_name[]={ |
| "U", ///< zero value handy for hash lookup @see untaint_lang_name2enum | "U", ///< zero value handy for hash lookup @see untaint_lang_name2enum |
| "C", ///< clean | "C", ///< clean |
| "T", ///< tainted, untaint language as assigned later | "T", ///< tainted, untaint language as assigned later |
| Line 84 static const char * String_Untaint_lang_ | Line 89 static const char * String_Untaint_lang_ |
| "SQL", ///< ^table:sql body | "SQL", ///< ^table:sql body |
| "JS", ///< JavaScript code | "JS", ///< JavaScript code |
| "XML", ///< ^dom:set xml | "XML", ///< ^dom:set xml |
| "HTML", ///< HTML code (for editing) | "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 |
| Line 137 quoted-pair = "\" CHAR | Line 130 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? | |
| @todo fix potential forigins_mode buf overrun | /** |
| 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 ( | if(is_empty()) |
| lang==UL_AS_IS? | return dest; |
| size() | |
| : | // first: letters |
| size() | dest.body.append(body); |
| *UNTAINT_TIMES_BIGGER | |
| *(forigins_mode?10:1) | // next: fragment infos |
| ) | |
| +1; | if(lang==L_PASS_APPENDED) // without language-chage string? |
| dest.fragments.append(fragments); | |
| else if(forced) //forcing passed lang? | |
| dest.fragments+=Fragment(lang, length()); | |
| else if(lang&L_OPTIMIZE_BIT) { | |
| Array_iterator<ArrayFragment::element_type> i(fragments); | |
| while(i.has_next()) { | |
| const Fragment& fragment=i.next(); | |
| // 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 | |
| dest.fragments+=Fragment(static_cast<Language>( | |
| fragment.lang==L_TAINTED?lang:( | |
| fragment.lang==L_CLEAN?L_CLEAN|L_OPTIMIZE_BIT: // ORing with OPTIMIZED flag | |
| fragment.lang)), | |
| fragment.length); | |
| } | |
| } else { // The core idea: tainted pieces got marked with context's lang | |
| Array_iterator<ArrayFragment::element_type> i(fragments); | |
| while(i.has_next()) { | |
| const Fragment& fragment=i.next(); | |
| dest.fragments+=Fragment( | |
| fragment.lang==L_TAINTED?lang:fragment.lang, | |
| fragment.length); | |
| } | |
| } | |
| return dest; | |
| } | } |
| /** @todo fix theoretical \n mem overrun in TYPO replacements | /** 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 | |
| */ | */ |
| 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' |
| Dictionary *user_typo_dict=static_cast<Dictionary *>(pool().tag()); | || strchr("!*+-/", c); |
| Dictionary *typo_dict=user_typo_dict?user_typo_dict:default_typo_dict; | } |
| inline void ec_append(CORD_ec& result, CORD_pos& pos, size_t size) { | |
| while(size--) { | |
| CORD_ec_append(result, CORD_pos_fetch(pos)); | |
| CORD_next(pos); | |
| } | |
| } | |
| StringBody String::cstr_to_string_body(Language lang, | |
| SQL_Connection* connection, | |
| const Request_charsets *charsets) const { | |
| CORD_ec result; CORD_ec_init(result); | |
| CORD_pos pos; body.set_pos(pos, 0); | |
| bool whitespace=true; | bool whitespace=true; |
| const Chunk *chunk=&head; | |
| do { | |
| const Chunk::Row *row=chunk->rows; | |
| for(uint i=0; i<chunk->count; i++, row++) { | |
| if(row==append_here) | |
| goto break2; | |
| Untaint_lang to_lang=lang==UL_UNSPECIFIED?row->item.lang:lang; | |
| char *dest_before_origins=dest; | |
| if(forigins_mode) { | |
| #ifndef NO_STRING_ORIGIN | |
| if(row->item.origin.file) | |
| 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: | size_t fragment_begin=0; |
| // string can grow only UNTAINT_TIMES_BIGGER | size_t fragment_end; |
| switch(to_lang) { | for(Array_iterator<Fragment> i(fragments); i.has_next(); fragment_begin=fragment_end) { |
| case UL_CLEAN: | const Fragment& fragment=i.next(); |
| // clean piece | size_t fragment_length=fragment.length; |
| { // optimizing whitespace | fragment_end=fragment_begin+fragment_length; |
| const char *src=row->item.ptr; | |
| for(int size=row->item.size; size--; src++) | Language to_lang=lang==L_UNSPECIFIED?fragment.lang:lang; |
| switch(*src) { | |
| /***case ' ': case '\n': case '\t': | switch(to_lang & ~L_OPTIMIZE_BIT) { |
| if(!whitespace) { | case L_CLEAN: |
| *dest++=*src; | case L_TAINTED: |
| whitespace=true; | case L_AS_IS: |
| } | // clean piece |
| break;*/ | |
| default: | // tainted piece, but undefined untaint language |
| whitespace=false; | // for VString.as_double of tainted values |
| *dest++=*src; | // for ^process{body} evaluation |
| break; | |
| } | // tainted, untaint language: as-is |
| ec_append(result, pos, fragment_length); | |
| break; | |
| case L_FILE_SPEC: | |
| // tainted, untaint language: file [name] | |
| escape( | |
| // Macintosh has problems with small Russian letter 'r' | |
| if( c=='\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; | |
| #ifdef LATER | |
| case L_URI: | |
| // tainted, untaint language: uri | |
| { | |
| const char *substr= | |
| CORD_to_const_char_star( | |
| CORD_substr(body, fragment_begin, fragment_length)); | |
| const void *client_ptr; | |
| size_t client_size; | |
| if(charsets) | |
| Charset::transcode( | |
| charsets->source(), substr, fragment_length, | |
| charsets->client(), client_ptr, client_size); | |
| else { | |
| client_ptr=substr; | |
| client_size=fragment_length; | |
| } | } |
| break; | |
| case UL_TAINTED: | char c; |
| // tainted piece, but undefined untaint language | for(const char* src=(const char* )client_ptr; c=*src++; ) |
| // for VString.as_double of tainted values | |
| // for ^process{body} evaluation | |
| case UL_AS_IS: | |
| // tainted, untaint language: as-is | |
| memcpy(dest, row->item.ptr, row->item.size); | |
| dest+=row->item.size; | |
| break; | |
| case UL_FILE_SPEC: | |
| // tainted, untaint language: file [name] | |
| escape(switch(*src) { | |
| case ' ': to_char('_'); break; | |
| encode(need_file_encode, '+'); | |
| }); | |
| break; | |
| case UL_URI: | |
| // tainted, untaint language: uri | |
| escape(switch(*src) { | |
| case ' ': to_char('+'); break; | |
| encode(need_uri_encode, '%'); | |
| }); | |
| break; | |
| case UL_HTTP_HEADER: | |
| // tainted, untaint language: http-field-content-text | |
| escape(switch(*src) { | |
| case ' ': to_char('+'); break; | |
| encode(need_uri_encode, '%'); | encode(need_uri_encode, '%'); |
| }); | } |
| break; | break; |
| case UL_MAIL_HEADER: | #endif |
| // tainted, untaint language: mail-header | case L_HTTP_HEADER: |
| if(charset) { | // tainted, untaint language: http-field-content-text |
| // Subject: Re: parser3: =?koi8-r?Q?=D3=C5=CD=C9=CE=C1=D2?= | escape( |
| const char *src=row->item.ptr; | encode(need_uri_encode, '%'); |
| bool to_quoted_printable=false; | ); |
| for(int size=row->item.size; size--; src++) { | break; |
| if(*src & 0x80) { | #ifdef LATER |
| if(!to_quoted_printable) { | case L_MAIL_HEADER: |
| dest+=sprintf(dest, "=?%.15s?Q?", charset); | // tainted, untaint language: mail-header |
| to_quoted_printable=true; | // http://www.ietf.org/rfc/rfc2047.txt |
| } | if(charsets) { |
| dest+=sprintf(dest, "=%02X", *src & 0xFF); | const void *mail_ptr=fragment.ptr; |
| } else { | size_t mail_size=fragment_length; |
| *dest++=*src; | const char* charset_name=charsets->mail().name()->cstr(); |
| } | |
| } | // Subject: Re: parser3: =?koi8-r?Q?=D3=C5=CD=C9=CE=C1=D2?= |
| if(to_quoted_printable) // close | 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 && (c==',' || c=='<')) { | |
| email=c=='<'; | |
| dest+=sprintf(dest, "?="); | dest+=sprintf(dest, "?="); |
| } else { | to_quoted_printable=false; |
| memcpy(dest, row->item.ptr, row->item.size); | } |
| dest+=row->item.size; | if(!email && ( |
| } | !to_quoted_printable && (c & 0x80) // starting quote-printable-encoding on first 8bit char |
| break; | || to_quoted_printable && !mail_header_char_valid_within_Qencoded(c) |
| case UL_TABLE: | )) { |
| // tainted, untaint language: table | if(!to_quoted_printable) { |
| escape(switch(*src) { | dest+=sprintf(dest, "=?%s?Q?", charset_name.get()); |
| case '\t': to_char(' '); break; | to_quoted_printable=true; |
| case '\n': to_char(' '); break; | |
| _default; | |
| }); | |
| break; | |
| case UL_SQL: | |
| // tainted, untaint language: sql | |
| if(connection) | |
| dest+=connection->quote(dest, row->item.ptr, row->item.size); | |
| else | |
| throw Exception(0, 0, | |
| this, | |
| "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("&", 5); break; | |
| case '>': to_string(">", 4); break; | |
| case '<': to_string("<", 4); break; | |
| case '"': to_string(""", 6); break; | |
| case '\'': to_string("'", 6); break; | |
| _default; | |
| }); | |
| break; | |
| case UL_HTML: | |
| escape(switch(*src) { | |
| case '&': to_string("&", 5); break; | |
| case '>': to_string(">", 4); break; | |
| case '<': to_string("<", 4); break; | |
| case '"': to_string(""", 6); break; | |
| _default; | |
| }); | |
| break; | |
| case UL_USER_HTML: { | |
| // tainted, untaint language: html-typo | |
| if(!typo_dict) // never, always has default | |
| throw Exception(0, 0, | |
| this, | |
| "untaint to user-html lang failed, no typo table"); | |
| char *html_for_typo= | |
| (char *)malloc(row->item.size*2/* '\n' -> '\' 'n' */+1,16); | |
| // 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 '\n': | |
| to_string("\\n", 2); | |
| 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_dict->first_that_starts(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); | |
| // overflow check: | |
| // b allowed to be max UNTAINT_TIMES_BIGGER then a | |
| if(b.size()>UNTAINT_TIMES_BIGGER*a.size()) { | |
| pool().set_tag(0); // avoid recursion | |
| throw Exception(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); | |
| } | } |
| //RFC Upper case should be used for hexadecimal digits "A" through "F" | |
| // skip 'a' in 'src' | if(c == 0x20) // RFC The 8-bit hexadecimal value 20 (e.g., ISO-8859-1 SPACE) |
| src+=a.size(); | *dest++='_'; // RFC may be represented as "_" |
| // write 'b' to 'dest' | else |
| b.store_to(dest); | dest+=sprintf(dest, "=%02X", c & 0xFF); |
| // skip 'b' in 'dest' | |
| dest+=b.size(); | |
| } else | } else |
| *dest++=*src++; | *dest++=c; |
| } while(*src); | if(c=='>') |
| break; | email=false; |
| } | } |
| default: | if(to_quoted_printable) // close |
| throw Exception(0, 0, | dest+=sprintf(dest, "?="); |
| this, | |
| "unknown untaint language #%d of %d piece", | } else { |
| static_cast<int>(row->item.lang), | memcpy(dest, fragment.ptr, fragment_length); |
| i); // never | dest+=fragment_length; |
| break; // never | |
| } | } |
| break; | |
| if((lang==UL_UNSPECIFIED?row->item.lang:lang)!=UL_CLEAN) | #endif |
| whitespace=false; | case L_TABLE: |
| // tainted, untaint language: table | |
| if(forigins_mode) | escape(switch(c) { |
| if(dest==dest_after_origins) // never moved==optimized space | case '\t': to_char(' '); break; |
| dest=dest_before_origins; | case '\n': to_char(' '); break; |
| else { | _default; |
| remove_crlf(dest_after_origins, dest); | }); |
| break; | |
| to_char('\n'); | #ifdef PA_SQL |
| } | case L_SQL: |
| // tainted, untaint language: sql | |
| if(connection) { | |
| dest+=connection->quote(0, | |
| CORD_substr(body, fragment_begin, fragment_length), | |
| fragment_length); | |
| ...^^^ | |
| dest+=connection->quote(dest, fragment.ptr, fragment_length); | |
| else | |
| throw Exception(0, | |
| 0, | |
| "untaint in SQL language failed - no connection specified"); | |
| break; | |
| #endif | |
| case L_JS: | |
| escape(switch(c) { | |
| case '"': to_string("\\\""); break; | |
| case '\'': to_string("\\'"); break; | |
| case '\n': to_string("\\n"); break; | |
| case '\\': to_string("\\\\"); break; | |
| case '\xFF': to_string("\\\xFF"); break; | |
| _default; | |
| }); | |
| break; | |
| case L_XML: | |
| escape(switch(c) { | |
| case '&': to_string("&"); break; | |
| case '>': to_string(">"); break; | |
| case '<': to_string("<"); break; | |
| case '"': to_string("""); break; | |
| case '\'': to_string("'"); break; | |
| _default; | |
| }); | |
| break; | |
| case L_HTML: | |
| escape(switch(c) { | |
| case '&': to_string("&"); break; | |
| case '>': to_string(">"); break; | |
| case '<': to_string("<"); break; | |
| case '"': to_string("""); break; | |
| _default; | |
| }); | |
| break; | |
| default: | |
| throw Exception(0, | |
| 0, | |
| "unknown untaint language #%d", | |
| static_cast<int>(to_lang)); // should never | |
| break; // never | |
| } | } |
| chunk=row->link; | #ifdef LATER |
| } while(chunk); | if(to_lang & L_OPTIMIZE_BIT) { |
| // optimizing whitespace | |
| char *stop=dest; dest=start; | |
| for(char c=start; src<stop; src++) | |
| switch(c) { | |
| // of all consequent white space chars leaving only first one | |
| case ' ': case '\r': case '\n': case '\t': | |
| if(!whitespace) { | |
| *dest++=c; | |
| whitespace=true; | |
| } | |
| break; | |
| default: | |
| whitespace=false; | |
| *dest++=c; | |
| break; | |
| }; | |
| } else // piece without optimization | |
| whitespace=false; | |
| #endif | |
| } | |
| break2: | return StringBody(CORD_ec_to_cord(result)); |
| return dest; | |
| } | } |