procutil: make stream detection in make_line_buffered more correct and strict In make_line_buffered(), we don’t want to wrap the stream if we know that lines get flushed to the underlying raw stream already. Previously, the heuristic was too optimistic. It assumed that any stream which is not an instance of io.BufferedIOBase doesn’t need wrapping. However, there are buffered streams that aren’t instances of io.BufferedIOBase, like Mercurial’s own winstdout. The new logic is different in two ways: First, only for the check, if unwraps any combination of WriteAllWrapper and winstdout. Second, it skips wrapping the stream only if it is an instance of io.RawIOBase (or already wrapped). If it is an instance of io.BufferedIOBase, it gets wrapped. In any other case, the function raises an exception. This ensures that, if an unknown stream is passed or we add another wrapper in the future, we don’t wrap the stream if it’s already line buffered or not wrap the stream if it’s not line buffered. In fact, this was already helpful during development of this change. Without it, I possibly would have forgot that WriteAllWrapper needs to be ignored for the check, leading to unnecessary wrapping if stdout is unbuffered. The alternative would have been to always wrap unknown streams. However, I don’t think that anyone would benefit from being less strict. We can expect streams from the standard library to be subclassing either io.RawIOBase or io.BufferedIOBase, so running Mercurial in the standard way should not regress by this change. Py2exe might replace sys.stdout and sys.stderr, but that currently breaks Mercurial anyway and also these streams don’t claim to be interactive, so this function is not called for them.

     1

#include <Python.h>

     2

#include <assert.h>

     3

#include <stdlib.h>

     4

#include <unistd.h>

     5

     6

#include <string>

     7

     8

#include "pyutil.h"

     9

    10

extern "C" {

    11

    12

static PYCODETYPE *code;

    13

    14

extern "C" int LLVMFuzzerInitialize(int *argc, char ***argv)

    15

{

    16

	contrib::initpy(*argv[0]);

    17

	code = (PYCODETYPE *)Py_CompileString(R"py(

    18

def maybeint(s, default):

    19

    try:

    20

        return int(s)

    21

    except ValueError:

    22

        return default

    23

try:

    24

    parts = data.split('\0', 2)

    25

    if len(parts) == 3:

    26

        offset, stop, data = parts

    27

    elif len(parts) == 2:

    28

        stop, data = parts

    29

        offset = 0

    30

    else:

    31

        offset = stop = 0

    32

    offset, stop = maybeint(offset, 0), maybeint(stop, len(data))

    33

    parsers.fm1readmarkers(data, offset, stop)

    34

except Exception as e:

    35

    pass

    36

    # uncomment this print if you're editing this Python code

    37

    # to debug failures.

    38

    # print e

    39

)py",

    40

	                                      "fuzzer", Py_file_input);

    41

	return 0;

    42

}

    43

    44

int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size)

    45

{

    46

	PyObject *text =

    47

	    PyBytes_FromStringAndSize((const char *)Data, (Py_ssize_t)Size);

    48

	PyObject *locals = PyDict_New();

    49

	PyDict_SetItemString(locals, "data", text);

    50

	PyObject *res = PyEval_EvalCode(code, contrib::pyglobals(), locals);

    51

	if (!res) {

    52

		PyErr_Print();

    53

	}

    54

	Py_XDECREF(res);

    55

	Py_DECREF(locals);

    56

	Py_DECREF(text);

    57

	return 0; // Non-zero return values are reserved for future use.

    58

}

    59

}