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

modules/dav/main/mod_dav.c:2742:18: Call
2740. 
2741.     /* get and parse the Depth header value. "0" and "infinity" are legal. */
2742.     if ((depth = dav_get_depth(r, DAV_INFINITY)) < 0) {
                       ^
2743.         /* dav_get_depth() supplies additional information for the
2744.          * default message. */

modules/dav/main/mod_dav.c:643:25: Unknown value from: apr_table_get
  641. DAV_DECLARE(int) dav_get_depth(request_rec *r, int def_depth)
  642. {
  643.     const char *depth = apr_table_get(r->headers_in, "Depth");
                               ^
  644. 
  645.     if (depth == NULL) {

modules/dav/main/mod_dav.c:2773:16: Call
2771.      * (rather than a multistatus) will be returned.
2772.      */
2773.     if ((err = dav_validate_request(r, resource, depth, NULL,
                     ^
2774.                                     &multi_response,
2775.                                     (is_move ? DAV_VALIDATE_PARENT

modules/dav/main/util.c:1489:1: Parameter `resource->exists`
  1487. ** error is necessary, response will point to it, else NULL.
  1488. */
  1489. DAV_DECLARE(dav_error *) dav_validate_request(request_rec *r,
        ^
  1490.                                               dav_resource *resource,
  1491.                                               int depth,

modules/dav/main/mod_dav.c:2800:16: Call
2798.      * (see dav_method_delete() for more information)
2799.      */
2800.     if ((err = dav_validate_request(lookup.rnew, resnew, DAV_INFINITY, NULL,
                     ^
2801.                                     &multi_response,
2802.                                     DAV_VALIDATE_PARENT

modules/dav/main/util.c:1489:1: Parameter `resource->uri->strlen`
  1487. ** error is necessary, response will point to it, else NULL.
  1488. */
  1489. DAV_DECLARE(dav_error *) dav_validate_request(request_rec *r,
        ^
  1490.                                               dav_resource *resource,
  1491.                                               int depth,

modules/dav/main/util.c:1620:15: Call
  1618.     }
  1619.     else {
  1620.         err = dav_validate_resource_state(r->pool, resource, lockdb,
                      ^
  1621.                                           if_header, flags, &work_buf, r);
  1622.     }

modules/dav/main/util.c:836:1: <LHS trace>
834.  *    Returns NULL if path/uri meets if-header and lock requirements
835.  */
836. static dav_error * dav_validate_resource_state(apr_pool_t *p,
     ^
837.                                                const dav_resource *resource,
838.                                                dav_lockdb *lockdb,

modules/dav/main/util.c:836:1: Parameter `resource->uri->strlen`
    834.  *    Returns NULL if path/uri meets if-header and lock requirements
    835.  */
    836. static dav_error * dav_validate_resource_state(apr_pool_t *p,
         ^
    837.                                                const dav_resource *resource,
    838.                                                dav_lockdb *lockdb,

modules/dav/main/util.c:1022:5: Assignment
    1020.     */
    1021.     uri = resource->uri;
    1022.     uri_len = strlen(uri);
              ^
    1023.     if (uri[uri_len - 1] == '/') {
    1024.         dav_set_bufsize(p, pbuf, uri_len);

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