Написание модели Coverity: указатель в структуре ВСЕГДА указывает на испорченные данные

Я регулярно проверяю lwIP, свободный стек TCP/IP с Coverity.

Как сетевой стек, у нас есть ненадежные данные, поступающие из сети, которая хранится в struct pbuf (некоторые члены опущены для ясности):

struct pbuf {
  void *payload;
  u16_t len;
  u16_t ref;
};

Мои вопросы:

1) Я хочу моделировать, что "пустота * полезная нагрузка" struct pbuf ВСЕГДА указывает на испорченные данные, каждый доступ к ней должен быть ненадежным. Как я могу это сделать?

2) Мы используем refcounting (u16_t ref). Есть ли способ моделирования refcounting в Coverity?