Boa Web Server 缺陷报告及其修正方法

综述 

Boa 作为一种轻巧实用的 WEB 服务器广泛应用于嵌入式设备上, 
但 Boa 对实现动态网页的 CGI  的支持上仍存在一些缺陷, 
本文描述了 Boa 对 CGI 的 Status/Location 的支持的缺陷及其修正方法.


版本: 所有版本 (0.94.13)
缺陷: BOA 解析 CGI 应答头时不能完整处理 Status 和 Location
缺陷描述:
CGI/1.1 标准规定, CGI 脚本可以通过 Status 设置 HTTP 应答状态(如, Status: 500 Internal Error) 和 
Location 进行地址重定向 (如, Location: www.xxx.com), 而不管它们在应答头中的位置.
Boa 支持 Stauts 和 Location 两种应答头, 但它的实现仅能正确处理 Stauts 和 Location 在应答第一行的
CGI 应答. 这将给 CGI 程序的移植带来很多不便, 进而影响 Boa 作为Web Server 的功能的发挥.

影响功能:
ASP/PHP/JSP/Perl/... 等的 header, redirect, ... 等都会应用到 Stauts/Location 进行设置应答状态和
地址重定向. Boa 的该实现将影响 CGI 脚本正常功能的使用.

缺陷功能对比(对Status/Location的支持程序):
Apache 1.3.x/2.x         IIS 4.x/5.x/6.X        Boa 0.9x                 thttpd                 mini-httpd
完全支持                        完全支持                * 部分支持                 完全支持               完全支持

缺陷分析

缺陷分析

CGI 应用程序进行应答时, 可以 HTTP 头进行有限的控制. 如,设置客户端不缓存页面可用下面的 C 脚本,
HTTP/1.0: printf("Pragma: no-cache "); 或
HTTP/1.1: printf("Cache-Control: no-cache; no-store "); 
如果, 同时还需要告诉浏览器进行设置 Cookie 和控制相应状态(200 OK) 或地址重定向, 
那么就必须输出多行 http 头控制语句, CGI 支持两个解析头 "Status: " 和 "Loction: ",
即协议规定, Web 服务器支持解析头时能使用 "Status: " 进行应答状态控制, 使用 "Location: " 进行地址重定向, 
并为应答添加状态头 "HTTP/1.0 302 Moved Temporarily " 或 "HTTP/1.1 302 Found ".
而不管它们在 CGI 应答头的什么位置.

分析 Boa Source Code: 
cgi_header.c  Line 82-136 容易发现, Boa 只解析 CGI 应答的第一行, 是否为 "Status: ", "Location: ", 如下所示

 

 

