0

この問題に関してここにはいくつかの回答がありましたが、次のコードにはまだ適合しませんでしsegfaultた4th iteration。

#include <stdlib.h>
#include <stdio.h>
#include <unistd.h>
#include <stdbool.h>
#include <malloc.h>
#include <errno.h>
#include <string.h>

struct _version {
    int major;
    int minor;
}version;

char *inputName;
char *outputName;
char **outputBuffer;
int length;
void init() {
    inputName=outputName=0;
    outputBuffer = NULL;
    length = 0;
    version.major = 0;
    version.minor = 1;

}
void usage(const char *s) {
    printf("Usage: %s -i <input file> -o <output file>\n",s);
    printf("\t %s -h:\t prints this help\n",s);
    printf("\t %s -v:\t prints version\n",s);

}
bool parseArgs(int argc, char * const argv[]) {
    char ch;
    char i=0;
    if(argc < 2) {
        usage(argv[0]);
        return false;
    }
    while ( (ch = getopt(argc,argv,"hvi:o:")) != -1) {
        switch(ch) {
            case 'v':
                printf("Version %d.%d\n", version.major,version.minor);
                return false;
            break;
            case 'i':
                inputName = malloc(strlen(optarg)+1);
                if(errno == ENOMEM) {
                    exit(ENOMEM);
                }
                strcpy(inputName,optarg);
                i++;
            break;
            case 'o':
                outputName = malloc(strlen(optarg)+1);
                if(errno == ENOMEM) {
                    exit(ENOMEM);
                }
                strcpy(outputName,optarg);
                i++;
            break;
            case 'h':
            default:
                usage(argv[0]);
                return false;
            break;

        }   
    } 
    return(i==2);   
}
bool processFile() {
    printf("trying input:%s\toutput:%s\n",inputName,outputName);
    FILE *inf = fopen(inputName,"r");
    if(!inf) {int e=errno;perror(inputName); exit(e);}

    char line[1024];        
    while(fgets(line,1024,inf)){
        if(strnlen(line,1024)==1024) exit(255);
        printf("next line read(line length is %d):%s\n", strnlen(line,1024), line);
        outputBuffer = realloc(outputBuffer,(++length)*sizeof(char *));
        printf("reallocation bytes requested:%d outputBuffer=0x%0X\n",length*sizeof(char *),outputBuffer);
        outputBuffer[length-1] = malloc(strnlen(line,1024)*sizeof(char)+1);
        strncpy(outputBuffer[length-1],line,1024);
        printf("---------------------------------------------\n");
        int i;
    }
    if(!feof(inf)){
        printf("failed reading %s:%d error:%d", inputName, length,ferror(inf));
        exit(ferror(inf));
    }


    if(inf) fclose(inf);
    return false;
}
bool writeOutput() {
    FILE *outf = fopen(outputName,"w");
    if(!outf) {int e=errno;perror(outputName); exit(e);}

    if(outf) fclose(outf);  
    return false;
}
void finish() {
    if(inputName) free(inputName);
    if(outputName) free(outputName);
}


int main(int argc, char * const argv[]){
    init();
    bool ok = parseArgs(argc, argv);
    if(ok) {
        ok = processFile();
        if(ok) {
            if(writeOutput()) {
                printf("Success.\n");
            }       
        }
        else { 
            printf("error processing file\n");
        }
    }

    finish();
}

どんな助けでも大歓迎です！

コードサンプルとvalgrind出力を追加するコメントを読んだ後：

次の行の読み取り (行の長さは 32):libqosadaptor libqosadaptor.%::

要求された再割り当てバイト:8 outputBuffer=0x4C4F360 ==8347== サイズ 1 の無効な書き込み ==8347== 0x4A095CC: strncpy (in /usr/lib64/valgrind/vgpreload_memcheck-amd64-linux.so) ==8347== by 0x400DFC: processFile (makefileUpgrade.c:83) ==8347== by 0x400F76: main (makefileUpgrade.c:113) ==8347== アドレス 0x4c4f3d1 はサイズ 33 のブロックの後に 0 バイト alloc'd ==8347== at 0x4A0645D: malloc (/usr/lib64/valgrind/vgpreload_memcheck-amd64-linux.so 内) ==8347== by 0x400DC4: processFile (makefileUpgrade.c:82) ==8347== by 0x400F76: main (makefileUpgrade.c :113)

--------------------------------------------- 次の行を読む(行長さは 87 です): $(SHOW) $(MAKE) $(MAKEOPTS) REL_DIR=adaptor/qos -C $(ROOT)/adaptor/qos $* -f makefile

valgrind: m_mallocfree.c:277 (mk_plain_bszB): アサーション 'bszB != 0' が失敗しました。valgrind: これはおそらく、プログラムがヒープ ブロックの末尾を超えて誤って書き込み、ヒープ メタデータを破損したことが原因です。Memcheck によって報告された無効な書き込みを修正すると、このアサーションの失敗はおそらくなくなります。これをバグとして報告する前に、それを試してください。

==8347== 0x3805028C: ??? (/usr/lib64/valgrind/memcheck-amd64-linux 内) ==8347== by 0x380503E6: ??? (/usr/lib64/valgrind/memcheck-amd64-linux 内) ==8347== by 0x3805AA4A: ??? (/usr/lib64/valgrind/memcheck-amd64-linux 内) ==8347== by 0x3805C9B7: ??? (/usr/lib64/valgrind/memcheck-amd64-linux 内) ==8347== by 0x38021865: ??? (/usr/lib64/valgrind/memcheck-amd64-linux 内) ==8347== by 0x3809C5C2: ??? (/usr/lib64/valgrind/memcheck-amd64-linux 内) ==8347== by 0x380AB21C: ??? (/usr/lib64/valgrind/memcheck-amd64-linux 内)

スケジュールされたステータス: running_tid=1

スレッド 1: status = VgTs_Runnable ==8347== at 0x4A083AA: realloc (in /usr/lib64/valgrind/vgpreload_memcheck-amd64-linux.so) ==8347== by 0x400D54: processFile (makefileUpgrade.c:80) == 8347== by 0x400F76: メイン (makefileUpgrade.c:113)

4

1 に答える 1

0

解決策は単純ですが、トリッキーでした (そして、私のせいでマニュアルページを最後まで読んでいませんでした):

strncpy は常に n バイトを書き込むため、問題がありました。

strncpy(outputBuffer[length-1],line,1024);

ソース文字列は、malloc されたサイズよりも大きく、典型的なオーバーランです。

char *strncpy(char *dest, const char *src, size_t n);

src の長さが n 未満の場合、strncpy() は追加のヌル バイトを dest に書き込み、合計 n バイトが書き込まれるようにします。

于 2014-09-06T20:18:18.247 に答える