1

私は自分のプロジェクトに取り組んでいて、隠された脆弱性を確認してコードの品質を向上させるために splint を実行しようとしました。プロジェクトの .c ファイルの 1 つで splint を実行したところ、これら 4 つの警告に遭遇しました。

Splint 3.1.2 --- 20 Feb 2018

quit_again_final.c: (in function quit)
quit_again_final.c:10:5: Return value (type int) ignored: scanf("%s", ans)
  Result returned by function call is not used. If this is intended, can cast
  result to (void) to eliminate message. (Use -retvalint to inhibit warning)
quit_again_final.c:11:9: Incompatible types for == (char, char):
                            tolower(ans[0]) == 'y'
  A character constant is used as an int. Use +charintliteral to allow
  character constants to be used as ints.  (This is safe since the actual type
  of a char constant is int.)
quit_again_final.c: (in function again)
quit_again_final.c:26:5: Return value (type int) ignored: scanf("%s", ans1)
quit_again_final.c:27:9: Incompatible types for == (char, char):
                            tolower(ans1[0]) == 'y'

Finished checking --- 4 code warnings

脆弱性を排除するための手順がよくわかりません.c ファイルを以下に示します。

#include<stdio.h>
#include<stdlib.h>
#include<string.h>
#include<ctype.h>
#include"server.h"
void quit()
{
    char ans[5];
    printf("ARE YOU SURE YOU WANT TO QUIT THE WIZARD? Y OR N\n");
    scanf("%s", ans);
    if (tolower(ans[0]) == 'y')
    {
        final_print();
        printf("\n\n");
        printf("---THANK YOU FOR USING OUR PORTAL--\n");
    }
    else
    {
        main2();
    }
}
void again()
{
    char ans1[5];
    printf("SEARCH AGAIN USING ID AND PASSWORD? Y OR N\n");
    scanf("%s", ans1);
    if (tolower(ans1[0]) == 'y')
    {
        main2();//FOR RE-LOGIN PROCESS
    }
    else
    {
        quit();
    }
    printf("\n\n\n\n\n\n");
}
void final_print()
{
    printf("----------------FINAL STATEMENT OF LEAVE OF EACH EMPLOYEE------------------------\n\n");
    int i;
    for (i = 0; i < 5; i++)
    {
        printf("NAME : %s\n",emp[i].name);
        printf("USER ID : %s\n",emp[i].id);
        printf("CASUAL LEAVE LEFT : %d\n",emp[i].casual);
        printf("MEDICAL LEAVE LEFT : %d\n",emp[i].medical);
        printf("EARNED LEAVE LEFT : %d\n\n",emp[i].earned);
    }
    printf("---------THANK YOU FOR USING LEAVE MANEGMENT PORTAL-----\n");
}

私はこれらのエラーを処理する初心者なので、誰かがこれらのエラーについて教えてくれますか

エラーが繰り返され、そのうちの 2 つを解決するだけでファイル全体が解決されます

4

1 に答える 1

1

scanfツールが提案することを試すための警告を排除するには：

    (void)scanf("%s", ans);

警告をなくすには、tolower(ans[0]) == 'y'これを試してください：

    if (tolower(ans[0]) == (int)'y')

しかし、後者は警告ではありません。なぜなら、C では char リテラルの型 ( など'y') が isintであるため、IMO の警告はとにかく偽物です。

于 2021-04-06T09:51:07.097 に答える