Fixed findings

List of Findings

Error: CPPCHECK_WARNING (CWE-476): [#def1]
sqlite-3.46.1-build/sqlite-src-3460100/tool/src-verify.c:863: warning[nullPointer]: Possible null pointer dereference: zDir
#  861|       return 1;
#  862|     }
#  863|->   if( strlen(zDir)>1000 ){
#  864|       fprintf(stderr, "Directory argument too big: [%s]\n", zDir);
#  865|       return 1;

Error: GCC_ANALYZER_WARNING (CWE-688): [#def2]
sqlite-3.46.1-build/sqlite-src-3460100/tool/src-verify.c: scope_hint: In function ‘main’
sqlite-3.46.1-build/sqlite-src-3460100/tool/src-verify.c:863:7: warning[-Wanalyzer-null-argument]: use of NULL ‘zDir’ where non-null expected
<built-in>: note: argument 1 of ‘__builtin_strlen’ must be non-null
#  861|       return 1;
#  862|     }
#  863|->   if( strlen(zDir)>1000 ){
#  864|       fprintf(stderr, "Directory argument too big: [%s]\n", zDir);
#  865|       return 1;

Scan Properties