Function SymSanInit

python/symsan-py.cpp:40–68

static PyObject* SymSanInit(PyObject *self, PyObject *args, PyObject *keywds) {
  static const char *kwlist[] = {"program", "shm_size", "init_solver", NULL};
  const char *program;
  unsigned long long ut_size = uniontable_size;
  int init_solver = 1;  // default True

  if (!PyArg_ParseTupleAndKeywords(args, keywds, "s|Kp",
      const_cast<char**>(kwlist), &program, &ut_size, &init_solver)) {
    return NULL;
  }

  // setup launcher
  void *shm_base = symsan_init(program, ut_size);
  if (shm_base == (void *)-1) {
    fprintf(stderr, "Failed to map shm: %s\n", strerror(errno));
    return PyErr_SetFromErrno(PyExc_OSError);
  }

  // setup parser (optional)
  if (init_solver) {
    __z3_parser = new symsan::Z3ParserSolver(shm_base, ut_size, __z3_context);
    if (__z3_parser == nullptr) {
      fprintf(stderr, "Failed to initialize parser\n");
      return PyErr_NoMemory();
    }
  }

  return PyCapsule_New(shm_base, "dfsan_label_info", NULL);
}

static PyObject* SymSanConfig(PyObject *self, PyObject *args, PyObject *keywds) {
  static const char *kwlist[]