Преобразование void* указатель в указатель на объект происходит когда a void* указатель преобразуется в указатель другого типа данных. Средство проверки не помечает слепки или неявные преобразования из NULL или (void*)0.

Можно косвенно преобразовать указатель на один тип данных в указатель на другой и несогласованный тип данных через промежуточный void* указатель. Эта проверка помечает преобразования из void* указывает в указатели на другие типы и предотвращает эти косвенные преобразования.

Избегайте преобразований из void* указатель в указатель на другой тип данных.

int *lookup (void *loc)
{
  /* ... */
  return loc; //Noncompliant   
}

void search (char *pos)
{
  int *found = lookup (pos);
}

В этом примере lookup имеет функцию void* параметр, но преобразует его в int* указатель при возврате. Это преобразование позволяет косвенное преобразование char* указатель передан в качестве аргумента lookup в int* указатель.

Исходный буфер, не выровненный с целевым буфером, возникает, когда исходный указатель при преобразовании указателя в указатель имеет одну из следующих проблем:

Выравнивание исходного указателя изменяется в этих преобразованиях.

Если выравнивание указателя изменяется при преобразовании указателя в указатель, дереференция результата преобразования может привести к ненормальному завершению программы.

Избегайте изменения выравнивания указателя при преобразовании указателя в указатель.

#include <string.h>
struct record {
  int len;
  /* ... */
};

int copyBuffer (char *data, int offset)
{
  struct record *tmp;
  struct record dest;
  tmp = (struct record *) (data + offset);   //Noncompliant
  memcpy (&dest, tmp, sizeof (dest));
  /* ... */

  return dest.len;
}

В этом примере char* указатель преобразуется в struct record* указатель, за которым следует memcpy операция. memcpy операция может предполагать struct record* выравнивание tmp и привести к неопределенному поведению. Средство проверки помечает предыдущее преобразование, чтобы предотвратить это неопределенное поведение.

Чтобы избежать проблемы, используйте data + offset в качестве исходного аргумента memcpy вместо использования промежуточного struct record* указатель.