Function ResetParser

python/symsan-py.cpp:311–351

Reset parser with new input data

// Reset parser with new input data
static PyObject* ResetParser(PyObject *self, PyObject *args) {
  if (__z3_parser == nullptr) {
    PyErr_SetString(PyExc_RuntimeError, "parser not initialized");
    return NULL;
  }

  std::vector<symsan::input_t> inputs;
  PyObject *iargs = NULL;

  if (!PyArg_ParseTuple(args, "O!", &PyList_Type, &iargs)) {
    return NULL;
  }

  Py_ssize_t argc = PyList_Size(iargs);
  for (Py_ssize_t i = 0; i < argc; i++) {
    PyObject *item = PyList_GetItem(iargs, i);
    if (item == NULL) {
      PyErr_SetString(PyExc_RuntimeError, "failed to retrieve args list");
      return NULL;
    }
    if (!PyBytes_Check(item)) {
      PyErr_SetString(PyExc_TypeError, "args must be a list of bytes");
      return NULL;
    }
    Py_ssize_t size;
    char *data;
    if (PyBytes_AsStringAndSize(item, &data, &size) != 0) {
      // exception should have been set?
      return NULL;
    }
    inputs.push_back({(uint8_t*)data, size});
  }

  // Always copy input data in Python to avoid dangling pointers
  if (__z3_parser->restart(inputs, true) != 0) {
    PyErr_SetString(PyExc_RuntimeError, "failed to restart parser");
    return NULL;
  }

  Py_RETURN_NONE;
}

// Update input cache without clearing deps (for late-arriving GV data)
static PyObject* UpdateInput(PyObject *self, PyObject *args) {