Fixed findings

List of Findings

Error: GCC_ANALYZER_WARNING (CWE-476): [#def1]
sqlite-src-3510200/src/tclsqlite.c:1717:9: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘apColName’
sqlite-src-3510200/src/tclsqlite.c:2051:26: enter_function: entry to ‘DbObjCmd’
sqlite-src-3510200/src/tclsqlite.c:2095:5: branch_false: following ‘false’ branch (when ‘objc > 1’)...
sqlite-src-3510200/src/tclsqlite.c:2099:7: branch_false: ...to here
sqlite-src-3510200/src/tclsqlite.c:2099:5: branch_false: following ‘false’ branch...
sqlite-src-3510200/src/tclsqlite.c:2103:11: branch_false: ...to here
sqlite-src-3510200/src/tclsqlite.c:2934:7: branch_false: following ‘false’ branch...
sqlite-src-3510200/src/tclsqlite.c:2940:7: branch_false: ...to here
sqlite-src-3510200/src/tclsqlite.c:2940:7: branch_false: following ‘false’ branch (when ‘objc != 3’)...
sqlite-src-3510200/src/tclsqlite.c:2965:9: branch_false: ...to here
sqlite-src-3510200/src/tclsqlite.c:2972:7: call_function: calling ‘dbEvalInit’ from ‘DbObjCmd’
sqlite-src-3510200/src/tclsqlite.c:2972:7: return_function: returning to ‘DbObjCmd’ from ‘dbEvalInit’
sqlite-src-3510200/src/tclsqlite.c:2976:12: call_function: calling ‘DbEvalNextCmd’ from ‘DbObjCmd’
# 1715|         Tcl_IncrRefCount(pStar);
# 1716|         for(i=0; i<nCol; i++){
# 1717|->         Tcl_ListObjAppendElement(interp, pColList, apColName[i]);
# 1718|         }
# 1719|         if( 0==(SQLITE_EVAL_ASDICT & p->evalFlags) ){

Error: GCC_ANALYZER_WARNING (CWE-476): [#def2]
sqlite-src-3510200/src/tclsqlite.c:2015:7: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘ppHook’
sqlite-src-3510200/src/tclsqlite.c:2051:26: enter_function: entry to ‘DbObjCmd’
sqlite-src-3510200/src/tclsqlite.c:2095:5: branch_false: following ‘false’ branch (when ‘objc > 1’)...
sqlite-src-3510200/src/tclsqlite.c:2099:7: branch_false: ...to here
sqlite-src-3510200/src/tclsqlite.c:2099:5: branch_false: following ‘false’ branch...
sqlite-src-3510200/src/tclsqlite.c:2103:11: branch_false: ...to here
sqlite-src-3510200/src/tclsqlite.c:3753:7: branch_false: following ‘false’ branch...
sqlite-src-3510200/src/tclsqlite.c:3754:7: branch_false: ...to here
sqlite-src-3510200/src/tclsqlite.c:3754:7: branch_false: following ‘false’ branch...
sqlite-src-3510200/src/tclsqlite.c:3755:7: branch_false: ...to here
sqlite-src-3510200/src/tclsqlite.c:3755:7: branch_false: following ‘false’ branch...
sqlite-src-3510200/src/tclsqlite.c:3756:7: branch_false: ...to here
sqlite-src-3510200/src/tclsqlite.c:3756:7: branch_false: following ‘false’ branch (when ‘objc <= 3’)...
sqlite-src-3510200/src/tclsqlite.c:3761:5: branch_false: ...to here
sqlite-src-3510200/src/tclsqlite.c:3761:5: branch_false: following ‘false’ branch (when ‘objc != 3’)...
sqlite-src-3510200/src/tclsqlite.c:3761:5: branch_false: ...to here
sqlite-src-3510200/src/tclsqlite.c:3761:5: call_function: calling ‘DbHookCmd’ from ‘DbObjCmd’
# 2013|     sqlite3 *db = pDb->db;
# 2014|   
# 2015|->   if( *ppHook ){
# 2016|       Tcl_SetObjResult(interp, *ppHook);
# 2017|       if( pArg ){

Error: GCC_ANALYZER_WARNING (CWE-686): [#def3]
sqlite-src-3510200/tool/lemon.c:188:13: warning[-Wanalyzer-va-arg-type-mismatch]: ‘va_arg’ expected ‘int’ but received ‘const char *’ for variadic argument 1 of ‘ap’
sqlite-src-3510200/tool/lemon.c:3972:13: enter_function: entry to ‘translate_code’
sqlite-src-3510200/tool/lemon.c:3997:5: branch_false: following ‘false’ branch...
sqlite-src-3510200/tool/lemon.c:4000:13: branch_false: ...to here
sqlite-src-3510200/tool/lemon.c:4000:11: branch_false: following ‘false’ branch...
sqlite-src-3510200/tool/lemon.c:4011:13: branch_false: ...to here
sqlite-src-3510200/tool/lemon.c:4011:11: branch_false: following ‘false’ branch...
sqlite-src-3510200/tool/lemon.c:4014:13: branch_false: ...to here
sqlite-src-3510200/tool/lemon.c:4014:11: branch_false: following ‘false’ branch (when the strings are non-equal)...
sqlite-src-3510200/tool/lemon.c:4028:5: branch_false: ...to here
sqlite-src-3510200/tool/lemon.c:4028:5: call_function: calling ‘lemon_sprintf’ from ‘translate_code’ with 2 variadic arguments
#  186|         }
#  187|         if( c=='d' ){
#  188|->         int v = va_arg(ap, int);
#  189|           if( v<0 ){
#  190|             lemon_addtext(str, &nUsed, "-", 1, iWidth);

Error: GCC_ANALYZER_WARNING (CWE-686): [#def4]
sqlite-src-3510200/tool/lemon.c:207:9: warning[-Wanalyzer-va-arg-type-mismatch]: ‘va_arg’ expected ‘int’ but received ‘const char *’ for variadic argument 1 of ‘ap’
sqlite-src-3510200/tool/lemon.c:3972:13: enter_function: entry to ‘translate_code’
sqlite-src-3510200/tool/lemon.c:3997:5: branch_false: following ‘false’ branch...
sqlite-src-3510200/tool/lemon.c:4000:13: branch_false: ...to here
sqlite-src-3510200/tool/lemon.c:4000:11: branch_false: following ‘false’ branch...
sqlite-src-3510200/tool/lemon.c:4011:13: branch_false: ...to here
sqlite-src-3510200/tool/lemon.c:4011:11: branch_false: following ‘false’ branch...
sqlite-src-3510200/tool/lemon.c:4014:13: branch_false: ...to here
sqlite-src-3510200/tool/lemon.c:4014:11: branch_false: following ‘false’ branch (when the strings are non-equal)...
sqlite-src-3510200/tool/lemon.c:4028:5: branch_false: ...to here
sqlite-src-3510200/tool/lemon.c:4028:5: call_function: calling ‘lemon_sprintf’ from ‘translate_code’ with 2 variadic arguments
#  205|         }else if( c=='.' && memcmp(&zFormat[i], ".*s", 3)==0 ){
#  206|           i += 2;
#  207|->         k = va_arg(ap, int);
#  208|           z = va_arg(ap, const char*);
#  209|           lemon_addtext(str, &nUsed, z, k, iWidth);

Scan Properties