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

[Anonymous]

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

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

Код: Выделить всё

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

Мои вопросы:

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

2) Используем подсчет реф-счетов (u16_t ref). Есть ли способ смоделировать пересчет в Coverity?

Подробнее здесь: https://stackoverflow.com/questions/392 ... inted-data