Fixes from Github Code Scanning

In XSA-122, "Array offset used before range check".

In traps.c "Declaration hides variable".

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>

diff --git a/arch/x86/traps.c b/arch/x86/traps.c
index 4beb11e3f80f82931b2205c5ec762605ec8ef7ce..1ea5dd12bd7a6416fc7db08f469a37b1bb64c381 100644 (file)
--- a/arch/x86/traps.c
+++ b/arch/x86/traps.c
@@ -46,7 +46,7 @@ void do_exception(struct cpu_regs *regs)
     /* Still unresolved? Give up and panic() with some relevent information. */
     if ( !safe )
     {
-        exinfo_t ex = EXINFO(regs->entry_vector, regs->error_code);
+        exinfo_t exc = EXINFO(regs->entry_vector, regs->error_code);
 
         if ( regs->entry_vector == X86_EXC_PF )
         {
@@ -54,12 +54,12 @@ void do_exception(struct cpu_regs *regs)
 
             panic("Unhandled exception at %04x:%p\n"
                   "Vec %u %pe %%cr2 %p\n",
-                  regs->cs, _p(regs->ip), regs->entry_vector, _p(ex), _p(cr2));
+                  regs->cs, _p(regs->ip), regs->entry_vector, _p(exc), _p(cr2));
         }
         else
             panic("Unhandled exception at %04x:%p\n"
                   "Vec %u %pe\n",
-                  regs->cs, _p(regs->ip), regs->entry_vector, _p(ex));
+                  regs->cs, _p(regs->ip), regs->entry_vector, _p(exc));
     }
 }
 

diff --git a/tests/xsa-122/main.c b/tests/xsa-122/main.c
index 2cffa52be449c90aa5844ef3b989c5bcfd3ed658..2ae86a42a6eb69380acd3c5cec271c0db1feab33 100644 (file)
--- a/tests/xsa-122/main.c
+++ b/tests/xsa-122/main.c
@@ -39,7 +39,7 @@ static void check_buffer(const char *ref, const char *buf, size_t buf_sz)
     else if ( str_len == buf_sz - 1 )
         return; /* No trailing space after data. */
 
-    for ( i = str_len + 1; buf[i] == '\0' && i < buf_sz; ++i )
+    for ( i = str_len + 1; i < buf_sz && buf[i] == '\0'; ++i )
         ; /* No action. */
 
     if ( i != buf_sz )