Bison 解析器执行根据输入文件大小终止

Question

我创建了一个使用 bison 的解析器和使用 flex 的扫描仪来解析 windows 中的 setupapi.log 文件。我尝试通过获取文件的一小部分来执行解析器，并且它成功了。它适用于大约 20 行的文件。但是当我在正文的最后一行添加了两个单词时，它就终止了，因为 .exe 已停止工作。

我怎样才能摆脱这个。

我在我的 bison 文件中使用 %union 并在遇到标识符时使用 flex 文件中的 malloc 分配内存。

我的弹性文件是：

%{  
 #include <stdio.h>
#include "check.tab.h"
#include <string.h>
 #include<malloc.h>
int yyline=1;
 int i;

%}



identifier      [_a-zA-Z\.0-9:=&\\{}()\'\-]+
time            ([0-9]+\:[0-9]+\:[0-9]+\.[0-9]+)

%%

"/"         {
            return(SLASH_TOK);
         }

"["         {
            return(OPEN_TOK);
         }

"]"         {
            return(CLOSE_TOK);
         }

">>>"       {
            return (START_TOK); 
        }

"<<<"       {
            return (END_TOK);
         }

"!!!"       {
            return(ERROR_TOK);
         }

  "!"           {
                return(WARN_TOK);
                }

   "...:"       {
                    return(VEND_INFO);
                }

   "bak:"       {
                    return(BAK_TOK);
                }

   "cci:"       {
                    return(CCI_TOK);
                }   



         //SOME MORE TOKENS ARE HERE....


"\n"        {
            yyline++;
        }

{time}      {
           yylval.sval = malloc(strlen(yytext)+1);
           printf("FRM LEXER TIME= %s %s\n",yytext,yylval.sval);
           strncpy(yylval.sval,yytext,strlen(yytext)+1);

            for(i=0;yylval.sval[i]!='\0';i++)
                 {
                        if(!(i<strlen(yytext)))
                        {
                         yylval.sval[i]='\0';
                        }
                }

                printf("FRM LEXER TIME= %s %s\n",yytext,yylval.sval);
                 return(TIME);
        }


[a-zA-Z_0-9:\\]+(\.)+[\.a-zA-Z_0-9:\\]* {printf("REACHED EXTRA\n");return(DATA);}


[a-zA-Z]+(\:)+[\.a-zA-Z_0-9:\\]*    {yylval.sval = malloc(strlen(yytext)+1);
                strncpy(yylval.sval,yytext,strlen(yytext)+1);
                printf("REACHED EXTRA\n");
                 for(i=0;yylval.sval[i]!='\0';i++)
                 {
                        if(!(i<strlen(yytext)))
                        {
                         yylval.sval[i]='\0';
                        }
                }
                return(DATA);
             }

{identifier}    {

                yylval.sval = malloc(strlen(yytext)+1);
                strncpy(yylval.sval,yytext,strlen(yytext)+1);
                //printf("YYTEXT=%s %d\n",yytext,strlen(yytext));

                for(i=0;yylval.sval[i]!='\0';i++)
                {
                        if(!(i<strlen(yytext)))
                        {
                         yylval.sval[i]='\0';
                        }
                }

                printf("FRM LEXER ID = %s %s\n",yytext,yylval.sval);
                return(IDENTIFIER);
             }

%%

int yywrap(void)
{
return 1;
}

我的野牛文件是：

%{

#include <stdio.h>
#include <string.h>

extern int yyline;
extern char* yytext;
FILE *fp;
%}

%union
{
    char *sval;
};

%token  SLASH_TOK   
 %token      OPEN_TOK
 %token     CLOSE_TOK 
 %token     START_TOK   
    //ALL TOKENS ARE HERE


%type <sval> boot_data description statements word date section_title time_stamp section_body log_entry evt_catgry evt_time


%start session
%%

session : boot_data section
        {
        printf("SESSION\n");
        fprintf(fp,"NO.OF LINES PARSED = %d\n",yyline);
    }
    ;

boot_data : description statements description boot_time
    {
            printf("BOOT DATA\n");
            fprintf(fp,"DESCRIPTION:%s\n",$1);
    }
     ;

description : OPEN_TOK statements CLOSE_TOK
    {
        $$=$2;
        printf("DESCRIPTION\n");
    }
    ;

boot_time: OPEN_TOK statements date TIME CLOSE_TOK
    {
        printf("BOOT TIME\n");
        fprintf(fp,"DATE:%s\n",$3);
        fprintf(fp,"TIME:%s\n",$4);
    }
    ;

date : IDENTIFIER SLASH_TOK IDENTIFIER SLASH_TOK IDENTIFIER
    {
        printf("DATE\n");
        $$=$1;
        strcat($$,"/");
        strcat($$,$3);
        strcat($$,"/");
        strcat($$,$5);
    }
     ;

statements : word
     {
            $$=$1;
            printf("STAETEMENT 1\n");
    }

    |statements word

    {

            $$=$1;
            strcat($$," ");
            strcat($$,$2);
            printf("statements 2\n");
    }
    ;

word : IDENTIFIER
    {
        printf("WORD=%s  %s\n",yytext, $$);

    } 
    |TIME
    {
         printf("TIME=%s  %s\n",yytext, $$);
         fprintf(fp,"%s",$$);

    }
    |DATA
     ;

section : section_head section_body section_tail

     {
            printf("Compilation_start\n");
    }

    ;

section_head : section_title time_stamp
    {
            printf("Compilation_start111\n");
     }
     ;

section_title :START_TOK OPEN_TOK statements CLOSE_TOK
    {
            printf("Compilation_start222\n");
            fprintf(fp,"%s\n",$3);
     }
      ;

time_stamp :START_TOK statements date TIME
    {
            printf("Compilation_start444\n");
            fprintf(fp,"%s Date: %s\n",$2,$3);
            fprintf(fp,"%s Time: %s\n\n",$2,$4);
    }
    ;


section_body :log_entry
        {
        printf("single  entry\n");

       }

      |section_body log_entry
     {
        printf("MULTIPLE ENTRIES\n");            
     }
     ;

log_entry :entry_prefix evt_time evt_catgry statements
    {
                    printf("no time stamp\n");  
                   // fprintf(fp,"====%s====\n",$3);
                    }
    ;




section_tail :section_foot exit_status 
    {
            printf("Compilation_start666\n");
    }
      ;

section_foot:  END_TOK statements date TIME
    {
            printf("Compilation_start777\n");
            fprintf(fp,"\n\n%s Date: %s\n",$2,$3);
            fprintf(fp,"%s Time: %s\n",$2,$4);
    }
    ;

 exit_status : END_TOK OPEN_TOK statements CLOSE_TOK
    {
            printf("Compilation_start888\n");
            fprintf(fp,"\n%s\n",$3);
    }
    ;


%%

yyerror(char *str)
{
printf("Parse error: %s at line %d ,",str,yyline);
yywhere(); 
}

yywhere()
{   
int colon=0;
int i;
if(yytext) 
{ 
    for(i=0;i<50;i++) if(!yytext[i] || yytext[i] == '\n') break;
    if(i)
    {  
        if(!colon)  
        { 
            printf(" near: \"%s\"\n",  yytext);
            colon = 1; 
        }
    }  
    printf("\n");
}  
}   

int main(void) 
{
int i =remove("output.txt");
fp=fopen("output.txt","a+");

yyparse();
fclose(fp);
}

Answer 1

来自 strcat 手册页（对 Windows 也应该有效）：

strcat() 函数将 src 字符串附加到 dest 字符串， 覆盖 dest 末尾的空字节 ('\0')，然后 添加一个终止空字节。弦乐 不能重叠，且dest字符串必须有足够的空间存放结果。

现在你正在做：

statements : word
     {
            $$=$1;
            printf("STAETEMENT 1\n");
    }

    |statements word    
    {

            $$=$1;
            strcat($$," ");
            strcat($$,$2);
            printf("statements 2\n");
    }
    ;

因此，如果我假设您输入了两个单词，则会发生以下情况：

在第一个词之后， statements 指向这个词，因为你做 $$ = $1。 然后您的扫描仪读取下一个单词，并将一个空白和下一个单词连接到第一个单词。但是您没有对可用内存采取预防措施。 您正在使用 C 进行编程，这意味着您必须自己完成所有工作。

您可以将第二个操作更改为：

statements : statements word
     {
            int lgth1 = strlen($$);
            int lgth2 = strlen($2);
            /* instead of malloc you could also realloc */
            char *tmp = (char *) malloc((lgth1 + lgth2 + 1 + 1) * sizeof(char));
            /* no error handling for clarity */
            sprintf(tmp, "%s %s", $$, $2); /* alternative: strcpy(); strcat(); strcat(); */
            free($$); free($2); /* freeing the memory not used any more */
            $$ = tmp;
    }

这当然不是防弹代码，您还必须修复其他地方。 希望这会有所帮助。