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.

haybale/src/symex.rs

Line 92 in 67d91f0

bvparam._ne(&state.zero(param_size)).assert()?;