1. 23
2. 24         int process_cgi_header(request * req)
3. 25         {
4. 26             char *buf;
5. 27             char *c;
6. 28         
7. 29             if (req->cgi_status != CGI_DONE)
8. 30                 req->cgi_status = CGI_BUFFER;
9. 31         
10. 32             buf = req->header_line;
11. 33         
12. 34             c = strstr(buf, " ");
13. 35             if (c == NULL) {
14. 36                 c = strstr(buf, " ");
15. 37                 if (c == NULL) {
16. 38                     log_error_time();
17. 39                     fputs("cgi_header: unable to find LFLF ", stderr);
18. 40         #ifdef FASCIST_LOGGING
19. 41                     log_error_time();
20. 42                     fprintf(stderr, ""%s" ", buf);
21. 43         #endif
22. 44                     send_r_bad_gateway(req);
23. 45                     return 0;
24. 46                 }
25. 47             }
26. 48             if (req->simple) {
27. 49                 if (*(c + 1) == ' ')
28. 50                     req->header_line = c + 2;
29. 51                 else
30. 52                     req->header_line = c + 1;
31. 53                 return 1;
32. 54             }
33. 55             if (!strncasecmp(buf, "Status: ", 8)) {
34. 56                 req->header_line--;
35. 57                 memcpy(req->header_line, "HTTP/1.0 ", 9);
36. 58             } else if (!strncasecmp(buf, "Location: ", 10)) { /* got a location header */
37. 59         #ifdef FASCIST_LOGGING
38. 60         
39. 61                 log_error_time();
40. 62                 fprintf(stderr, "%s:%d - found Location header "%s" ",
41. 63                         __FILE__, __LINE__, buf + 10);
42. 64         #endif
43. 65         
44. 66         
45. 67                 if (buf[10] == '/') {   /* virtual path */
46. 68                     log_error_time();
47. 69                     fprintf(stderr,
48. 70                             "server does not support internal redirection: "
49. 71                             ""%s" ", buf + 10);
50. 72                     send_r_bad_request(req);
51. 73         
52. 74                     /*
53. 75                      * We (I, Jon) have declined to support absolute-path parsing
54. 76                      * because I see it as a major security hole.
55. 77                      * Location: /etc/passwd or Location: /etc/shadow is not funny.
56. 78                      *
57. 79                      * Also, the below code is borked.
58. 80                      * request_uri could contain /cgi-bin/bob/extra_path
59. 81                      */
60. 82         
61. 83                     /*
62. 84                        strcpy(req->request_uri, buf + 10);
63. 85                        return internal_redirect(req);
64. 86                      */
65. 87                 } else {                /* URL */
66. 88                     char *c2;
67. 89                     c2 = strchr(buf + 10, ' ');
68. 90                     /* c2 cannot ever equal NULL here because we already have found one */
69. 91         
70. 92                     --c2;
71. 93                     while (*c2 == ' ')
72. 94                         --c2;
73. 95                     ++c2;
74. 96                     /* c2 now points to a ' ' or the ' ' */
75. 97                     *c2++ = '';       /* end header */
76. 98         
77. 99                     /* first next header, or is at req->header_end */
78. 100                    while ((*c2 == ' ' || *c2 == ' ') && c2 < req->header_end)
79. 101                        ++c2;
80. 102                    if (c2 == req->header_end)
81. 103                        send_r_moved_temp(req, buf + 10, "");
82. 104                    else
83. 105                        send_r_moved_temp(req, buf + 10, c2);
84. 106                }
85. 107                req->status = DONE;
86. 108                return 1;
87. 109            } else {                    /* not location and not status */
88. 110                char *dest;
89. 111                int howmuch;
90. 112                send_r_request_ok(req); /* does not terminate */
91. 113                /* got to do special things because
92. 114                   a) we have a single buffer divided into 2 pieces
93. 115                   b) we need to merge those pieces
94. 116                   Easiest way is to memmove the cgi data backward until
95. 117                   it touches the buffered data, then reset the cgi data pointers
96. 118                 */
97. 119                dest = req->buffer + req->buffer_end;
98. 120                if (req->method == M_HEAD) {
99. 121                    if (*(c + 1) == ' ')
100. 122                        req->header_end = c + 2;
101. 123                    else
102. 124                        req->header_end = c + 1;
103. 125                    req->cgi_status = CGI_DONE;
104. 126                }
105. 127                howmuch = req->header_end - req->header_line;
106. 128        
107. 129                if (dest + howmuch > req->buffer + BUFFER_SIZE) {
108. 130                    /* big problem */
109. 131                    log_error_time();
110. 130             fprintf(stderr, "Too much data to move! Aborting! %s %d ",
111. 131                    __FILE__, __LINE__);
112. 132              /* reset buffer pointers because we already called
113. 133                 send_r_request_ok... */
114. 134              req->buffer_start = req->buffer_end = 0;
115. 135              send_r_error(req);
116. 136              return 0;
117. 137          }
118. 138          memmove(dest, req->header_line, howmuch);
119. 139          req->buffer_end += howmuch;
120. 140          req->header_line = req->buffer + req->buffer_end;
121. 141          req->header_end = req->header_line;
122. 142          req_flush(req);
123. 143          if (req->method == M_HEAD)
124. 144              return 0;
125. 145      }
126. 146      return 1;
127. 147  }
128. 148
129. 149

修正方法

