granicus.if.org Git - strace/blob - tests/readv.c

   1 /*
   2  * Check decoding of readv and writev syscalls.
   3  *
   4  * Copyright (c) 2016 Dmitry V. Levin <ldv@altlinux.org>
   5  * All rights reserved.
   6  *
   7  * Redistribution and use in source and binary forms, with or without
   8  * modification, are permitted provided that the following conditions
   9  * are met:
  10  * 1. Redistributions of source code must retain the above copyright
  11  *    notice, this list of conditions and the following disclaimer.
  12  * 2. Redistributions in binary form must reproduce the above copyright
  13  *    notice, this list of conditions and the following disclaimer in the
  14  *    documentation and/or other materials provided with the distribution.
  15  * 3. The name of the author may not be used to endorse or promote products
  16  *    derived from this software without specific prior written permission.
  17  *
  18  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
  19  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
  20  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
  21  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
  22  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
  23  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  24  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  25  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  26  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  27  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  28  */
  29
  30 #include "tests.h"
  31
  32 #include <assert.h>
  33 #include <stdio.h>
  34 #include <unistd.h>
  35 #include <sys/uio.h>
  36
  37 int
  38 main(void)
  39 {
  40         tprintf("%s", "");
  41
  42         int fds[2];
  43         if (pipe(fds))
  44                 perror_msg_and_fail("pipe");
  45         assert(0 == fds[0]);
  46         assert(1 == fds[1]);
  47
  48         static const char w0_c[] = "012";
  49         const char *w0_d = hexdump_strdup(w0_c);
  50         void *w0 = tail_memdup(w0_c, LENGTH_OF(w0_c));
  51
  52         const void *efault = w0 + LENGTH_OF(w0_c);
  53
  54         static const char w1_c[] = "34567";
  55         const char *w1_d = hexdump_strdup(w1_c);
  56         void *w1 = tail_memdup(w1_c, LENGTH_OF(w1_c));
  57
  58         static const char w2_c[] = "89abcde";
  59         const char *w2_d = hexdump_strdup(w2_c);
  60         void *w2 = tail_memdup(w2_c, LENGTH_OF(w2_c));
  61
  62         assert(writev(1, efault, 42) == -1);
  63         tprintf("writev(1, %p, 42) = -1 EFAULT (%m)\n", efault);
  64
  65         assert(readv(0, efault, 42) == -1);
  66         tprintf("readv(0, %p, 42) = -1 EFAULT (%m)\n", efault);
  67
  68         static const char r0_c[] = "01234567";
  69         const char *r0_d = hexdump_strdup(r0_c);
  70         static const char r1_c[] = "89abcde";
  71         const char *r1_d = hexdump_strdup(r1_c);
  72
  73         const struct iovec w_iov_[] = {
  74                 {
  75                         .iov_base = w0,
  76                         .iov_len = LENGTH_OF(w0_c)
  77                 }, {
  78                         .iov_base = w1,
  79                         .iov_len = LENGTH_OF(w1_c)
  80                 }, {
  81                         .iov_base = w2,
  82                         .iov_len = LENGTH_OF(w2_c)
  83                 }
  84         };
  85         const struct iovec *w_iov = tail_memdup(w_iov_, sizeof(w_iov_));
  86
  87         assert(writev(1, w_iov, 0) == 0);
  88         tprintf("writev(1, [], 0) = 0\n");
  89
  90         assert(writev(1, w_iov + ARRAY_SIZE(w_iov_) - 1, 2) == -1);
  91         tprintf("writev(1, [{\"%s\", %u}, %p], 2) = -1 EFAULT (%m)\n",
  92                 w2_c, LENGTH_OF(w2_c), w_iov + ARRAY_SIZE(w_iov_));
  93
  94         const unsigned int w_len =
  95                 LENGTH_OF(w0_c) + LENGTH_OF(w1_c) + LENGTH_OF(w2_c);
  96
  97         assert(writev(1, w_iov, ARRAY_SIZE(w_iov_)) == (int) w_len);
  98         close(1);
  99         tprintf("writev(1, [{\"%s\", %u}, {\"%s\", %u}"
 100                 ", {\"%s\", %u}], %u) = %u\n"
 101                 " * %u bytes in buffer 0\n"
 102                 " | 00000 %-49s  %-16s |\n"
 103                 " * %u bytes in buffer 1\n"
 104                 " | 00000 %-49s  %-16s |\n"
 105                 " * %u bytes in buffer 2\n"
 106                 " | 00000 %-49s  %-16s |\n",
 107                 w0_c, LENGTH_OF(w0_c), w1_c, LENGTH_OF(w1_c),
 108                 w2_c, LENGTH_OF(w2_c), ARRAY_SIZE(w_iov_), w_len,
 109                 LENGTH_OF(w0_c), w0_d, w0_c,
 110                 LENGTH_OF(w1_c), w1_d, w1_c, LENGTH_OF(w2_c), w2_d, w2_c);
 111
 112         const unsigned int r_len = (w_len + 1) / 2;
 113         void *r0 = tail_alloc(r_len);
 114         const struct iovec r0_iov_[] = {
 115                 {
 116                         .iov_base = r0,
 117                         .iov_len = r_len
 118                 }
 119         };
 120         const struct iovec *r_iov = tail_memdup(r0_iov_, sizeof(r0_iov_));
 121
 122         assert(readv(0, r_iov, ARRAY_SIZE(r0_iov_)) == (int) r_len);
 123         tprintf("readv(0, [{\"%s\", %u}], %u) = %u\n"
 124                 " * %u bytes in buffer 0\n"
 125                 " | 00000 %-49s  %-16s |\n",
 126                 r0_c, r_len, ARRAY_SIZE(r0_iov_), r_len, r_len, r0_d, r0_c);
 127
 128         void *r1 = tail_alloc(r_len);
 129         void *r2 = tail_alloc(w_len);
 130         const struct iovec r1_iov_[] = {
 131                 {
 132                         .iov_base = r1,
 133                         .iov_len = r_len
 134                 },
 135                 {
 136                         .iov_base = r2,
 137                         .iov_len = w_len
 138                 }
 139         };
 140         r_iov = tail_memdup(r1_iov_, sizeof(r1_iov_));
 141
 142         assert(readv(0, r_iov, ARRAY_SIZE(r1_iov_)) == (int) w_len - r_len);
 143         tprintf("readv(0, [{\"%s\", %u}, {\"\", %u}], %u) = %u\n"
 144                 " * %u bytes in buffer 0\n"
 145                 " | 00000 %-49s  %-16s |\n",
 146                 r1_c, r_len, w_len, ARRAY_SIZE(r1_iov_), w_len - r_len,
 147                 w_len - r_len, r1_d, r1_c);
 148         close(0);
 149
 150         tprintf("+++ exited with 0 +++\n");
 151         return 0;
 152 }