codesonar 돌리고 있는데 조언좀~~(Null Test After Dereference??)

이놈의 신뢰성 검사떄문에 골치가 썩네요.-_-;;

PayLoad = malloc(sizeof(unsigned char) * PayLoadLength);

for(i = 0; i < PayLoadLength; i++){
PayLoad[i] = *((ReadTCPBuffer + 12) + i);
}

코드가 이런식인데..
PayLoad is dereferenced. 라는 경고가 하나뜨더니

아래쪽 switch - case 문에 (메시지 코드별로 정리 된 코드)

if (PayLoad == NULL) {

~~~

}
이렇게 Null 일 때 예외처리 해놨거든요..
그러니 뜨는 에러가 Null Test After Dereference 네요...
예외처리를 안하면 Null 데이터가 들어갈수있다고 지롤떨고.. 예외처리 해노면 이상황이 나오고..
조언좀 부탁드립니다..