How to create a NonNullPointer parameter?

[karthikbhata97]

I am executing a function which takes pointer to a following struct. I want to pass a non-null pointer, hence I use ParameterVal::NonNullPointer. But it reports a NullPointerDereference if I tried to store to session member (test->session = 0).

struct Test {
  uint32_t arg;
  uint32_t func;
  uint32_t session;
};

Issue seems to be due to the param_size which is not of the actual object size. https://github.com/PLSysSec/haybale/blob/67d91f039e08bf004ce1122cdd5681fc82b736ea/src/symex.rs#L92