lua-5.4.7-3.fc43

List of Findings

Error: CPPCHECK_WARNING (CWE-758): [#def1]
lua-5.4.7/src/ldump.c:55: warning[objectIndex]: The address of variable 'x' might be accessed at non-zero index.
#   53|   static void dumpByte (DumpState *D, int y) {
#   54|     lu_byte x = (lu_byte)y;
#   55|->   dumpVar(D, x);
#   56|   }
#   57|   

Error: CPPCHECK_WARNING (CWE-758): [#def2]
lua-5.4.7/src/ldump.c:83: warning[objectIndex]: The address of variable 'x' might be accessed at non-zero index.
#   81|   
#   82|   static void dumpNumber (DumpState *D, lua_Number x) {
#   83|->   dumpVar(D, x);
#   84|   }
#   85|   

Error: CPPCHECK_WARNING (CWE-758): [#def3]
lua-5.4.7/src/ldump.c:88: warning[objectIndex]: The address of variable 'x' might be accessed at non-zero index.
#   86|   
#   87|   static void dumpInteger (DumpState *D, lua_Integer x) {
#   88|->   dumpVar(D, x);
#   89|   }
#   90|   

Error: GCC_ANALYZER_WARNING (CWE-476): [#def4]
lua-5.4.7/src/lgc.c:150:3: warning[-Wanalyzer-null-dereference]: dereference of NULL '0'
lua-5.4.7/src/lgc.c:1730:6: enter_function: entry to 'luaC_fullgc'
lua-5.4.7/src/lgc.c:1734:6: branch_true: following 'true' branch...
lua-5.4.7/src/lgc.c:1735:5: branch_true: ...to here
lua-5.4.7/src/lgc.c:1735:5: call_function: calling 'fullinc' from 'luaC_fullgc'
#  148|   static void linkgclist_ (GCObject *o, GCObject **pnext, GCObject **list) {
#  149|     lua_assert(!isgray(o));  /* cannot be in a gray list */
#  150|->   *pnext = *list;
#  151|     *list = o;
#  152|     set2gray(o);  /* now it is */

Error: GCC_ANALYZER_WARNING (CWE-476): [#def5]
lua-5.4.7/src/lgc.c:663:13: warning[-Wanalyzer-null-dereference]: dereference of NULL '0'
lua-5.4.7/src/lgc.c:1730:6: enter_function: entry to 'luaC_fullgc'
lua-5.4.7/src/lgc.c:1734:6: branch_true: following 'true' branch...
lua-5.4.7/src/lgc.c:1735:5: branch_true: ...to here
lua-5.4.7/src/lgc.c:1735:5: call_function: calling 'fullinc' from 'luaC_fullgc'
#  661|     GCObject *o = g->gray;
#  662|     nw2black(o);
#  663|->   g->gray = *getgclist(o);  /* remove from 'gray' list */
#  664|     switch (o->tt) {
#  665|       case LUA_VTABLE: return traversetable(g, gco2t(o));

Error: CPPCHECK_WARNING (CWE-457): [#def6]
lua-5.4.7/src/lgc.c:1082: error[uninitvar]: Uninitialized variable: *p
# 1080|     GCObject *curr;
# 1081|     global_State *g = G(L);
# 1082|->   while ((curr = *p) != NULL) {
# 1083|       if (iswhite(curr)) {  /* is 'curr' dead? */
# 1084|         lua_assert(isdead(g, curr));

Error: CPPCHECK_WARNING (CWE-457): [#def7]
lua-5.4.7/src/lgc.c:1128: error[uninitvar]: Uninitialized variable: *p
# 1126|     int white = luaC_white(g);
# 1127|     GCObject *curr;
# 1128|->   while ((curr = *p) != limit) {
# 1129|       if (iswhite(curr)) {  /* is 'curr' dead? */
# 1130|         lua_assert(!isold(curr) && isdead(g, curr));

Error: CPPCHECK_WARNING (CWE-758): [#def8]
lua-5.4.7/src/lundump.c:95: warning[objectIndex]: The address of variable 'x' might be accessed at non-zero index.
#   93|   static lua_Number loadNumber (LoadState *S) {
#   94|     lua_Number x;
#   95|->   loadVar(S, x);
#   96|     return x;
#   97|   }

Error: CPPCHECK_WARNING (CWE-758): [#def9]
lua-5.4.7/src/lundump.c:102: warning[objectIndex]: The address of variable 'x' might be accessed at non-zero index.
#  100|   static lua_Integer loadInteger (LoadState *S) {
#  101|     lua_Integer x;
#  102|->   loadVar(S, x);
#  103|     return x;
#  104|   }

Error: GCC_ANALYZER_WARNING (CWE-126): [#def10]
lua-5.4.7/src/lundump.c:277:16: warning[-Wanalyzer-out-of-bounds]: buffer over-read
lua-5.4.7/src/lundump.c:313:11: enter_function: entry to 'luaU_undump'
lua-5.4.7/src/lundump.c:324:3: call_function: calling 'checkHeader' from 'luaU_undump'
#  275|   static void checkliteral (LoadState *S, const char *s, const char *msg) {
#  276|     char buff[sizeof(LUA_SIGNATURE) + sizeof(LUAC_DATA)]; /* larger than both */
#  277|->   size_t len = strlen(s);
#  278|     loadVector(S, buff, len);
#  279|     if (memcmp(s, buff, len) != 0)

Scan Properties