Function ParseCond

python/symsan-py.cpp:394–422

}

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

  PyObject *ret;
  dfsan_label label = 0;
  uint64_t result = 0;
  uint16_t flags = 0;

  if (!PyArg_ParseTuple(args, "IKH", &label, &result, &flags)) {
    return NULL;
  }

  std::vector<uint64_t> tasks;
  if (__z3_parser->parse_cond(label, result, flags & F_ADD_CONS, tasks) != 0) {
    PyErr_SetString(PyExc_RuntimeError, "failed to parse condition");
    return NULL;
  }

  ret = PyList_New(tasks.size());
  for (size_t i = 0; i < tasks.size(); i++) {
    PyObject *task = PyLong_FromUnsignedLongLong(tasks[i]);
    PyList_SetItem(ret, i, task);
  }

  return ret;
}

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