← index #17819Issue #17818
Related · high · value 2.222
QUERY · ISSUE

assertion error on bad call to socket.socket()

openby jepleropened 2025-08-02updated 2025-08-02
bug

Port, board and/or hardware

unix port, coverage variant, x86_64 linux

MicroPython version

MicroPython v1.26.0-preview.521.g658a2e3dbd on 2025-08-02; linux [GCC 12.2.0] version

Reproduction

Run in the repl:

>>> import socket
>>> socket.socket(True)
micropython: modsocket.c:481: socket_make_new: Assertion `mp_obj_is_small_int(args[0])' failed.

Expected behaviour

An assertion error occurs

Observed behaviour

A Python exception should have occurred

Additional Information

Manually minimized crash from fuzzer

Code of Conduct

Yes, I agree

CANDIDATE · ISSUE

websocket crash on corrupt data

openby jepleropened 2025-08-02updated 2025-08-02
bug

Port, board and/or hardware

unix port, coverage variant, linux x86_64

MicroPython version

MicroPython v1.26.0-preview.521.g658a2e3dbd on 2025-08-02; linux [GCC 12.2.0] version

Reproduction

Run the following code:

import io
import websocket

# put raw data in the stream and do a websocket read
def ws_read(msg, sz):
    ws = websocket.websocket(io.BytesIO(msg))
    return ws.read(sz)

# a corrupt frame
print(ws_read(b"aa", 2))

Expected behaviour

An exception is raised because the data is not valid websocket data

Observed behaviour

micropython terminates with an assertion error:

micropython: ../../extmod/modwebsocket.c:97: websocket_read: Assertion `self->buf[0] & 0x80' failed.

Additional Information

Found with fuzzer, minimized by me

Code of Conduct

Yes, I agree

Keyboard

j / / n
next pair
k / / p
previous pair
1 / / h
show query pane
2 / / l
show candidate pane
c
copy suggested comment
r
toggle reasoning
g i
go to index
?
show this help
esc
close overlays

press ? or esc to close

copied