modules/dav/main/mod_dav.c:2527: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `dav_validate_request`.

modules/dav/main/mod_dav.c:2496:19: Call
2494.     /* handle the request body */
2495.     /* ### this may move lower once we start processing bodies */
2496.     if ((result = process_mkcol_body(r)) != OK) {
                        ^
2497.         return result;
2498.     }

modules/dav/main/mod_dav.c:2434:24: Unknown value from: apr_table_get
  2432. 
  2433.     const char *tenc = apr_table_get(r->headers_in, "Transfer-Encoding");
  2434.     const char *lenp = apr_table_get(r->headers_in, "Content-Length");
                               ^
  2435. 
  2436.     /* make sure to set the Apache request fields properly. */

modules/dav/main/mod_dav.c:2514:22: Call
2512.     }
2513. 
2514.     resource_state = dav_get_resource_state(r, resource);
                           ^
2515. 
2516.     /*

modules/dav/main/util_lock.c:676:1: Parameter `resource->exists`
  674. **    Returns DAV_RESOURCE_ERROR if an error occurs.
  675. */
  676. DAV_DECLARE(int) dav_get_resource_state(request_rec *r,
       ^
  677.                                         const dav_resource *resource)
  678. {

modules/dav/main/mod_dav.c:2527:16: Call
2525.      * a locknull resource, then we check only the resource.
2526.      */
2527.     if ((err = dav_validate_request(r, resource, 0, NULL, &multi_status,
                     ^
2528.                                     resource_state == DAV_RESOURCE_NULL ?
2529.                                     DAV_VALIDATE_PARENT :

modules/dav/main/util.c:1455:1: Parameter `resource->uri->strlen`
  1453. ** error is necessary, response will point to it, else NULL.
  1454. */
  1455. DAV_DECLARE(dav_error *) dav_validate_request(request_rec *r,
        ^
  1456.                                               dav_resource *resource,
  1457.                                               int depth,

modules/dav/main/util.c:1586:15: Call
  1584.     }
  1585.     else {
  1586.         err = dav_validate_resource_state(r->pool, resource, lockdb,
                      ^
  1587.                                           if_header, flags, &work_buf, r);
  1588.     }

modules/dav/main/util.c:802:1: <LHS trace>
800.  *    Returns NULL if path/uri meets if-header and lock requirements
801.  */
802. static dav_error * dav_validate_resource_state(apr_pool_t *p,
     ^
803.                                                const dav_resource *resource,
804.                                                dav_lockdb *lockdb,

modules/dav/main/util.c:802:1: Parameter `resource->uri->strlen`
    800.  *    Returns NULL if path/uri meets if-header and lock requirements
    801.  */
    802. static dav_error * dav_validate_resource_state(apr_pool_t *p,
         ^
    803.                                                const dav_resource *resource,
    804.                                                dav_lockdb *lockdb,

modules/dav/main/util.c:988:5: Assignment
    986.     */
    987.     uri = resource->uri;
    988.     uri_len = strlen(uri);
             ^
    989.     if (uri[uri_len - 1] == '/') {
    990.         dav_set_bufsize(p, pbuf, uri_len);

modules/dav/main/util.c:989:9: Binary operation: ([0, +oo] - 1):unsigned64 by call to `dav_validate_request` 
    987.     uri = resource->uri;
    988.     uri_len = strlen(uri);
    989.     if (uri[uri_len - 1] == '/') {
                 ^
    990.         dav_set_bufsize(p, pbuf, uri_len);
    991.         memcpy(pbuf->buf, uri, uri_len);
