Function SymSanDestroy

python/symsan-py.cpp:211–228

}

static PyObject* SymSanDestroy(PyObject *self) {
  if (__z3_parser != nullptr) {
    delete __z3_parser;
    __z3_parser = nullptr;
  }

  // Clean up attached shm (from init_parser with shm name)
  if (__attached_shm != nullptr) {
    munmap(__attached_shm, __attached_shm_size);
    __attached_shm = nullptr;
    __attached_shm_size = 0;
  } else {
    // Only call symsan_destroy if we used init (launcher mode)
    symsan_destroy();
  }

  Py_RETURN_NONE;
}

// Initialize parser from shared memory (by name or address)
// Usage: init_parser(shm_name, size) or init_parser(shm_capsule, size)