Testing for HTTP Verb Tampering (OTG-INPVAL-003)

Summary
The HTTP specification includes request methods other than the standard GET and POST requests. A standards compliant web server may respond to these alternative methods in ways not anticipated by developers. Although the common description is 'verb' tampering, the HTTP 1.1 standard refers to these request types as different HTTP 'methods.'

The full HTTP 1.1 specification defines the following valid HTTP request methods, or verbs: OPTIONS GET HEAD POST PUT DELETE TRACE CONNECT

If enabled, the Web Distributed Authoring and Version (WebDAV) extensions  permit several more HTTP methods: PROPFIND PROPPATCH MKCOL COPY MOVE LOCK UNLOCK

However, most web applications only need to respond to GET and POST requests, providing user data in the URL query string or appended to the request respectively. The standard  style links trigger a GET request; form data submitted via   trigger POST requests. Forms defined without a method also send data via GET by default.

Oddly, the other valid HTTP methods are not supported by the HTML standard. Any HTTP method other than GET or POST needs to be called outside the HTML document. However, JavaScript and AJAX calls may send methods other than GET and POST.

As long as the web application being tested does not specifically call for any non-standard HTTP methods, testing for HTTP verb tampering is quite simple. If the server accepts a request other than GET or POST, the test fails. The solutions is to disable all non GET or POST functionality within the web application server, or in a web application firewall.

If methods such as HEAD or OPTIONS are required for your application, this increases the burden of testing substantially. Each action within the system will need to be verified that these alternate methods do not trigger actions without proper authentication or reveal information about the contents or workings web application. If possible, limit alternate HTTP method usage to a single page that contains no user actions, such the default landing page (example: index.html).

How to Test
As the HTML standard does not support request methods other than GET or POST, we will need to craft custom HTTP requests to test the other methods. We highly recommend using a tool to do this, although we will demonstrate how to do manually as well.

Manual HTTP verb tampering testing
This example is written using the netcat package from openbsd (standard with most Linux distributions). You may also use telnet (included with Windows) in a similar fashion.

1. Crafting custom HTTP requests Each HTTP 1.1 request follows the following basic formatting and syntax. Elements surrounded by brackets  are contextual to your application. The empty newline at the end is required.

[METHOD] /[index.htm] HTTP/1.1 host: [www.example.com]

In order to craft separate requests, you can manually type each request into netcat or telnet and examine the response. However, to speed up testing, you may also store each request in a separate file. This second approach is what we'll demonstrate in these examples. Use your favorite editor to create a text file for each method. Modify for your application's landing page and domain.

1.1 OPTIONS OPTIONS /index.html HTTP/1.1 host: www.example.com

1.2 GET GET /index.html HTTP/1.1 host: www.example.com

1.3 HEAD HEAD /index.html HTTP/1.1 host: www.example.com

1.4 POST POST /index.html HTTP/1.1 host: www.example.com

1.5 PUT PUT /index.html HTTP/1.1 host: www.example.com

1.6 DELETE DELETE /index.html HTTP/1.1 host: www.example.com

1.7 TRACE TRACE /index.html HTTP/1.1 host: www.example.com

1.8 CONNECT CONNECT /index.html HTTP/1.1 host: www.example.com

2. Sending HTTP requests For each method and/or method text file, send the request to your web server via netcat or telnet on port 80 (HTTP): nc www.example.com 80 < OPTIONS.http.txt

3. Parsing HTTP responses Although each HTTP method can potentially return different results, there is only a single valid result for all methods other than GET and POST. The web server should either ignore the request completely or return an error. Any other response indicates a test failure as the server is responding to methods/verbs that are unnecessary. These methods should be disabled.

An example of a failed test (ie, the server supports OPTIONS despite no need for it):

Automated HTTP verb tampering testing
If you are able to analyze your application via simple HTTP status codes (200 OK, 501 Error, etc) - then the following bash script will test all available HTTP methods.
 * 1) !/bin/bash

for webservmethod in GET POST PUT TRACE CONNECT OPTIONS PROPFIND;

do printf "$webservmethod " ; printf "$webservmethod / HTTP/1.1\nHost: $1\n\n" | nc -q 1 $1 80 | grep "HTTP/1.1"

done

Code copied verbatim from the Penetration Testing Lab blog