|
|
| version 1.182, 2009/01/25 02:04:14 | version 1.195, 2009/07/06 08:49:49 |
|---|---|
| Line 1 | Line 1 |
| /** @file | /** @file |
| Parser: @b file parser class. | Parser: @b file parser class. |
| Copyright (c) 2001-2005 ArtLebedev Group (http://www.artlebedev.com) | Copyright (c) 2001-2009 ArtLebedev Group (http://www.artlebedev.com) |
| Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru) | Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru) |
| */ | */ |
| Line 24 static const char * const IDENT_FILE_C=" | Line 24 static const char * const IDENT_FILE_C=" |
| #include "pa_charsets.h" | #include "pa_charsets.h" |
| #include "pa_sql_connection.h" | #include "pa_sql_connection.h" |
| #include "pa_md5.h" | #include "pa_md5.h" |
| #include "pa_vregex.h" | |
| // defines | // defines |
| #define TEXT_MODE_NAME "text" | |
| #define BINARY_MODE_NAME "binary" | |
| #define STDIN_EXEC_PARAM_NAME "stdin" | #define STDIN_EXEC_PARAM_NAME "stdin" |
| #define CHARSET_EXEC_PARAM_NAME "charset" | #define CHARSET_EXEC_PARAM_NAME "charset" |
| Line 44 extern String sql_offset_name; | Line 43 extern String sql_offset_name; |
| class MFile: public Methoded { | class MFile: public Methoded { |
| public: // VStateless_class | public: // VStateless_class |
| Value* create_new_value(Pool&, HashStringValue&) { return new VFile(); } | Value* create_new_value(Pool&, HashStringValue*) { return new VFile(); } |
| public: // Methoded | public: // Methoded |
| bool used_directly() { return true; } | bool used_directly() { return true; } |
| Line 113 static const String::Body cdate_name("cd | Line 112 static const String::Body cdate_name("cd |
| // methods | // methods |
| static bool is_valid_mode (const String& mode) { | static bool is_valid_mode (const String& mode) { |
| return (mode==TEXT_MODE_NAME || mode==BINARY_MODE_NAME); | return (mode==text_mode_name || mode==binary_mode_name); |
| } | } |
| static bool is_text_mode(const String& mode) { | static bool is_text_mode(const String& mode) { |
| if(mode==TEXT_MODE_NAME) | if(mode==text_mode_name) |
| return true; | return true; |
| if(mode==BINARY_MODE_NAME) | if(mode==binary_mode_name) |
| return false; | return false; |
| throw Exception(PARSER_RUNTIME, | throw Exception(PARSER_RUNTIME, |
| &mode, | &mode, |
| Line 203 static void _load(Request& r, MethodPara | Line 202 static void _load(Request& r, MethodPara |
| const String& lfile_name=r.absolute(params.as_no_junction(1, FILE_NAME_MUST_NOT_BE_CODE).as_string()); | const String& lfile_name=r.absolute(params.as_no_junction(1, FILE_NAME_MUST_NOT_BE_CODE).as_string()); |
| size_t param_index=params.count()-1; | size_t param_index=params.count()-1; |
| Value* param_value=param_index>=2?¶ms.as_no_junction(param_index, "filename or options must not be code"):0; | Value* param_value=param_index>1?¶ms.as_no_junction(param_index, "filename or options must not be code"):0; |
| HashStringValue* param_hash=param_value?param_value->get_hash():0; | |
| HashStringValue* options=param_hash; | |
| param_index--; | HashStringValue* options=0; |
| const char *user_file_name=0; | |
| if(param_value){ | |
| options=param_value->get_hash(); | |
| if(options || param_index>2) | |
| param_index--; | |
| if(param_index>1){ | |
| const String& luser_file_name=params.as_string(param_index, FILE_NAME_MUST_BE_STRING); | |
| if(!luser_file_name.is_empty()) | |
| user_file_name=luser_file_name.cstr_taint(String::L_FILE_SPEC); | |
| } | |
| } | |
| if(!user_file_name) | |
| user_file_name=lfile_name.cstr_taint(String::L_FILE_SPEC); | |
| size_t offset=0; | size_t offset=0; |
| size_t limit=0; | size_t limit=0; |
| if(options){ | if(options){ |
| options=new HashStringValue(*options); | options=new HashStringValue(*options); |
| if(Value *voffset=(Value *)options->get(sql_offset_name)){ | if(Value *voffset=(Value *)options->get(sql_offset_name)){ |
| Line 225 static void _load(Request& r, MethodPara | Line 237 static void _load(Request& r, MethodPara |
| as_text, options, true, 0, offset, limit | as_text, options, true, 0, offset, limit |
| ); | ); |
| const char *user_file_name=(param_index>=2)? | |
| params.as_string(param_index, FILE_NAME_MUST_BE_STRING).cstr(String::L_FILE_SPEC) | |
| :lfile_name.cstr(String::L_FILE_SPEC); | |
| Value* vcontent_type=0; | Value* vcontent_type=0; |
| if(file.headers){ | if(file.headers){ |
| if(Value* remote_content_type=file.headers->get(HTTP_CONTENT_TYPE_UPPER)) | if(Value* remote_content_type=file.headers->get(HTTP_CONTENT_TYPE_UPPER)) |
| Line 240 static void _load(Request& r, MethodPara | Line 248 static void _load(Request& r, MethodPara |
| VFile& self=GET_SELF(r, VFile); | VFile& self=GET_SELF(r, VFile); |
| self.set(true/*tainted*/, file.str, file.length, user_file_name, vcontent_type); | self.set(true/*tainted*/, file.str, file.length, user_file_name, vcontent_type); |
| self.set_mode(as_text); | |
| if(file.headers){ | if(file.headers){ |
| file.headers->for_each<HashStringValue*>(_load_pass_param, &self.fields()); | file.headers->for_each<HashStringValue*>(_load_pass_param, &self.fields()); |
| } else { | } else { |
| Line 253 static void _load(Request& r, MethodPara | Line 263 static void _load(Request& r, MethodPara |
| ff.put(mdate_name, new VDate(mtime)); | ff.put(mdate_name, new VDate(mtime)); |
| ff.put(cdate_name, new VDate(ctime)); | ff.put(cdate_name, new VDate(ctime)); |
| } | } |
| } | } |
| static void _create(Request& r, MethodParams& params) { | static void _create(Request& r, MethodParams& params) { |
| Value& vmode_name=params.as_no_junction(0, MODE_MUST_NOT_BE_CODE); | const String& mode_name=params.as_no_junction(0, MODE_MUST_NOT_BE_CODE).as_string(); |
| if(!is_text_mode(vmode_name.as_string())) | if(!is_text_mode(mode_name)) |
| throw Exception(PARSER_RUNTIME, | throw Exception(PARSER_RUNTIME, |
| 0, | 0, |
| "only text mode is currently supported"); | "only text mode is currently supported"); |
| const char* user_file_name_cstr=r.absolute( | const char* user_file_name_cstr=r.absolute( |
| params.as_no_junction(1, FILE_NAME_MUST_NOT_BE_CODE).as_string()).cstr(String::L_FILE_SPEC); | params.as_no_junction(1, FILE_NAME_MUST_NOT_BE_CODE).as_string()).cstr_taint(String::L_FILE_SPEC); |
| const String& content=params.as_string(2, "content must be string"); | const String& content=params.as_string(2, "content must be string"); |
| const char* content_cstr=content.cstr(String::L_UNSPECIFIED); // explode content, honor tainting changes | const char* content_cstr=content.cstr(String::L_UNSPECIFIED); // explode content, honor tainting changes |
| Line 273 static void _create(Request& r, MethodPa | Line 282 static void _create(Request& r, MethodPa |
| VFile& self=GET_SELF(r, VFile); | VFile& self=GET_SELF(r, VFile); |
| self.set(true/*tainted*/, content_cstr, strlen(content_cstr), user_file_name_cstr, vcontent_type); | self.set(true/*tainted*/, content_cstr, strlen(content_cstr), user_file_name_cstr, vcontent_type); |
| self.set_mode(true/*as_text*/); | |
| } | } |
| static void _stat(Request& r, MethodParams& params) { | static void _stat(Request& r, MethodParams& params) { |
| Line 286 static void _stat(Request& r, MethodPara | Line 297 static void _stat(Request& r, MethodPara |
| size, | size, |
| atime, mtime, ctime); | atime, mtime, ctime); |
| const char* user_file_name=lfile_name.cstr(String::L_FILE_SPEC); | const char* user_file_name=lfile_name.cstr_taint(String::L_FILE_SPEC); |
| VFile& self=GET_SELF(r, VFile); | VFile& self=GET_SELF(r, VFile); |
| Line 358 static void pass_cgi_header_attribute( | Line 369 static void pass_cgi_header_attribute( |
| } | } |
| static void append_to_argv(Request& r, ArrayString& argv, const String* str){ | static void append_to_argv(Request& r, ArrayString& argv, const String* str){ |
| if( str->length() ){ | if(!str->is_empty()) |
| argv+=new String(str->cstr_to_string_body(String::L_UNSPECIFIED, 0, &r.charsets), String::L_AS_IS); | argv+=new String(str->cstr_to_string_body(String::L_UNSPECIFIED, 0, &r.charsets), String::L_AS_IS); |
| } | |
| } | } |
| /// @todo fix `` in perl - they produced flipping consoles and no output to perl | /// @todo fix `` in perl - they produced flipping consoles and no output to perl |
| static void _exec_cgi(Request& r, MethodParams& params, | static void _exec_cgi(Request& r, MethodParams& params, bool cgi) { |
| bool cgi) { | bool as_text=true; |
| size_t param_index=0; | |
| Value& first_param=params.as_no_junction(0, FIRST_ARG_MUST_NOT_BE_CODE); | const String& mode_name=params.as_no_junction(0, FIRST_ARG_MUST_NOT_BE_CODE).as_string(); |
| if(is_valid_mode(mode_name)){ | |
| bool is_mode_specified=is_valid_mode(first_param.as_string()); | as_text=is_text_mode(mode_name); |
| const String& mode_name=(is_mode_specified) ? first_param.as_string() : *new String(TEXT_MODE_NAME); | param_index++; |
| size_t param_index=1; | |
| if(!is_mode_specified){ | |
| --param_index; | |
| } | } |
| if(param_index>=params.count()) | if(param_index>=params.count()) |
| Line 392 static void _exec_cgi(Request& r, Method | Line 398 static void _exec_cgi(Request& r, Method |
| if(value_cstr) \ | if(value_cstr) \ |
| env.put( \ | env.put( \ |
| String::Body(#name), \ | String::Body(#name), \ |
| String::Body(value_cstr, 0)); \ | String::Body(*value_cstr?value_cstr:0)); \ |
| // passing SAPI::environment | // passing SAPI::environment |
| if(const char *const *pairs=SAPI::environment(r.sapi_info)) { | if(const char *const *pairs=SAPI::environment(r.sapi_info)) { |
| while(const char* pair=*pairs++) | while(const char* pair=*pairs++) |
| Line 504 static void _exec_cgi(Request& r, Method | Line 510 static void _exec_cgi(Request& r, Method |
| if(charset) | if(charset) |
| real_err=&Charset::transcode(*real_err, *charset, r.charsets.source()); | real_err=&Charset::transcode(*real_err, *charset, r.charsets.source()); |
| if(file_out->length && is_text_mode(mode_name)){ | if(file_out->length && as_text){ |
| fix_line_breaks(file_out->str, file_out->length); | fix_line_breaks(file_out->str, file_out->length); |
| // treat output as string | // treat output as string |
| String *real_out = new String(file_out->str, file_out->length); | String *real_out = new String(file_out->str); |
| // transcode out if necessary | // transcode out if necessary |
| if(charset) | if(charset) |
| Line 546 static void _exec_cgi(Request& r, Method | Line 552 static void _exec_cgi(Request& r, Method |
| "output does not contain CGI header; " | "output does not contain CGI header; " |
| "exit status=%d; stdoutsize=%u; stdout: \"%s\"; stderrsize=%u; stderr: \"%s\"", | "exit status=%d; stdoutsize=%u; stdout: \"%s\"; stderrsize=%u; stderr: \"%s\"", |
| execution.status, | execution.status, |
| (size_t)file_out->length, (file_out->length) ? (file_out->str) : "", | file_out->length, (file_out->length) ? (file_out->str) : "", |
| (size_t)real_err->length(), real_err->cstr()); | real_err->length(), real_err->cstr()); |
| break; //never reached | break; //never reached |
| } | } |
| Line 563 static void _exec_cgi(Request& r, Method | Line 569 static void _exec_cgi(Request& r, Method |
| } | } |
| file_out->str[header_break_pos] = 0; | file_out->str[header_break_pos] = 0; |
| String *header=new String(file_out->str, header_break_pos); | String *header=new String(file_out->str); |
| unsigned long headersize = header_break_pos+eol_marker_size*2; | unsigned long headersize = header_break_pos+eol_marker_size*2; |
| file_out->str += headersize; | file_out->str += headersize; |
| file_out->length -= headersize; | file_out->length -= headersize; |
| Line 572 static void _exec_cgi(Request& r, Method | Line 578 static void _exec_cgi(Request& r, Method |
| self.set(false/*not tainted*/, file_out->str, file_out->length); | self.set(false/*not tainted*/, file_out->str, file_out->length); |
| // $fields << header | // $fields << header |
| if(header && eol_marker) { | if(header) { |
| ArrayString rows; | ArrayString rows; |
| size_t pos_after=0; | size_t pos_after=0; |
| header->split(rows, pos_after, eol_marker); | header->split(rows, pos_after, eol_marker); |
| Line 588 static void _exec_cgi(Request& r, Method | Line 594 static void _exec_cgi(Request& r, Method |
| self.set(false/*not tainted*/, file_out->str, file_out->length); | self.set(false/*not tainted*/, file_out->str, file_out->length); |
| } | } |
| self.set_mode(as_text); | |
| // $status | // $status |
| self.fields().put(file_status_name, new VInt(execution.status)); | self.fields().put(file_status_name, new VInt(execution.status)); |
| // $stderr | // $stderr |
| if(real_err->length()) | if(!real_err->is_empty()) |
| self.fields().put( | self.fields().put( |
| String::Body("stderr"), | String::Body("stderr"), |
| new VString(*real_err)); | new VString(*real_err)); |
| Line 607 static void _cgi(Request& r, MethodParam | Line 615 static void _cgi(Request& r, MethodParam |
| static void _list(Request& r, MethodParams& params) { | static void _list(Request& r, MethodParams& params) { |
| Value& relative_path=params.as_no_junction(0, "path must not be code"); | Value& relative_path=params.as_no_junction(0, "path must not be code"); |
| const String* regexp; | VRegex* vregex=0; |
| pcre *regexp_code; | VRegexCleaner vrcleaner; |
| const int ovecsize=(1/*match*/)*3; | if(params.count()>1){ |
| int ovector[ovecsize]; | Value& regexp=params.as_no_junction(1, "regexp must not be code"); |
| if(params.count()>1) { | if(regexp.is_defined()){ |
| regexp=¶ms.as_no_junction(1, "regexp must not be code").as_string(); | if(Value* value=regexp.as(VREGEX_TYPE, false)){ |
| vregex=static_cast<VRegex*>(value); | |
| const char* pattern=regexp->cstr(String::L_UNSPECIFIED); | } else { |
| const char* errptr; | vregex=new VRegex(r.charsets.source(), ®exp.as_string(), 0/*options*/); |
| int erroffset; | vregex->study(); |
| int options=PCRE_EXTRA | PCRE_DOTALL; | vrcleaner.vregex=vregex; |
| if(r.charsets.source().isUTF8()) | } |
| options=options|PCRE_UTF8; | } |
| regexp_code=pcre_compile(pattern, options, | |
| &errptr, &erroffset, | |
| r.charsets.source().pcre_tables); | |
| if(!regexp_code) | |
| throw Exception(PCRE_EXCEPTION_TYPE, | |
| ®exp->mid(erroffset, regexp->length()), | |
| "regular expression syntax error - %s", errptr); | |
| } else { | |
| regexp=0; // not used, just to calm down compiler | |
| regexp_code=0; | |
| } | } |
| const char* absolute_path_cstr=r.absolute(relative_path.as_string()).cstr_taint(String::L_FILE_SPEC); | |
| const char* absolute_path_cstr=r.absolute(relative_path.as_string()).cstr(String::L_FILE_SPEC); | |
| Table::columns_type columns(new ArrayString); | Table::columns_type columns(new ArrayString); |
| *columns+=new String("name"); | *columns+=new String("name"); |
| Table& table=*new Table(columns); | Table& table=*new Table(columns); |
| const int ovector_size=(1/*match*/)*3; | |
| int ovector[ovector_size]; | |
| LOAD_DIR(absolute_path_cstr, | LOAD_DIR(absolute_path_cstr, |
| const char* file_name_cstr=ffblk.ff_name; | const char* file_name_cstr=ffblk.ff_name; |
| size_t file_name_size=strlen(file_name_cstr); | size_t file_name_size=strlen(file_name_cstr); |
| bool suits=true; | |
| if(regexp_code) { | |
| int exec_result=pcre_exec(regexp_code, 0, | |
| ffblk.ff_name, file_name_size, 0, | |
| 0, ovector, ovecsize); | |
| if(exec_result==PCRE_ERROR_NOMATCH) | |
| suits=false; | |
| else if(exec_result<0) { | |
| (*pcre_free)(regexp_code); | |
| throw Exception(PCRE_EXCEPTION_TYPE, | |
| regexp, | |
| print_pcre_exec_error_text(exec_result), | |
| exec_result); | |
| } | |
| } | |
| if(suits) { | if(!vregex || vregex->exec(ffblk.ff_name, file_name_size, ovector, ovector_size)>=0) { |
| Table::element_type row(new ArrayString); | Table::element_type row(new ArrayString); |
| *row+=new String(pa_strdup(file_name_cstr, file_name_size), file_name_size, true); | *row+=new String(pa_strdup(file_name_cstr, file_name_size), String::L_TAINTED); |
| table+=row; | table+=row; |
| } | } |
| ); | ); |
| if(regexp_code) | |
| pcre_free(regexp_code); | |
| // write out result | // write out result |
| r.write_no_lang(*new VTable(&table)); | r.write_no_lang(*new VTable(&table)); |
| } | } |
| Line 705 static int lastposafter(const String& s, | Line 684 static int lastposafter(const String& s, |
| if(beforelast) | if(beforelast) |
| size=s.length(); | size=s.length(); |
| size_t at; | size_t at; |
| while((at=s.pos(String::Body(substr, substr_size), after))!=STRING_NOT_FOUND) { | while((at=s.pos(String::Body(substr), after))!=STRING_NOT_FOUND) { |
| size_t newafter=at+substr_size/*skip substr*/; | size_t newafter=at+substr_size/*skip substr*/; |
| if(beforelast && newafter==size) | if(beforelast && newafter==size) |
| break; | break; |
| Line 760 static void _dirname(Request& r, MethodP | Line 739 static void _dirname(Request& r, MethodP |
| if(afterslash>0) | if(afterslash>0) |
| r.write_assign_lang(file_spec.mid(0, afterslash==1?1:afterslash-1)); | r.write_assign_lang(file_spec.mid(0, afterslash==1?1:afterslash-1)); |
| else | else |
| r.write_assign_lang(String(".", 1)); | r.write_assign_lang(String(".")); |
| } | } |
| static void _basename(Request& r, MethodParams& params) { | static void _basename(Request& r, MethodParams& params) { |
| Line 847 public: | Line 826 public: |
| break; | break; |
| case 1: | case 1: |
| if(!user_file_name) // user not specified? | if(!user_file_name) // user not specified? |
| user_file_name=new String(str, length, true); | user_file_name=new String(str, String::L_TAINTED); |
| break; | break; |
| case 2: | case 2: |
| if(!user_content_type) // user not specified? | if(!user_content_type) // user not specified? |
| user_content_type=new String(str, length, true); | user_content_type=new String(str, String::L_TAINTED); |
| break; | break; |
| default: | default: |
| error=SQL_Error(PARSER_RUNTIME, "result must not contain more then one row, three rows"); | error=SQL_Error(PARSER_RUNTIME, "result must not contain more then one row, three rows"); |
| Line 870 static void _sql(Request& r, MethodParam | Line 849 static void _sql(Request& r, MethodParam |
| Temp_lang temp_lang(r, String::L_SQL); | Temp_lang temp_lang(r, String::L_SQL); |
| const String& statement_string=r.process_to_string(statement); | const String& statement_string=r.process_to_string(statement); |
| const char* statement_cstr= | const char* statement_cstr=statement_string.cstr(String::L_UNSPECIFIED, r.connection()); |
| statement_string.cstr(String::L_UNSPECIFIED, r.connection()); | |
| File_sql_event_handlers handlers(statement_string, statement_cstr); | File_sql_event_handlers handlers(statement_string, statement_cstr); |
| ulong limit=SQL_NO_LIMIT; | ulong limit=SQL_NO_LIMIT; |
| Line 924 static void _sql(Request& r, MethodParam | Line 903 static void _sql(Request& r, MethodParam |
| : 0; | : 0; |
| VFile& self=GET_SELF(r, VFile); | VFile& self=GET_SELF(r, VFile); |
| self.set(true/*tainted*/, handlers.value.str, handlers.value.length, user_file_name_cstr, vcontent_type); | self.set(true/*tainted*/, handlers.value.str, handlers.value.length, user_file_name_cstr, vcontent_type); |
| self.set_mode(false/*binary*/); | |
| } | } |
| static void _base64(Request& r, MethodParams& params) { | static void _base64(Request& r, MethodParams& params) { |
| Line 941 static void _base64(Request& r, MethodPa | Line 921 static void _base64(Request& r, MethodPa |
| } else { | } else { |
| // encode: ^f.base64[] | // encode: ^f.base64[] |
| const char* encoded=pa_base64_encode(self.value_ptr(), self.value_size()); | const char* encoded=pa_base64_encode(self.value_ptr(), self.value_size()); |
| r.write_assign_lang(*new String(encoded, 0, true/*tainted. once ?param=base64(something) was needed**/)); | r.write_assign_lang(*new String(encoded, String::L_TAINTED/*once ?param=base64(something) was needed**/)); |
| } | } |
| } else { | } else { |
| // encode: ^file:base64[filespec] | // encode: ^file:base64[filespec] |
| const String& file_spec=params.as_string(0, FILE_NAME_MUST_BE_STRING); | const String& file_spec=params.as_string(0, FILE_NAME_MUST_BE_STRING); |
| const char* encoded=pa_base64_encode(r.absolute(file_spec)); | const char* encoded=pa_base64_encode(r.absolute(file_spec)); |
| r.write_assign_lang(*new String(encoded, 0, true/*tainted. once ?param=base64(something) was needed*/)); | r.write_assign_lang(*new String(encoded, String::L_TAINTED/*once ?param=base64(something) was needed*/)); |
| } | } |
| } | } |