malloc：printfとNULL wchar_tでエラーダブルフリー*

Question

私はLinuxからMac OS X（ヒョウ）にアプリケーションを移植しようとしていますが、実行するとmalloc: *** error for object 0x100160 : double freeというエラーメッセージが表示されます。

私は以下のコードでこの問題を再現しました：もしので、それは奇妙だ

a=a, b=(null) 
test (5337) malloc: *** error for object 0x100160 : double free 
*** set a breakpoint in malloc_error_break to debug 

：

gccでコンパイルさ

//main.cpp 
#include <stdio.h> 
#include <wchar.h> 

int main(int argc, char*argv[]) 
{ 
    wchar_t *b=NULL; 
    printf("a=%ls, b=%ls \n", L"a", b); 
} 

：

gcc main.cpp -o test 

実行の出力私はこの行を使用します：printf("a=%ls, b=%ls", b, b)、エラーは表示されません。 さらに、wprintf(L"a=%ls, b=%ls", a, b)は使用できません。 Fedora 13では、このプログラムはエラーを出力しません。

printfのバグですか？ このエラーを削除するにはどうすればよいですか？

Answer 1

：あなたのような何かにあなたのコードを変更する必要があります。

厳密に言えば、図書館は、好きなことを行い、ヒープの破損も含めてこの状況を処理する権利を持っていますが、コードでは、ゴミのないものprintfの実装の場合のように、文字列を賢明にNULL扱うことです。これを行うコードにバグがあります。これらのことが起こります。

試みは以前の非NULLワイドchar型のポインタが印刷された後、vprintf_lは、次の文字列引数、またはときvprintf_l終了にアップコックますNULLワイドchar型のポインタを印刷するように作られている場合。 （あまりにも、私が思う、この現象が発生してもらうために他の方法があるかもしれません - 私はチェックしませんでした。）

問題のコードはここにある：

case 's': 
     if (flags & LONGINT) { 
      wchar_t *wcp; 

      if (convbuf != NULL) 
       free(convbuf); 
      if ((wcp = GETARG(wchar_t *)) == NULL) 
       cp = "(null)"; 
      else { 
       convbuf = __wcsconv(wcp, prec, loc); 
       if (convbuf == NULL) { 
        fp->_flags |= __SERR; 
        goto error; 
       } 
       cp = convbuf; 
      } 
     } else if ((cp = GETARG(char *)) == NULL) 

GETARG(wchar_t *)もし戻っNULL、convbufが指すう古い（今や解放された）バッファ。次に、関数の終了時、二重の自由があります：

if (convbuf != NULL) 
    free(convbuf); 

同じことが当てはまるでしょうがなかったが、別の文字列引数は、このケースでは二重解放が上記case 's'コードで起こるかかわら：

printf("a=%ls, b=%ls c=%ls\n", L"a", b, L"c"); 

解決策は、それが解放された後にconvbufをNULLに設定することです。

printfコードはここにある：解体から判断

http://www.opensource.apple.com/source/Libc/Libc-594.1.4/stdio/vfprintf-fbsd.c

、それはSnow Leopardのデフォルトの実行時に使用されるコードです。

Answer 2

Ubuntuでは、a=a, b=(null)を印刷しますが、一般的にはNULL文字列を印刷することはお勧めできません。

Answer 3

printfにNULLポインタを渡すことは良い習慣ではありませんが、printfを含む関数がメモリヒープを破壊して無効な入力に反応した場合、一般的な観点からは受け入れられません。したがって、NULLを渡すべきではありませんが、私はこの動作をライブラリのバグと見なします。関数が無効な引数を取得した場合、関数は多くの悲鳴を上げることができますが、メモリヒープを破壊するはずはありません。

もちろん、パラメータが有効かどうかを知ることはできませんが、ここではNULL定数があり、逆参照できないことがわかりやすいです。

Answer 4

NULLポインタを文字列として出力することはできません。これは未定義の動作です。 C99標準から、§7.19.6.1/ 8

変換指定子とその意味は次のとおりです。
...
の        なしl長さ修飾子は、引数者は、存在しない場合文字型の配列の最初の要素へのポインタです。 ...

長さ修飾子がある場合、引数はwchar_t型の配列の最初の 要素へのポインタになります。

NULLポインタは明示的に許可されていないため、使用できません。これは、単にprintfを扱うvprintf_lのバグ、（そしておそらくそのすべての友人）である

printf("a=%ls, b=%ls \n", L"a", b ? b : L"(null)");