CGI 应答头包括多行, 我们必须对其进行逐行分析, 并作出正确的应答.
下面是修改好的源程序, 即将原来的 82-136 (即相当下文#else, #endif内部分) 替换成如下代码:

1. #if 1
2.     while(1) {
3.                 int         len;
4.                 char *        pnext = NULL;
5.                 char *         ptmp = NULL;
6.         
7.                 /* not find HTTP header tailer */
8.                 if (NULL == (pnext=strchr(buf, ' ')))        /* has no ' ' */
9.                         break;
10.                 
11.                 /* the length of this line,  
12.                  * include ' '
13.                  */
14.                 len = pnext - buf + 1;        
16.                 if (!strncasecmp(buf, "Location: ", 10)) {        /* got a location header */
17.                     /* not the first one
18.                      * exchange this line to the first line
19.                      */
20.                     if (buf != req->header_line)
21.                         {                    
22.                                 if (NULL == (ptmp=(char *)malloc(len)))
23.                         {
24.                                 log_error_time();
25.                                 perror("malloc");
26.                             send_r_error(req);
27.                             return 0;
28.                         }
29.                 
30.                         /* move Status: to line header */
31.                         memcpy(ptmp, buf, len);
32.                         memmove(req->header_line+len, req->header_line, buf-req->header_line);       
33.                         memcpy(req->header_line, ptmp, len);
34.                         free(ptmp);
35.                     }
36.                     
37.                     /* force pointer header */
38.                     buf = req->header_line;
39.                     
40. #ifdef FASCIST_LOGGING
41.         
42.                 log_error_time();
43.                 fprintf(stderr, "%s:%d - found Location header "%s" ",
44.                         __FILE__, __LINE__, buf + 10);
45. #endif
46.         
47.         
48.                 if (buf[10] == '/') {   /* virtual path */
49.                     log_error_time();
50.                     fprintf(stderr,
51.                             "server does not support internal redirection: "
52.                             ""%s" ", buf + 10);
53.                     send_r_bad_request(req);
54.         
55.                     /*
56.                      * We (I, Jon) have declined to support absolute-path parsing
57.                      * because I see it as a major security hole.
58.                      * Location: /etc/passwd or Location: /etc/shadow is not funny.
59.                      *
60.                      * Also, the below code is borked.
61.                      * request_uri could contain /cgi-bin/bob/extra_path
62.                      */
63.         
64.                     /*
65.                        strcpy(req->request_uri, buf + 10);
66.                        return internal_redirect(req);
67.                      */
68.                 } else {                /* URL */
69.                     char *c2;
70.                     c2 = strchr(buf + 10, ' ');
71.                     /* c2 cannot ever equal NULL here because we already have found one */
72.         
73.                     --c2;
74.                     while (*c2 == ' ')
75.                         --c2;
76.                     ++c2;
77.                     /* c2 now points to a ' ' or the ' ' */
78.                     *c2++ = '';       /* end header */
79.         
80.                     /* first next header, or is at req->header_end */
81.                     while ((*c2 == ' ' || *c2 == ' ') && c2 < req->header_end)
82.                         ++c2;
83.                     if (c2 == req->header_end)
84.                         send_r_moved_temp(req, buf + 10, "");
85.                     else
86.                         send_r_moved_temp(req, buf + 10, c2);
87.                 }
88.                 req->status = DONE;
89.                 return 1;
90.             }  else if (!strncasecmp(buf, "Status: ", 8)) {
91.                     /* not the first one
92.                      * exchange this line to the first line
93.                      */
94.                     if (buf != req->header_line)
95.                         {                    
96.                                 if (NULL == (ptmp=(char *)malloc(len)))
97.                         {
98.                                 log_error_time();
99.                                 perror("malloc");
100.                             send_r_error(req);
101.                             return 0;
102.                         }
103.                 
104.                         /* move Status: to line header */
105.                         memcpy(ptmp, buf, len);
106.                         memmove(req->header_line+len, req->header_line, buf-req->header_line);       
107.                         memcpy(req->header_line, ptmp, len);
108.                         free(ptmp);
109.                     }
110.                     
111.                 req->header_line--;
112.                 memcpy(req->header_line, "HTTP/1.0 ", 9);
113.                 return 1;
114.             }
115.             
116.             /* pointer to next line */
117.             buf = pnext + 1;
118.             
119.             /* reach the end of HTTP header */
120.             if ('' == buf[0] || ' ' == buf[0] || ' ' == buf[0])
121.                     break;
122.         } 
123.         
124.     if (1) {        /* always done */
125. #else
126.     if (!strncasecmp(buf, "Status: ", 8)) {
127.         req->header_line--;
128.         memcpy(req->header_line, "HTTP/1.0 ", 9);
129.     } else if (!strncasecmp(buf, "Location: ", 10)) { /* got a location header */
130. #ifdef FASCIST_LOGGING
132.         log_error_time();
133.         fprintf(stderr, "%s:%d - found Location header "%s" ",
134.                 __FILE__, __LINE__, buf + 10);
135. #endif
138.         if (buf[10] == '/') {   /* virtual path */
139.             log_error_time();
140.             fprintf(stderr,
141.                     "server does not support internal redirection: "
142.                     ""%s" ", buf + 10);
143.             send_r_bad_request(req);
145.             /*
146.              * We (I, Jon) have declined to support absolute-path parsing
147.              * because I see it as a major security hole.
148.              * Location: /etc/passwd or Location: /etc/shadow is not funny.
149.              *
150.              * Also, the below code is borked.
151.              * request_uri could contain /cgi-bin/bob/extra_path
152.              */
154.             /*
155.                strcpy(req->request_uri, buf + 10);
156.                return internal_redirect(req);
157.              */
158.         } else {                /* URL */
159.             char *c2;
160.             c2 = strchr(buf + 10, ' ');
161.             /* c2 cannot ever equal NULL here because we already have found one */
163.             --c2;
164.             while (*c2 == ' ')
165.                 --c2;
166.             ++c2;
167.             /* c2 now points to a ' ' or the ' ' */
168.             *c2++ = '';       /* end header */
170.             /* first next header, or is at req->header_end */
171.             while ((*c2 == ' ' || *c2 == ' ') && c2 < req->header_end)
172.                 ++c2;
173.             if (c2 == req->header_end)
174.                 send_r_moved_temp(req, buf + 10, "");
175.             else
176.                 send_r_moved_temp(req, buf + 10, c2);
177.         }
178.         req->status = DONE;
179.         return 1;
180.     } else {                    /* not location and not status */
181. #endif 

转载连接：http://bbs.chinaunix.net/forum.php?mod=viewthread&tid=824840