Преобразование void* указатель в указатель на объект происходит когда 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* указатель.