Fixed findings

List of Findings

Error: GCC_ANALYZER_WARNING (CWE-688): [#def1]
libogg-1.3.6/src/bitwise.c:214:5: warning[-Wanalyzer-null-argument]: use of NULL ‘dest_read.buffer’ where non-null expected
libogg-1.3.6/src/bitwise.c:712:6: enter_function: entry to ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:725:11: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:727:10: call_function: inlined call to ‘oggpackB_get_buffer’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:731:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:731:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:734:8: call_function: inlined call to ‘oggpackB_get_buffer’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:736:5: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:740:3: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:741:3: call_function: inlined call to ‘oggpackB_readinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:759:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
#  212|     }else{
#  213|       /* aligned block copy */
#  214|->     memmove(b->ptr,source,bytes);
#  215|       b->ptr+=bytes;
#  216|       b->endbyte+=bytes;

Error: GCC_ANALYZER_WARNING (CWE-688): [#def2]
libogg-1.3.6/src/bitwise.c:214:5: warning[-Wanalyzer-null-argument]: use of NULL ‘dest_write.buffer’ where non-null expected
libogg-1.3.6/src/bitwise.c:712:6: enter_function: entry to ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:723:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:723:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:725:11: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:727:10: call_function: inlined call to ‘oggpackB_get_buffer’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:731:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
#  212|     }else{
#  213|       /* aligned block copy */
#  214|->     memmove(b->ptr,source,bytes);
#  215|       b->ptr+=bytes;
#  216|       b->endbyte+=bytes;

Error: GCC_ANALYZER_WARNING (CWE-688): [#def3]
libogg-1.3.6/src/bitwise.c:214:5: warning[-Wanalyzer-null-argument]: use of NULL ‘source_read.ptr’ where non-null expected
libogg-1.3.6/src/bitwise.c:712:6: enter_function: entry to ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:725:11: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:727:10: call_function: inlined call to ‘oggpackB_get_buffer’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:731:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:731:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:734:8: call_function: inlined call to ‘oggpackB_get_buffer’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:736:5: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:740:3: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:741:3: call_function: inlined call to ‘oggpackB_readinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:743:11: branch_true: following ‘true’ branch (when ‘i < prefill’)...
libogg-1.3.6/src/bitwise.c:744:38: branch_true: ...to here
libogg-1.3.6/src/bitwise.c:746:7: branch_false: following ‘false’ branch (when ‘s == d’)...
libogg-1.3.6/src/bitwise.c:743:21: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:743:11: branch_false: following ‘false’ branch (when ‘i >= prefill’)...
libogg-1.3.6/src/bitwise.c:751:5: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:751:5: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:759:3: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:759:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
#  212|     }else{
#  213|       /* aligned block copy */
#  214|->     memmove(b->ptr,source,bytes);
#  215|       b->ptr+=bytes;
#  216|       b->endbyte+=bytes;

Error: GCC_ANALYZER_WARNING (CWE-688): [#def4]
libogg-1.3.6/src/bitwise.c:214:5: warning[-Wanalyzer-null-argument]: use of NULL ‘source’ where non-null expected
libogg-1.3.6/src/bitwise.c:712:6: enter_function: entry to ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:731:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:731:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:736:5: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:740:3: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:743:11: branch_false: following ‘false’ branch (when ‘i >= prefill’)...
libogg-1.3.6/src/bitwise.c:751:5: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:751:5: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:759:3: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:759:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
#  212|     }else{
#  213|       /* aligned block copy */
#  214|->     memmove(b->ptr,source,bytes);
#  215|       b->ptr+=bytes;
#  216|       b->endbyte+=bytes;

Error: GCC_ANALYZER_WARNING (CWE-457): [#def5]
libogg-1.3.6/src/bitwise.c:214:5: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘source’
libogg-1.3.6/src/bitwise.c:712:6: enter_function: entry to ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:723:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:723:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:725:11: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:727:10: call_function: inlined call to ‘oggpackB_get_buffer’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:731:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
#  212|     }else{
#  213|       /* aligned block copy */
#  214|->     memmove(b->ptr,source,bytes);
#  215|       b->ptr+=bytes;
#  216|       b->endbyte+=bytes;

Error: GCC_ANALYZER_WARNING (CWE-476): [#def6]
libogg-1.3.6/src/bitwise.c:392:7: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘dest_read.buffer’
libogg-1.3.6/src/bitwise.c:621:6: enter_function: entry to ‘copytest’
libogg-1.3.6/src/bitwise.c:631:3: call_function: calling ‘oggpack_writeinit’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:631:3: return_function: returning to ‘copytest’ from ‘oggpack_writeinit’
libogg-1.3.6/src/bitwise.c:634:11: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:636:10: call_function: inlined call to ‘oggpack_get_buffer’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:640:3: call_function: inlined call to ‘oggpack_writecopy’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:640:3: call_function: inlined call to ‘oggpack_writecopy’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:643:8: call_function: inlined call to ‘oggpack_get_buffer’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:645:5: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:649:3: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:650:3: call_function: inlined call to ‘oggpack_readinit’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:652:11: branch_false: following ‘false’ branch (when ‘i >= prefill’)...
libogg-1.3.6/src/bitwise.c:660:5: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:660:5: branch_true: following ‘true’ branch...
libogg-1.3.6/src/bitwise.c:661:32: branch_true: ...to here
libogg-1.3.6/src/bitwise.c:661:8: call_function: calling ‘oggpack_read’ from ‘copytest’
#  390|     }
#  391|   
#  392|->   ret=b->ptr[0]>>b->endbit;
#  393|     if(bits>8){
#  394|       ret|=(unsigned long)b->ptr[1]<<(8-b->endbit);

Error: GCC_ANALYZER_WARNING (CWE-476): [#def7]
libogg-1.3.6/src/bitwise.c:392:7: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘source_read.ptr’
libogg-1.3.6/src/bitwise.c:621:6: enter_function: entry to ‘copytest’
libogg-1.3.6/src/bitwise.c:631:3: call_function: calling ‘oggpack_writeinit’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:631:3: return_function: returning to ‘copytest’ from ‘oggpack_writeinit’
libogg-1.3.6/src/bitwise.c:634:11: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:636:10: call_function: inlined call to ‘oggpack_get_buffer’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:640:3: call_function: inlined call to ‘oggpack_writecopy’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:640:3: call_function: inlined call to ‘oggpack_writecopy’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:643:8: call_function: inlined call to ‘oggpack_get_buffer’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:645:5: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:649:3: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:650:3: call_function: inlined call to ‘oggpack_readinit’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:652:11: branch_true: following ‘true’ branch (when ‘i < prefill’)...
libogg-1.3.6/src/bitwise.c:653:37: branch_true: ...to here
libogg-1.3.6/src/bitwise.c:655:7: branch_false: following ‘false’ branch (when ‘s == d’)...
libogg-1.3.6/src/bitwise.c:652:21: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:652:11: branch_true: following ‘true’ branch (when ‘i < prefill’)...
libogg-1.3.6/src/bitwise.c:653:37: branch_true: ...to here
libogg-1.3.6/src/bitwise.c:653:11: call_function: calling ‘oggpack_read’ from ‘copytest’
#  390|     }
#  391|   
#  392|->   ret=b->ptr[0]>>b->endbit;
#  393|     if(bits>8){
#  394|       ret|=(unsigned long)b->ptr[1]<<(8-b->endbit);

Error: GCC_ANALYZER_WARNING (CWE-476): [#def8]
libogg-1.3.6/src/bitwise.c:392:7: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘source_write.buffer’
libogg-1.3.6/src/bitwise.c:621:6: enter_function: entry to ‘copytest’
libogg-1.3.6/src/bitwise.c:631:3: call_function: calling ‘oggpack_writeinit’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:631:3: return_function: returning to ‘copytest’ from ‘oggpack_writeinit’
libogg-1.3.6/src/bitwise.c:640:3: call_function: inlined call to ‘oggpack_writecopy’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:640:3: call_function: inlined call to ‘oggpack_writecopy’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:645:5: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:649:3: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:652:11: branch_true: following ‘true’ branch (when ‘i < prefill’)...
libogg-1.3.6/src/bitwise.c:653:37: branch_true: ...to here
libogg-1.3.6/src/bitwise.c:653:11: call_function: calling ‘oggpack_read’ from ‘copytest’
#  390|     }
#  391|   
#  392|->   ret=b->ptr[0]>>b->endbit;
#  393|     if(bits>8){
#  394|       ret|=(unsigned long)b->ptr[1]<<(8-b->endbit);

Error: GCC_ANALYZER_WARNING (CWE-457): [#def9]
libogg-1.3.6/src/bitwise.c:394:25: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘b_48(D)->ptr[1]’
libogg-1.3.6/src/bitwise.c:621:6: enter_function: entry to ‘copytest’
libogg-1.3.6/src/bitwise.c:631:3: call_function: calling ‘oggpack_writeinit’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:631:3: return_function: returning to ‘copytest’ from ‘oggpack_writeinit’
libogg-1.3.6/src/bitwise.c:634:11: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:636:10: call_function: inlined call to ‘oggpack_get_buffer’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:640:3: call_function: inlined call to ‘oggpack_writecopy’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:640:3: call_function: inlined call to ‘oggpack_writecopy’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:645:5: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:649:3: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:652:11: branch_true: following ‘true’ branch (when ‘i < prefill’)...
libogg-1.3.6/src/bitwise.c:653:37: branch_true: ...to here
libogg-1.3.6/src/bitwise.c:653:11: call_function: calling ‘oggpack_read’ from ‘copytest’
#  392|     ret=b->ptr[0]>>b->endbit;
#  393|     if(bits>8){
#  394|->     ret|=(unsigned long)b->ptr[1]<<(8-b->endbit);
#  395|       if(bits>16){
#  396|         ret|=(unsigned long)b->ptr[2]<<(16-b->endbit);

Error: GCC_ANALYZER_WARNING (CWE-457): [#def10]
libogg-1.3.6/src/bitwise.c:396:27: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘b_48(D)->ptr[2]’
libogg-1.3.6/src/bitwise.c:621:6: enter_function: entry to ‘copytest’
libogg-1.3.6/src/bitwise.c:631:3: call_function: calling ‘oggpack_writeinit’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:631:3: return_function: returning to ‘copytest’ from ‘oggpack_writeinit’
libogg-1.3.6/src/bitwise.c:634:11: branch_true: following ‘true’ branch...
libogg-1.3.6/src/bitwise.c:635:33: branch_true: ...to here
libogg-1.3.6/src/bitwise.c:635:5: call_function: calling ‘oggpack_write’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:635:5: return_function: returning to ‘copytest’ from ‘oggpack_write’
libogg-1.3.6/src/bitwise.c:634:11: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:636:10: call_function: inlined call to ‘oggpack_get_buffer’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:640:3: call_function: inlined call to ‘oggpack_writecopy’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:640:3: call_function: inlined call to ‘oggpack_writecopy’ from ‘copytest’
libogg-1.3.6/src/bitwise.c:645:5: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:649:3: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:652:11: branch_true: following ‘true’ branch (when ‘i < prefill’)...
libogg-1.3.6/src/bitwise.c:653:37: branch_true: ...to here
libogg-1.3.6/src/bitwise.c:653:11: call_function: calling ‘oggpack_read’ from ‘copytest’
#  394|       ret|=(unsigned long)b->ptr[1]<<(8-b->endbit);
#  395|       if(bits>16){
#  396|->       ret|=(unsigned long)b->ptr[2]<<(16-b->endbit);
#  397|         if(bits>24){
#  398|           ret|=(unsigned long)b->ptr[3]<<(24-b->endbit);

Error: GCC_ANALYZER_WARNING (CWE-476): [#def11]
libogg-1.3.6/src/bitwise.c:435:22: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘dest_read.buffer’
libogg-1.3.6/src/bitwise.c:712:6: enter_function: entry to ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:725:11: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:727:10: call_function: inlined call to ‘oggpackB_get_buffer’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:731:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:731:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:734:8: call_function: inlined call to ‘oggpackB_get_buffer’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:736:5: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:740:3: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:741:3: call_function: inlined call to ‘oggpackB_readinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:743:11: branch_false: following ‘false’ branch (when ‘i >= prefill’)...
libogg-1.3.6/src/bitwise.c:751:5: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:751:5: branch_true: following ‘true’ branch...
libogg-1.3.6/src/bitwise.c:752:33: branch_true: ...to here
libogg-1.3.6/src/bitwise.c:752:8: call_function: calling ‘oggpackB_read’ from ‘copytestB’
#  433|     }
#  434|   
#  435|->   ret=(unsigned long)b->ptr[0]<<(24+b->endbit);
#  436|     if(bits>8){
#  437|       ret|=(unsigned long)b->ptr[1]<<(16+b->endbit);

Error: GCC_ANALYZER_WARNING (CWE-476): [#def12]
libogg-1.3.6/src/bitwise.c:435:22: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘source_read.buffer’
libogg-1.3.6/src/bitwise.c:712:6: enter_function: entry to ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:731:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:731:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:736:5: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:740:3: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:743:11: branch_true: following ‘true’ branch (when ‘i < prefill’)...
libogg-1.3.6/src/bitwise.c:744:38: branch_true: ...to here
libogg-1.3.6/src/bitwise.c:744:11: call_function: calling ‘oggpackB_read’ from ‘copytestB’
#  433|     }
#  434|   
#  435|->   ret=(unsigned long)b->ptr[0]<<(24+b->endbit);
#  436|     if(bits>8){
#  437|       ret|=(unsigned long)b->ptr[1]<<(16+b->endbit);

Error: GCC_ANALYZER_WARNING (CWE-476): [#def13]
libogg-1.3.6/src/bitwise.c:435:22: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘source_read.ptr’
libogg-1.3.6/src/bitwise.c:712:6: enter_function: entry to ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:725:11: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:727:10: call_function: inlined call to ‘oggpackB_get_buffer’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:731:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:731:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:734:8: call_function: inlined call to ‘oggpackB_get_buffer’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:736:5: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:740:3: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:741:3: call_function: inlined call to ‘oggpackB_readinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:743:11: branch_true: following ‘true’ branch (when ‘i < prefill’)...
libogg-1.3.6/src/bitwise.c:744:38: branch_true: ...to here
libogg-1.3.6/src/bitwise.c:746:7: branch_false: following ‘false’ branch (when ‘s == d’)...
libogg-1.3.6/src/bitwise.c:743:21: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:743:11: branch_true: following ‘true’ branch (when ‘i < prefill’)...
libogg-1.3.6/src/bitwise.c:744:38: branch_true: ...to here
libogg-1.3.6/src/bitwise.c:744:11: call_function: calling ‘oggpackB_read’ from ‘copytestB’
#  433|     }
#  434|   
#  435|->   ret=(unsigned long)b->ptr[0]<<(24+b->endbit);
#  436|     if(bits>8){
#  437|       ret|=(unsigned long)b->ptr[1]<<(16+b->endbit);

Error: GCC_ANALYZER_WARNING (CWE-457): [#def14]
libogg-1.3.6/src/bitwise.c:437:25: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘b_56(D)->ptr[1]’
libogg-1.3.6/src/bitwise.c:712:6: enter_function: entry to ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:725:11: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:727:10: call_function: inlined call to ‘oggpackB_get_buffer’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:731:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:731:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:736:5: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:740:3: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:743:11: branch_true: following ‘true’ branch (when ‘i < prefill’)...
libogg-1.3.6/src/bitwise.c:744:38: branch_true: ...to here
libogg-1.3.6/src/bitwise.c:744:11: call_function: calling ‘oggpackB_read’ from ‘copytestB’
#  435|     ret=(unsigned long)b->ptr[0]<<(24+b->endbit);
#  436|     if(bits>8){
#  437|->     ret|=(unsigned long)b->ptr[1]<<(16+b->endbit);
#  438|       if(bits>16){
#  439|         ret|=(unsigned long)b->ptr[2]<<(8+b->endbit);

Error: GCC_ANALYZER_WARNING (CWE-457): [#def15]
libogg-1.3.6/src/bitwise.c:439:27: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘b_56(D)->ptr[2]’
libogg-1.3.6/src/bitwise.c:712:6: enter_function: entry to ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:722:3: call_function: inlined call to ‘oggpackB_writeinit’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:725:11: branch_true: following ‘true’ branch...
libogg-1.3.6/src/bitwise.c:726:34: branch_true: ...to here
libogg-1.3.6/src/bitwise.c:726:5: call_function: calling ‘oggpackB_write’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:726:5: return_function: returning to ‘copytestB’ from ‘oggpackB_write’
libogg-1.3.6/src/bitwise.c:725:11: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:727:10: call_function: inlined call to ‘oggpackB_get_buffer’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:731:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:731:3: call_function: inlined call to ‘oggpackB_writecopy’ from ‘copytestB’
libogg-1.3.6/src/bitwise.c:736:5: branch_false: following ‘false’ branch...
libogg-1.3.6/src/bitwise.c:740:3: branch_false: ...to here
libogg-1.3.6/src/bitwise.c:743:11: branch_true: following ‘true’ branch (when ‘i < prefill’)...
libogg-1.3.6/src/bitwise.c:744:38: branch_true: ...to here
libogg-1.3.6/src/bitwise.c:744:11: call_function: calling ‘oggpackB_read’ from ‘copytestB’
#  437|       ret|=(unsigned long)b->ptr[1]<<(16+b->endbit);
#  438|       if(bits>16){
#  439|->       ret|=(unsigned long)b->ptr[2]<<(8+b->endbit);
#  440|         if(bits>24){
#  441|           ret|=(unsigned long)b->ptr[3]<<(b->endbit);

Scan Properties

analyzer-version-clippy1.92.0
analyzer-version-cppcheck2.19.1
analyzer-version-gcc16.0.0
analyzer-version-gcc-analyzer16.0.0
analyzer-version-shellcheck0.11.0
analyzer-version-unicontrol0.0.2
diffbase-analyzer-version-clippy1.92.0
diffbase-analyzer-version-cppcheck2.19.1
diffbase-analyzer-version-gcc16.0.0
diffbase-analyzer-version-gcc-analyzer16.0.0
diffbase-analyzer-version-shellcheck0.11.0
diffbase-analyzer-version-unicontrol0.0.2
diffbase-enabled-pluginsclippy, cppcheck, gcc, shellcheck, unicontrol
diffbase-exit-code0
diffbase-hostip-172-16-1-134.us-west-2.compute.internal
diffbase-known-false-positives/usr/share/csmock/known-false-positives.js
diffbase-known-false-positives-rpmknown-false-positives-0.0.0.20250521.132812.g8eff701.main-1.el9.noarch
diffbase-mock-configfedora-rawhide-x86_64
diffbase-project-namelibogg-1.3.6-2.fc44
diffbase-store-results-to/tmp/tmp5_esr31o/libogg-1.3.6-2.fc44.tar.xz
diffbase-time-created2026-01-08 19:10:46
diffbase-time-finished2026-01-08 19:11:59
diffbase-toolcsmock
diffbase-tool-args'/usr/bin/csmock' '-r' 'fedora-rawhide-x86_64' '-t' 'gcc,cppcheck,clippy,shellcheck,unicontrol' '-o' '/tmp/tmp5_esr31o/libogg-1.3.6-2.fc44.tar.xz' '--gcc-analyze' '--unicontrol-notests' '--unicontrol-bidi-only' '--install' 'pam' '--gcc-analyzer-bin=/usr/bin/gcc' '/tmp/tmp5_esr31o/libogg-1.3.6-2.fc44.src.rpm'
diffbase-tool-versioncsmock-3.8.3.20251215.161544.g62de9a5-1.el9
enabled-pluginsclippy, cppcheck, gcc, shellcheck, unicontrol
exit-code0
hostip-172-16-1-134.us-west-2.compute.internal
known-false-positives/usr/share/csmock/known-false-positives.js
known-false-positives-rpmknown-false-positives-0.0.0.20250521.132812.g8eff701.main-1.el9.noarch
mock-configfedora-rawhide-x86_64
project-namelibogg-1.3.6-1.fc43
store-results-to/tmp/tmpl3c7paa5/libogg-1.3.6-1.fc43.tar.xz
time-created2026-01-08 19:08:44
time-finished2026-01-08 19:10:25
titleFixed findings
toolcsmock
tool-args'/usr/bin/csmock' '-r' 'fedora-rawhide-x86_64' '-t' 'gcc,cppcheck,clippy,shellcheck,unicontrol' '-o' '/tmp/tmpl3c7paa5/libogg-1.3.6-1.fc43.tar.xz' '--gcc-analyze' '--unicontrol-notests' '--unicontrol-bidi-only' '--install' 'pam' '--gcc-analyzer-bin=/usr/bin/gcc' '/tmp/tmpl3c7paa5/libogg-1.3.6-1.fc43.src.rpm'
tool-versioncsmock-3.8.3.20251215.161544.g62de9a5-1.el9