Function RecordMemcmp

python/symsan-py.cpp:483–509

}

static PyObject* RecordMemcmp(PyObject *self, PyObject *args) {
  if (__z3_parser == nullptr) {
    PyErr_SetString(PyExc_RuntimeError, "parser not initialized");
    return NULL;
  }

  dfsan_label label = 0;
  PyObject *buf = NULL;

  if (!PyArg_ParseTuple(args, "IS", &label, &buf)) {
    return NULL;
  }

  Py_ssize_t size;
  char *data;
  if (PyBytes_AsStringAndSize(buf, &data, &size) != 0) {
    // exception should have been set?
    return NULL;
  }

  if (__z3_parser->record_memcmp(label, (uint8_t*)data, size) != 0) {
    PyErr_SetString(PyExc_RuntimeError, "failed to record memcmp");
    return NULL;
  }

  Py_RETURN_NONE;
}

static PyObject* RecordMinimize(PyObject *self, PyObject *args) {
  if (__z3_parser == nullptr) {