可以使用无效参数（空指针）调用sprintf。使用Polyspace错误查找程序

Question

我正在使用带有C代码的Polyspace Bug Finder。 我有sprintf的问题。那就是代码：

char* string1=NULL;
string1=(char*)malloc(snprintf(NULL,0,"%d",j)+1);
sprintf(string1,"%d",j);

Polyspace bug finder说：

  

无效使用标准库例程（Impact High）
  标准功能＆＃39; sprintf＆＃39;可能会使用无效的参数调用   第一个参数（字符串缓冲）可以是空指针。