LCOV - code coverage report
Current view: top level - extmod - moduwebsocket.c (source / functions) Hit Total Coverage
Test: unix_coverage_v1.19.1-724-gfb7d21153.info Lines: 117 130 90.0 %
Date: 2022-12-01 09:37:31 Functions: 4 4 100.0 %
Branches: 47 64 73.4 %

           Branch data     Line data    Source code
       1                 :            : /*
       2                 :            :  * This file is part of the MicroPython project, http://micropython.org/
       3                 :            :  *
       4                 :            :  * The MIT License (MIT)
       5                 :            :  *
       6                 :            :  * Copyright (c) 2016 Paul Sokolovsky
       7                 :            :  *
       8                 :            :  * Permission is hereby granted, free of charge, to any person obtaining a copy
       9                 :            :  * of this software and associated documentation files (the "Software"), to deal
      10                 :            :  * in the Software without restriction, including without limitation the rights
      11                 :            :  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
      12                 :            :  * copies of the Software, and to permit persons to whom the Software is
      13                 :            :  * furnished to do so, subject to the following conditions:
      14                 :            :  *
      15                 :            :  * The above copyright notice and this permission notice shall be included in
      16                 :            :  * all copies or substantial portions of the Software.
      17                 :            :  *
      18                 :            :  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
      19                 :            :  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
      20                 :            :  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
      21                 :            :  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
      22                 :            :  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
      23                 :            :  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
      24                 :            :  * THE SOFTWARE.
      25                 :            :  */
      26                 :            : 
      27                 :            : #include <stdio.h>
      28                 :            : #include <stdint.h>
      29                 :            : #include <string.h>
      30                 :            : 
      31                 :            : #include "py/runtime.h"
      32                 :            : #include "py/stream.h"
      33                 :            : #include "extmod/moduwebsocket.h"
      34                 :            : 
      35                 :            : #if MICROPY_PY_UWEBSOCKET
      36                 :            : 
      37                 :            : enum { FRAME_HEADER, FRAME_OPT, PAYLOAD, CONTROL };
      38                 :            : 
      39                 :            : enum { BLOCKING_WRITE = 0x80 };
      40                 :            : 
      41                 :            : typedef struct _mp_obj_websocket_t {
      42                 :            :     mp_obj_base_t base;
      43                 :            :     mp_obj_t sock;
      44                 :            :     uint32_t msg_sz;
      45                 :            :     byte mask[4];
      46                 :            :     byte state;
      47                 :            :     byte to_recv;
      48                 :            :     byte mask_pos;
      49                 :            :     byte buf_pos;
      50                 :            :     byte buf[6];
      51                 :            :     byte opts;
      52                 :            :     // Copy of last data frame flags
      53                 :            :     byte ws_flags;
      54                 :            :     // Copy of current frame flags
      55                 :            :     byte last_flags;
      56                 :            : } mp_obj_websocket_t;
      57                 :            : 
      58                 :            : STATIC mp_uint_t websocket_write(mp_obj_t self_in, const void *buf, mp_uint_t size, int *errcode);
      59                 :            : 
      60                 :         22 : STATIC mp_obj_t websocket_make_new(const mp_obj_type_t *type, size_t n_args, size_t n_kw, const mp_obj_t *args) {
      61                 :         22 :     mp_arg_check_num(n_args, n_kw, 1, 2, false);
      62                 :         22 :     mp_get_stream_raise(args[0], MP_STREAM_OP_READ | MP_STREAM_OP_WRITE | MP_STREAM_OP_IOCTL);
      63                 :         22 :     mp_obj_websocket_t *o = mp_obj_malloc(mp_obj_websocket_t, type);
      64                 :         22 :     o->sock = args[0];
      65                 :         22 :     o->state = FRAME_HEADER;
      66                 :         22 :     o->to_recv = 2;
      67                 :         22 :     o->mask_pos = 0;
      68                 :         22 :     o->buf_pos = 0;
      69                 :         22 :     o->opts = FRAME_TXT;
      70   [ -  +  -  - ]:         22 :     if (n_args > 1 && args[1] == mp_const_true) {
      71                 :          0 :         o->opts |= BLOCKING_WRITE;
      72                 :            :     }
      73                 :         22 :     return MP_OBJ_FROM_PTR(o);
      74                 :            : }
      75                 :            : 
      76                 :         14 : STATIC mp_uint_t websocket_read(mp_obj_t self_in, void *buf, mp_uint_t size, int *errcode) {
      77                 :         14 :     mp_obj_websocket_t *self = MP_OBJ_TO_PTR(self_in);
      78                 :         14 :     const mp_stream_p_t *stream_p = mp_get_stream(self->sock);
      79                 :         40 :     while (1) {
      80         [ +  + ]:         40 :         if (self->to_recv != 0) {
      81                 :         22 :             mp_uint_t out_sz = stream_p->read(self->sock, self->buf + self->buf_pos, self->to_recv, errcode);
      82         [ +  - ]:         22 :             if (out_sz == 0 || out_sz == MP_STREAM_ERROR) {
      83                 :            :                 return out_sz;
      84                 :            :             }
      85                 :         22 :             self->buf_pos += out_sz;
      86                 :         22 :             self->to_recv -= out_sz;
      87         [ -  + ]:         22 :             if (self->to_recv != 0) {
      88                 :          0 :                 *errcode = MP_EAGAIN;
      89                 :          0 :                 return MP_STREAM_ERROR;
      90                 :            :             }
      91                 :            :         }
      92                 :            : 
      93   [ -  +  +  + ]:         40 :         switch (self->state) {
      94                 :         36 :             case FRAME_HEADER: {
      95                 :            :                 // TODO: Split frame handling below is untested so far, so conservatively disable it
      96         [ -  + ]:         18 :                 assert(self->buf[0] & 0x80);
      97                 :            : 
      98                 :            :                 // "Control frames MAY be injected in the middle of a fragmented message."
      99                 :            :                 // So, they must be processed before data frames (and not alter
     100                 :            :                 // self->ws_flags)
     101                 :         18 :                 byte frame_type = self->buf[0];
     102                 :         18 :                 self->last_flags = frame_type;
     103                 :         18 :                 frame_type &= FRAME_OPCODE_MASK;
     104                 :            : 
     105         [ +  + ]:         18 :                 if ((self->buf[0] & FRAME_OPCODE_MASK) == FRAME_CONT) {
     106                 :            :                     // Preserve previous frame type
     107                 :          2 :                     self->ws_flags = (self->ws_flags & FRAME_OPCODE_MASK) | (self->buf[0] & ~FRAME_OPCODE_MASK);
     108                 :            :                 } else {
     109                 :         16 :                     self->ws_flags = self->buf[0];
     110                 :            :                 }
     111                 :            : 
     112                 :            :                 // Reset mask in case someone will use "simplified" protocol
     113                 :            :                 // without masks.
     114                 :         18 :                 memset(self->mask, 0, sizeof(self->mask));
     115                 :            : 
     116                 :         18 :                 int to_recv = 0;
     117                 :         18 :                 size_t sz = self->buf[1] & 0x7f;
     118         [ +  + ]:         18 :                 if (sz == 126) {
     119                 :            :                     // Msg size is next 2 bytes
     120                 :            :                     to_recv += 2;
     121         [ -  + ]:         16 :                 } else if (sz == 127) {
     122                 :            :                     // Msg size is next 8 bytes
     123                 :          0 :                     assert(0);
     124                 :            :                 }
     125         [ +  + ]:         18 :                 if (self->buf[1] & 0x80) {
     126                 :            :                     // Next 4 bytes is mask
     127                 :          2 :                     to_recv += 4;
     128                 :            :                 }
     129                 :            : 
     130                 :         18 :                 self->buf_pos = 0;
     131                 :         18 :                 self->to_recv = to_recv;
     132                 :         18 :                 self->msg_sz = sz; // May be overridden by FRAME_OPT
     133         [ +  + ]:         18 :                 if (to_recv != 0) {
     134                 :          4 :                     self->state = FRAME_OPT;
     135                 :            :                 } else {
     136         [ +  + ]:         14 :                     if (frame_type >= FRAME_CLOSE) {
     137                 :          6 :                         self->state = CONTROL;
     138                 :            :                     } else {
     139                 :          8 :                         self->state = PAYLOAD;
     140                 :            :                     }
     141                 :            :                 }
     142                 :         18 :                 continue;
     143                 :            :             }
     144                 :            : 
     145                 :          4 :             case FRAME_OPT: {
     146         [ +  + ]:          4 :                 if ((self->buf_pos & 3) == 2) {
     147                 :            :                     // First two bytes are message length
     148                 :          2 :                     self->msg_sz = (self->buf[0] << 8) | self->buf[1];
     149                 :            :                 }
     150         [ +  + ]:          4 :                 if (self->buf_pos >= 4) {
     151                 :            :                     // Last 4 bytes is mask
     152                 :          2 :                     memcpy(self->mask, self->buf + self->buf_pos - 4, 4);
     153                 :            :                 }
     154                 :          4 :                 self->buf_pos = 0;
     155         [ -  + ]:          4 :                 if ((self->last_flags & FRAME_OPCODE_MASK) >= FRAME_CLOSE) {
     156                 :          0 :                     self->state = CONTROL;
     157                 :            :                 } else {
     158                 :          4 :                     self->state = PAYLOAD;
     159                 :            :                 }
     160                 :          4 :                 continue;
     161                 :            :             }
     162                 :            : 
     163                 :         18 :             case PAYLOAD:
     164                 :          0 :             case CONTROL: {
     165                 :         18 :                 mp_uint_t out_sz = 0;
     166         [ +  + ]:         18 :                 if (self->msg_sz == 0) {
     167                 :            :                     // In case message had zero payload
     168                 :          6 :                     goto no_payload;
     169                 :            :                 }
     170                 :            : 
     171                 :         12 :                 size_t sz = MIN(size, self->msg_sz);
     172                 :         12 :                 out_sz = stream_p->read(self->sock, buf, sz, errcode);
     173         [ +  - ]:         12 :                 if (out_sz == 0 || out_sz == MP_STREAM_ERROR) {
     174                 :            :                     return out_sz;
     175                 :            :                 }
     176                 :            : 
     177                 :            :                 sz = out_sz;
     178         [ +  + ]:        308 :                 for (byte *p = buf; sz--; p++) {
     179                 :        296 :                     *p ^= self->mask[self->mask_pos++ & 3];
     180                 :            :                 }
     181                 :            : 
     182                 :         12 :                 self->msg_sz -= out_sz;
     183         [ +  - ]:         12 :                 if (self->msg_sz == 0) {
     184                 :         18 :                     byte last_state;
     185                 :         12 :                 no_payload:
     186                 :         18 :                     last_state = self->state;
     187                 :         18 :                     self->state = FRAME_HEADER;
     188                 :         18 :                     self->to_recv = 2;
     189                 :         18 :                     self->mask_pos = 0;
     190                 :         18 :                     self->buf_pos = 0;
     191                 :            : 
     192                 :            :                     // Handle control frame
     193         [ +  + ]:         18 :                     if (last_state == CONTROL) {
     194                 :          6 :                         byte frame_type = self->last_flags & FRAME_OPCODE_MASK;
     195         [ +  + ]:          6 :                         if (frame_type == FRAME_CLOSE) {
     196                 :          2 :                             static const char close_resp[2] = {0x88, 0};
     197                 :          2 :                             int err;
     198                 :          2 :                             websocket_write(self_in, close_resp, sizeof(close_resp), &err);
     199                 :          2 :                             return 0;
     200                 :            :                         }
     201                 :            : 
     202                 :            :                         // DEBUG_printf("Finished receiving ctrl message %x, ignoring\n", self->last_flags);
     203                 :          4 :                         continue;
     204                 :            :                     }
     205                 :            :                 }
     206                 :            : 
     207         [ -  + ]:         12 :                 if (out_sz != 0) {
     208                 :            :                     return out_sz;
     209                 :            :                 }
     210                 :            :                 // Empty (data) frame received is not EOF
     211                 :          0 :                 continue;
     212                 :            :             }
     213                 :            : 
     214                 :            :         }
     215                 :            :     }
     216                 :            : }
     217                 :            : 
     218                 :          6 : STATIC mp_uint_t websocket_write(mp_obj_t self_in, const void *buf, mp_uint_t size, int *errcode) {
     219                 :          6 :     mp_obj_websocket_t *self = MP_OBJ_TO_PTR(self_in);
     220         [ -  + ]:          6 :     assert(size < 0x10000);
     221                 :          6 :     byte header[4] = {0x80 | (self->opts & FRAME_OPCODE_MASK)};
     222                 :          6 :     int hdr_sz;
     223         [ +  + ]:          6 :     if (size < 126) {
     224                 :          4 :         header[1] = size;
     225                 :          4 :         hdr_sz = 2;
     226                 :            :     } else {
     227                 :          2 :         header[1] = 126;
     228                 :          2 :         header[2] = size >> 8;
     229                 :          2 :         header[3] = size & 0xff;
     230                 :          2 :         hdr_sz = 4;
     231                 :            :     }
     232                 :            : 
     233                 :          6 :     mp_obj_t dest[3];
     234         [ -  + ]:          6 :     if (self->opts & BLOCKING_WRITE) {
     235                 :          0 :         mp_load_method(self->sock, MP_QSTR_setblocking, dest);
     236                 :          0 :         dest[2] = mp_const_true;
     237                 :          0 :         mp_call_method_n_kw(1, 0, dest);
     238                 :            :     }
     239                 :            : 
     240                 :          6 :     mp_uint_t out_sz = mp_stream_write_exactly(self->sock, header, hdr_sz, errcode);
     241         [ +  - ]:          6 :     if (*errcode == 0) {
     242                 :          6 :         out_sz = mp_stream_write_exactly(self->sock, buf, size, errcode);
     243                 :            :     }
     244                 :            : 
     245         [ -  + ]:          6 :     if (self->opts & BLOCKING_WRITE) {
     246                 :          0 :         dest[2] = mp_const_false;
     247                 :          0 :         mp_call_method_n_kw(1, 0, dest);
     248                 :            :     }
     249                 :            : 
     250         [ -  + ]:          6 :     if (*errcode != 0) {
     251                 :          0 :         return MP_STREAM_ERROR;
     252                 :            :     }
     253                 :            :     return out_sz;
     254                 :            : }
     255                 :            : 
     256                 :         10 : STATIC mp_uint_t websocket_ioctl(mp_obj_t self_in, mp_uint_t request, uintptr_t arg, int *errcode) {
     257                 :         10 :     mp_obj_websocket_t *self = MP_OBJ_TO_PTR(self_in);
     258   [ +  +  +  + ]:         10 :     switch (request) {
     259                 :          2 :         case MP_STREAM_CLOSE:
     260                 :            :             // TODO: Send close signaling to the other side, otherwise it's
     261                 :            :             // abrupt close (connection abort).
     262                 :          2 :             mp_stream_close(self->sock);
     263                 :          2 :             return 0;
     264                 :          2 :         case MP_STREAM_GET_DATA_OPTS:
     265                 :          2 :             return self->ws_flags & FRAME_OPCODE_MASK;
     266                 :          4 :         case MP_STREAM_SET_DATA_OPTS: {
     267                 :          4 :             int cur = self->opts & FRAME_OPCODE_MASK;
     268                 :          4 :             self->opts = (self->opts & ~FRAME_OPCODE_MASK) | (arg & FRAME_OPCODE_MASK);
     269                 :          4 :             return cur;
     270                 :            :         }
     271                 :          2 :         default:
     272                 :          2 :             *errcode = MP_EINVAL;
     273                 :          2 :             return MP_STREAM_ERROR;
     274                 :            :     }
     275                 :            : }
     276                 :            : 
     277                 :            : STATIC const mp_rom_map_elem_t websocket_locals_dict_table[] = {
     278                 :            :     { MP_ROM_QSTR(MP_QSTR_read), MP_ROM_PTR(&mp_stream_read_obj) },
     279                 :            :     { MP_ROM_QSTR(MP_QSTR_readinto), MP_ROM_PTR(&mp_stream_readinto_obj) },
     280                 :            :     { MP_ROM_QSTR(MP_QSTR_readline), MP_ROM_PTR(&mp_stream_unbuffered_readline_obj) },
     281                 :            :     { MP_ROM_QSTR(MP_QSTR_write), MP_ROM_PTR(&mp_stream_write_obj) },
     282                 :            :     { MP_ROM_QSTR(MP_QSTR_ioctl), MP_ROM_PTR(&mp_stream_ioctl_obj) },
     283                 :            :     { MP_ROM_QSTR(MP_QSTR_close), MP_ROM_PTR(&mp_stream_close_obj) },
     284                 :            : };
     285                 :            : STATIC MP_DEFINE_CONST_DICT(websocket_locals_dict, websocket_locals_dict_table);
     286                 :            : 
     287                 :            : STATIC const mp_stream_p_t websocket_stream_p = {
     288                 :            :     .read = websocket_read,
     289                 :            :     .write = websocket_write,
     290                 :            :     .ioctl = websocket_ioctl,
     291                 :            : };
     292                 :            : 
     293                 :            : STATIC MP_DEFINE_CONST_OBJ_TYPE(
     294                 :            :     websocket_type,
     295                 :            :     MP_QSTR_websocket,
     296                 :            :     MP_TYPE_FLAG_NONE,
     297                 :            :     make_new, websocket_make_new,
     298                 :            :     protocol, &websocket_stream_p,
     299                 :            :     locals_dict, &websocket_locals_dict
     300                 :            :     );
     301                 :            : 
     302                 :            : STATIC const mp_rom_map_elem_t uwebsocket_module_globals_table[] = {
     303                 :            :     { MP_ROM_QSTR(MP_QSTR___name__), MP_ROM_QSTR(MP_QSTR_uwebsocket) },
     304                 :            :     { MP_ROM_QSTR(MP_QSTR_websocket), MP_ROM_PTR(&websocket_type) },
     305                 :            : };
     306                 :            : 
     307                 :            : STATIC MP_DEFINE_CONST_DICT(uwebsocket_module_globals, uwebsocket_module_globals_table);
     308                 :            : 
     309                 :            : const mp_obj_module_t mp_module_uwebsocket = {
     310                 :            :     .base = { &mp_type_module },
     311                 :            :     .globals = (mp_obj_dict_t *)&uwebsocket_module_globals,
     312                 :            : };
     313                 :            : 
     314                 :            : MP_REGISTER_MODULE(MP_QSTR_uwebsocket, mp_module_uwebsocket);
     315                 :            : 
     316                 :            : #endif // MICROPY_PY_UWEBSOCKET

Generated by: LCOV version 1.15-5-g462f71d