编写Coverity模型：struct中的指针始终指向受污染的数据

Question

我定期检查lwIP，一个带Coverity的免费TCP / IP堆栈。

作为网络堆栈，我们有来自网络的不受信任的数据，存储在struct pbuf中（为清楚起见，省略了一些成员）：

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

我的问题是：

1）我想模拟那个＆＃34; void * payload＆＃34; struct pbuf始终指向受污染的数据，对它的每次访问都必须是不可信的。我怎么能这样做？

2）我们使用引用计数（u16_t ref）。有没有办法在Coverity中模拟引用计数？