mallocの、文字列ポインタ、およびValgrindは

Question

は私のプログラムは、この（main.cの）のようなものです：valgrindの--tool = memcheck：

#include <stdlib.h> 
#include <stdio.h> 
void main(){ 
    char *first="hello "; 
    char *second="world!"; 
    char *seq=(char *)malloc((strlen(first)+1)*sizeof(char)); 
    strcat(strcpy(seq,first),second); 
    printf("%s\n",seq); 
    free(seq); 
} 

と私は、ツールvalgrindのをデバッグする、それが（$と言いました）--leakチェック=フル--track-起源= yesの./main：

なぜ、どのようにそれを修正するために私に言うことができる

==5118== Memcheck, a memory error detector. 
==5118== Copyright (C) 2002-2008, and GNU GPL'd, by Julian Seward et al. 
==5118== Using LibVEX rev 1884, a library for dynamic binary translation. 
==5118== Copyright (C) 2004-2008, and GNU GPL'd, by OpenWorks LLP. 
==5118== Using valgrind-3.4.1, a dynamic binary instrumentation framework. 
==5118== Copyright (C) 2000-2008, and GNU GPL'd, by Julian Seward et al. 
==5118== For more details, rerun with: -v 
==5118== 
==5118== Invalid write of size 1 
==5118== at 0x402575B: strcat (in /usr/lib/valgrind/x86-linux/vgpreload_memcheck.so) 
==5118== by 0x80484EB: main (main.c:7) 
==5118== Address 0x418a02f is 0 bytes after a block of size 7 alloc'd 
==5118== at 0x402522D: malloc (in /usr/lib/valgrind/x86-linux/vgpreload_memcheck.so) 
==5118== by 0x80484C3: main (main.c:6) 
==5118== 
==5118== Invalid write of size 1 
==5118== at 0x4025777: strcat (in /usr/lib/valgrind/x86-linux/vgpreload_memcheck.so) 
==5118== by 0x80484EB: main (main.c:7) 
==5118== Address 0x418a034 is 5 bytes after a block of size 7 alloc'd 
==5118== at 0x402522D: malloc (in /usr/lib/valgrind/x86-linux/vgpreload_memcheck.so) 
==5118== by 0x80484C3: main (main.c:6) 
==5118== 
==5118== Invalid read of size 1 
==5118== at 0x4025963: strlen (in /usr/lib/valgrind/x86-linux/vgpreload_memcheck.so) 
==5118== by 0x40A0FA4: puts (in /lib/libc-2.10.1.so) 
==5118== by 0x80484F7: main (main.c:8) 
==5118== Address 0x418a02f is 0 bytes after a block of size 7 alloc'd 
==5118== at 0x402522D: malloc (in /usr/lib/valgrind/x86-linux/vgpreload_memcheck.so) 
==5118== by 0x80484C3: main (main.c:6) 
==5118== 
==5118== Invalid read of size 1 
==5118== at 0x40ACEFE: _IO_default_xsputn (in /lib/libc-2.10.1.so) 
==5118== by 0x40AA3D0: _IO_file_xsputn@@GLIBC_2.1 (in /lib/libc-2.10.1.so) 
==5118== by 0x40A1020: puts (in /lib/libc-2.10.1.so) 
==5118== by 0x80484F7: main (main.c:8) 
==5118== Address 0x418a02f is 0 bytes after a block of size 7 alloc'd 
==5118== at 0x402522D: malloc (in /usr/lib/valgrind/x86-linux/vgpreload_memcheck.so) 
==5118== by 0x80484C3: main (main.c:6) 
hello world! 
==5118== 
==5118== ERROR SUMMARY: 17 errors from 4 contexts (suppressed: 13 from 1) 
==5118== malloc/free: in use at exit: 7 bytes in 1 blocks. 
==5118== malloc/free: 1 allocs, 0 frees, 7 bytes allocated. 
==5118== For counts of detected errors, rerun with: -v 
==5118== searching for pointers to 1 not-freed blocks. 
==5118== checked 47,492 bytes. 
==5118== 
==5118== 
==5118== 7 bytes in 1 blocks are definitely lost in loss record 1 of 1 
==5118== at 0x402522D: malloc (in /usr/lib/valgrind/x86-linux/vgpreload_memcheck.so) 
==5118== by 0x80484C3: main (main.c:6) 
==5118== 
==5118== LEAK SUMMARY: 
==5118== definitely lost: 7 bytes in 1 blocks. 
==5118==  possibly lost: 0 bytes in 0 blocks. 
==5118== still reachable: 0 bytes in 0 blocks. 
==5118==   suppressed: 0 bytes in 0 blocks. 

。

Answer 1

char *seq=(char *)malloc((strlen(first)+1)*sizeof(char)); 

「最初の」サイズの文字列のメモリを割り当てています。

strcat(strcpy(seq,first),second); 

次に、最初と2番目の両方に合わせようとします。それは決してうまくいかない。 strcatはメモリを増やしていないので、それをmallocに含める必要があります。それは、いくつかは、それはいくつかは、それ混乱を検討し、変更する場合にはタイプについての明示的なことをとにかくそこにそれを持っていると1であることが保証されるよう

There is no need to cast the result of malloc in pure C.

sizeof(char)を行うことも必要ではありません。

Answer 2

seqの最初のスペースだけを確保しています。

Answer 3

seqは（strlen（first）+1）* sizeof（char）longであり、連結文字列を最初に+秒間保持するには不十分です。 （、）は、第2のstrcpy（配列、第一）

STRCAT;

Answer 4

私はそのラインを見ることができます

は間違って囲まれていません。理由は、適切なソースを提供していない文字列連結を実行しているからです。上記の構文を2行に分けていればうまく動作します。

strcpy（seq、first）; strcat（seq、second）;

これは、文字列コピーを実行しているときに、文字列を "first"から "seq"にコピーするためです。さて、文字列の連結では、適切なソースを見つけることができなかったので[ソースが "seq"であることを特に言及していないことを覚えています]、無効な書き込みメモリリーク問題が発生しています。

これはあなたの質問を明確にします。それ以上の情報が必要な場合は、元に戻してください。

Answer 5

malloc()の対応するfree()はどこですか？