Thanks to visit codestin.com
Credit goes to www.scribd.com

Scribd
Upload
25 views17 pages

ARINC - Protocols - Capability - Building - Issues

The document outlines critical issues identified in the ARINC Protocols Capability Building project, primarily related to potential null pointer dereferences in the C and C++ code. A total of 29 issues are highlighted, with many requiring analysis and fixes to prevent runtime errors. The severity of these issues is classified as critical, indicating the need for immediate attention from the development team.

Uploaded by

17081 Prashant
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
25 views17 pages

ARINC - Protocols - Capability - Building - Issues

The document outlines critical issues identified in the ARINC Protocols Capability Building project, primarily related to potential null pointer dereferences in the C and C++ code. A total of 29 issues are highlighted, with many requiring analysis and fixes to prevent runtime errors. The severity of these issues is classified as critical, indicating the need for immediate attention from the development team.

Uploaded by

17081 Prashant
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 17

3/3/23, 3:22 PM ARINC_Protocols_Capability_Building - Issues

Issues for ARINC_Protocols_Capability_Building

Search query: status:+Analyze,+Fix

View: *default*

#1: Pointer 'buf' will be dereferenced at line 658 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\api_lib.c:658 | netconn_recv_data()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#2: Pointer 'err' may be dereferenced at line 136 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\api_msg.c:136 | lwip_netconn_is_err_msg()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#3: Pointer 'err' may be dereferenced at line 139 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\api_msg.c:139 | lwip_netconn_is_err_msg()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#4: Pointer 'err' may be dereferenced at line 142 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\api_msg.c:142 | lwip_netconn_is_err_msg()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#5: Pointer 'conn' will be dereferenced at line 364 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\api_msg.c:364 | poll_tcp()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#6: Pointer 'conn' will be dereferenced at line 445 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\api_msg.c:445 | err_tcp()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#7: Pointer 'conn->current_msg' will be dereferenced at line 489 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\api_msg.c:489 | err_tcp()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#8: Pointer 'conn->current_msg' will be dereferenced at line 492 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\api_msg.c:492 | err_tcp()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#9: Pointer 'conn' will be dereferenced at line 931 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\api_msg.c:931 |
lwip_netconn_do_close_internal()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#10: Pointer 'conn->current_msg' will be dereferenced at line 937 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\api_msg.c:937 |
lwip_netconn_do_close_internal()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#11: Pointer 'op_completed_sem' will be dereferenced at line 1336 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\api_msg.c:1336 | lwip_netconn_do_connected()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#12: Pointer 'conn' will be dereferenced at line 1652 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\api_msg.c:1652 | lwip_netconn_do_writemore()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#13: Pointer 'conn->current_msg' will be dereferenced at line 1656 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\api_msg.c:1656 | lwip_netconn_do_writemore()
https://klocwork.einfochips.com:8082/review/KwcService?PROJECT=ARINC_Protocols_Capability_Building&VIEW_ID=1&SEARCH_QUERY=status%3A%2BAnalyze%2C%2BFix&SORT_DIRECTIO… 1/17
3/3/23, 3:22 PM ARINC_Protocols_Capability_Building - Issues
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#14: Null pointer 'op_completed_sem' that comes from line 1305 may be dereferenced at line 1336.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\api_msg.c:1336 | lwip_netconn_do_connected()
Code: NPD.GEN.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#15: Pointer 'fdb' will be dereferenced at line 186 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\netif\bridgeif_fdb.c:186 | bridgeif_age_tmr()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#16: Suspicious dereference of pointer 'object->valuestring' by passing argument 1 to function 'strlen' at line 408 before NULL check at line 418
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\cJSON\cJSON.c:408 | cJSON_SetValuestring()
Code: RNPD.CALL | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#17: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\FreeRTOS\Source\CMSIS_RTOS_V2\cmsis_os2.c:654 |
osThreadExit()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#18: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\CMSIS\Include\core_cm7.h:2165 | __NVIC_SystemReset()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#19: Pointer 'q' checked for NULL at line 799 may be passed to function and may be dereferenced there by passing argument 2 to function
'etharp_output_to_arp_index' at line 868.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\etharp.c:868 | etharp_output()
Code: NPD.CHECK.CALL.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#20: Pointer 'q' checked for NULL at line 799 may be passed to function and may be dereferenced there by passing argument 2 to function
'etharp_output_to_arp_index' at line 885.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\etharp.c:885 | etharp_output()
Code: NPD.CHECK.CALL.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#21: Pointer 'q' checked for NULL at line 799 may be passed to function and may be dereferenced there by passing argument 2 to function 'ethernet_output' at line
896.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\etharp.c:896 | etharp_output()
Code: NPD.CHECK.CALL.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#22: Pointer 'netif' checked for NULL at line 798 will be passed to function and may be dereferenced there by passing argument 2 to function
'ip4_addr_isbroadcast_u32' at line 806.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\etharp.c:806 | etharp_output()
Code: NPD.CHECK.CALL.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#23: Pointer 'eth_ret' may be dereferenced at line 595 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\etharp.c:595 | etharp_find_addr()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#24: Pointer 'ip_ret' may be dereferenced at line 596 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\etharp.c:596 | etharp_find_addr()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#25: Pointer 'ipaddr' may be dereferenced at line 619 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\etharp.c:619 | etharp_get_entry()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#26: Pointer 'netif' may be dereferenced at line 620 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\etharp.c:620 | etharp_get_entry()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned

https://klocwork.einfochips.com:8082/review/KwcService?PROJECT=ARINC_Protocols_Capability_Building&VIEW_ID=1&SEARCH_QUERY=status%3A%2BAnalyze%2C%2BFix&SORT_DIRECTIO… 2/17
3/3/23, 3:22 PM ARINC_Protocols_Capability_Building - Issues

#27: Pointer 'eth_ret' may be dereferenced at line 621 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\etharp.c:621 | etharp_get_entry()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#28: Pointer 'netif' may be dereferenced at line 825 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\etharp.c:825 | etharp_output()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#29: Pointer 'netif' may be dereferenced at line 1130 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\etharp.c:1130 | etharp_raw()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#30: Pointer 'ipaddr' will be dereferenced at line 806 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\etharp.c:806 | etharp_output()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#31: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\LWIP\Target\ethernetif.c:447 | ethernetif_input()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#32: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\LWIP\Target\ethernetif.c:821 | ethernet_link_thread()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#33: Address of a local variable is returned through global variable 'heth.Init.MACAddr'.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\LWIP\Target\ethernetif.c:348 | low_level_init()
Code: LOCRET.GLOB | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#34: Address of a local variable is returned through global variable 'TxConfig.TxBuffer'.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\LWIP\Target\ethernetif.c:410 | low_level_output()
Code: LOCRET.GLOB | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#35: Pointer 'netif' will be dereferenced at line 515 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\LWIP\Target\ethernetif.c:515 | ethernetif_init()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#36: Array 'win' of size 512 may use index value(s) 1..512
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\FatFs\src\ff.c:1029 | get_fat()
Code: ABV.GENERAL | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#37: Array 'win' of size 512 may use index value(s) 1..512
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\FatFs\src\ff.c:1034 | get_fat()
Code: ABV.GENERAL | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#38: Array 'win' of size 512 may use index value(s) 2..513
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\FatFs\src\ff.c:1034 | get_fat()
Code: ABV.GENERAL | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#39: Array 'win' of size 512 may use index value(s) 3..514
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\FatFs\src\ff.c:1034 | get_fat()
Code: ABV.GENERAL | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#40: Array 'win' of size 512 may use index value(s) 1..512
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\FatFs\src\ff.c:1121 | put_fat()
Code: ABV.GENERAL | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#41: Array 'win' of size 512 may use index value(s) 2..513
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\FatFs\src\ff.c:1121 | put_fat()
Code: ABV.GENERAL | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned

https://klocwork.einfochips.com:8082/review/KwcService?PROJECT=ARINC_Protocols_Capability_Building&VIEW_ID=1&SEARCH_QUERY=status%3A%2BAnalyze%2C%2BFix&SORT_DIRECTIO… 3/17
3/3/23, 3:22 PM ARINC_Protocols_Capability_Building - Issues

#42: Array 'win' of size 512 may use index value(s) 3..514
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\FatFs\src\ff.c:1121 | put_fat()
Code: ABV.GENERAL | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#43: Array 'ExCvt' of size 128 may use index value(s) -127..-1
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\FatFs\src\ff.c:2699 | create_name()
Code: ABV.GENERAL | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#44: Array 'str' of size 32 may use index value(s) 32
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\FatFs\src\ff.c:6125 | f_printf()
Code: ABV.GENERAL | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#45: Array 'str' of size 32 may use index value(s) 32
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\FatFs\src\ff.c:6129 | f_printf()
Code: ABV.GENERAL | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#46: Array 'rxRegAddr' of size 1025 may use index value(s) 1025
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\EIC\eIAPB_Library\HI-3200_driver\src\hi3200_driver.c:787 | readCANID()
Code: ABV.GENERAL | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#47: Pointer 'prev' checked for NULL at line 172 will be passed to function and may be dereferenced there by passing argument 2 to function
'ip_reass_dequeue_datagram' at line 209.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\ip4_frag.c:209 |
ip_reass_free_complete_datagram()
Code: NPD.CHECK.CALL.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#48: Pointer 'ipr_prev' checked for NULL at line 655 will be passed to function and may be dereferenced there by passing argument 2 to function
'ip_reass_dequeue_datagram' at line 663.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\ip4_frag.c:663 | ip4_reass()
Code: NPD.CHECK.CALL.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#49: Pointer 'ipr_prev' checked for NULL at line 655 will be passed to function and may be dereferenced there by passing argument 2 to function
'ip_reass_dequeue_datagram' at line 663.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\ip4_frag.c:663 | ip4_reass()
Code: NPD.CHECK.CALL.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#50: Pointer 'prev' will be dereferenced at line 326 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\ip4_frag.c:326 |
ip_reass_dequeue_datagram()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#51: Pointer 'pcr' will be dereferenced at line 720 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\ip4_frag.c:720 | ipfrag_free_pbuf_custom()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#52: Null pointer 'prev' that comes from line 130 may be passed to function and can be dereferenced there by passing argument 2 to function
'ip_reass_free_complete_datagram' at line 149.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\ip4_frag.c:149 | ip_reass_tmr()
Code: NPD.GEN.CALL.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#53: Null pointer 'oldest_prev' that comes from line 240 may be passed to function and can be dereferenced there by passing argument 2 to function
'ip_reass_free_complete_datagram' at line 263.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\ip4_frag.c:263 |
ip_reass_remove_oldest_datagram()
Code: NPD.GEN.CALL.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#54: Null pointer 'ipr_prev' that comes from line 653 will be passed to function and can be dereferenced there by passing argument 2 to function
'ip_reass_dequeue_datagram' at line 663.
https://klocwork.einfochips.com:8082/review/KwcService?PROJECT=ARINC_Protocols_Capability_Building&VIEW_ID=1&SEARCH_QUERY=status%3A%2BAnalyze%2C%2BFix&SORT_DIRECTIO… 4/17
3/3/23, 3:22 PM ARINC_Protocols_Capability_Building - Issues
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\ipv4\ip4_frag.c:663 | ip4_reass()
Code: NPD.GEN.CALL.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#55: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\BSP\Components\lan8742\lan8742.c:220 | LAN8742_DisablePowerDownMode()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#56: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\BSP\Components\lan8742\lan8742.c:250 | LAN8742_EnablePowerDownMode()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#57: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\BSP\Components\lan8742\lan8742.c:280 | LAN8742_StartAutoNego()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#58: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\BSP\Components\lan8742\lan8742.c:417 | LAN8742_SetLinkState()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#59: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\BSP\Components\lan8742\lan8742.c:421 | LAN8742_SetLinkState()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#60: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\BSP\Components\lan8742\lan8742.c:460 | LAN8742_EnableLoopbackMode()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#61: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\BSP\Components\lan8742\lan8742.c:490 | LAN8742_DisableLoopbackMode()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#62: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\Application\led_task\src\led_manager.c:137 | ledMngrTask()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#63: Pointer 'ip4addr_ntoa( & (pNetIf[i] ->ip_addr) )' returned from call to function 'ip4addr_ntoa' at line 86 may be NULL and will be dereferenced at line 86.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\LWIP\App\lwip.c:86 | getInterfaceDetails()
Code: NPD.FUNC.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#64: Pointer 'ip4addr_ntoa( & (pNetIf[i] ->netmask) )' returned from call to function 'ip4addr_ntoa' at line 89 may be NULL and will be dereferenced at line 89.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\LWIP\App\lwip.c:89 | getInterfaceDetails()
Code: NPD.FUNC.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#65: Pointer 'ip4addr_ntoa( & (pNetIf[i] ->gw) )' returned from call to function 'ip4addr_ntoa' at line 92 may be NULL and will be dereferenced at line 92.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\LWIP\App\lwip.c:92 | getInterfaceDetails()
Code: NPD.FUNC.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#66: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\Core\Src\main.c:229 | main()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#67: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\Core\Src\main.c:770 | StartControlTask()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#68: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\Core\Src\main.c:819 | Error_Handler()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#69: Pointer 'tpcb' may be dereferenced at line 259 after having been checked for NULL.
https://klocwork.einfochips.com:8082/review/KwcService?PROJECT=ARINC_Protocols_Capability_Building&VIEW_ID=1&SEARCH_QUERY=status%3A%2BAnalyze%2C%2BFix&SORT_DIRECTIO… 5/17
3/3/23, 3:22 PM ARINC_Protocols_Capability_Building - Issues
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\apps\mqtt\mqtt.c:259 | mqtt_output_send()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#70: Pointer 'tpcb' may be dereferenced at line 266 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\apps\mqtt\mqtt.c:266 | mqtt_output_send()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#71: Pointer 'r_objs' may be dereferenced at line 294 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\apps\mqtt\mqtt.c:294 | mqtt_create_request()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#72: Pointer 'r_objs' may be dereferenced at line 442 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\apps\mqtt\mqtt.c:442 | mqtt_init_requests()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#73: Pointer 'client_info->client_id' may be dereferenced at line 1354 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\apps\mqtt\mqtt.c:1354 | mqtt_client_connect()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#74: Pointer 'tail' will be dereferenced at line 322 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\apps\mqtt\mqtt.c:322 | mqtt_append_request()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#75: Pointer 'tail' will be dereferenced at line 361 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\apps\mqtt\mqtt.c:361 | mqtt_take_request()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#76: Pointer 'tail' will be dereferenced at line 395 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\apps\mqtt\mqtt.c:395 | mqtt_request_time_elapsed()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#77: Pointer 'tail' will be dereferenced at line 424 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\apps\mqtt\mqtt.c:424 | mqtt_clear_requests()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#78: Pointer 'rb' will be dereferenced at line 527 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\apps\mqtt\mqtt.c:527 | mqtt_output_check_space()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#79: Pointer 'client' will be dereferenced at line 542 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\apps\mqtt\mqtt.c:542 | mqtt_close()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#80: Pointer 'client' will be dereferenced at line 582 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\apps\mqtt\mqtt.c:582 | mqtt_cyclic_timer()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#81: Pointer 'client' will be dereferenced at line 936 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\apps\mqtt\mqtt.c:936 | mqtt_tcp_recv_cb()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#82: Pointer 'client' will be dereferenced at line 1016 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\apps\mqtt\mqtt.c:1016 | mqtt_tcp_err_cb()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#83: Pointer 'client' will be dereferenced at line 1243 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\apps\mqtt\mqtt.c:1243 | mqtt_set_inpub_callback()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#84: Pointer 'client_info' will be dereferenced at line 1298 after having been checked for NULL.
https://klocwork.einfochips.com:8082/review/KwcService?PROJECT=ARINC_Protocols_Capability_Building&VIEW_ID=1&SEARCH_QUERY=status%3A%2BAnalyze%2C%2BFix&SORT_DIRECTIO… 6/17
3/3/23, 3:22 PM ARINC_Protocols_Capability_Building - Issues
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\apps\mqtt\mqtt.c:1298 | mqtt_client_connect()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#85: Pointer 'client' will be dereferenced at line 1300 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\apps\mqtt\mqtt.c:1300 | mqtt_client_connect()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#86: Suspicious use of index 'rb->put' at line 186 before boundary check at line 188
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\apps\mqtt\mqtt.c:188 | mqtt_ringbuf_put()
Code: RABV.CHECK | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#87: Suspicious dereference of pointer 'tpcb' before NULL check at line 240
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\apps\mqtt\mqtt.c:239 | mqtt_output_send()
Code: RNPD.DEREF | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#88: Pointer 'old_addr' may be dereferenced at line 468 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\netif.c:468 | netif_do_set_ipaddr()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#89: Pointer 'inp' will be dereferenced at line 225 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\netif.c:225 | netif_input()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#90: Pointer 'p' will be dereferenced at line 226 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\netif.c:226 | netif_input()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#91: Pointer 'p' will be dereferenced at line 229 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\netif.c:229 | netif_input()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#92: Pointer 'ipaddr' will be dereferenced at line 463 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\netif.c:463 | netif_do_set_ipaddr()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#93: Pointer 'netif' will be dereferenced at line 880 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\netif.c:880 | netif_issue_reports()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#94: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\Application\Network_Manager\src\network_manager.c:160 | networkMngrTask()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#95: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\ThreadSafe\newlib_lock_glue.c:47 | Error_Handler()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#96: Non-void function does not return value
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\pbuf.c:613 | pbuf_remove_header()
Code: FUNCRET.GEN | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#97: Non-void function does not return value
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\pbuf.c:1012 | pbuf_copy()
Code: FUNCRET.GEN | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#98: Pointer 'p' will be dereferenced at line 411 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\pbuf.c:411 | pbuf_realloc()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#99: Pointer 'q' will be dereferenced at line 424 after having been checked for NULL.
https://klocwork.einfochips.com:8082/review/KwcService?PROJECT=ARINC_Protocols_Capability_Building&VIEW_ID=1&SEARCH_QUERY=status%3A%2BAnalyze%2C%2BFix&SORT_DIRECTIO… 7/17
3/3/23, 3:22 PM ARINC_Protocols_Capability_Building - Issues
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\pbuf.c:424 | pbuf_realloc()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#100: Pointer 'q' will be dereferenced at line 448 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\pbuf.c:448 | pbuf_realloc()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#101: Pointer 'pc->custom_free_function' will be dereferenced at line 768 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\pbuf.c:768 | pbuf_free()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#102: Pointer 'p' will be dereferenced at line 1215 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\pbuf.c:1215 | pbuf_take()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#103: Pointer 'q' returned from call to function 'mem_trim' at line 444 may be NULL and will be dereferenced at line 448.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\pbuf.c:448 | pbuf_realloc()
Code: NPD.FUNC.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#104: Array 'buf' of size 32 may use index value(s) 32
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\embedded_tiny_printf\src\printf.c:461 | _ftoa()
Code: ABV.GENERAL | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#105: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source
Code\branches\eiapb_disco_base\Middlewares\ST\STM32_USB_Device_Library\RNDIS_VCP_Device\RNDIS_Device\rndisif.c:312 | rndisif_input()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#106: Pointer 'netif' will be dereferenced at line 195 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source
Code\branches\eiapb_disco_base\Middlewares\ST\STM32_USB_Device_Library\RNDIS_VCP_Device\RNDIS_Device\rndisif.c:195 | rndisif_init()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#107: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\Application\sdmmc_task\src\sdmmc_intf_mngr.c:175 | sdmmcMngrMonitorTask()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#108: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\netif\slipif.c:336 | slipif_loop_thread()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#109: Pointer 'netif' will be dereferenced at line 124 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\netif\slipif.c:124 | slipif_output()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#110: Pointer 'priv' will be dereferenced at line 132 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\netif\slipif.c:132 | slipif_output()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#111: Pointer 'netif' will be dereferenced at line 213 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\netif\slipif.c:213 | slipif_rxbyte()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#112: Pointer 'priv' will be dereferenced at line 217 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\netif\slipif.c:217 | slipif_rxbyte()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#113: Pointer 'netif' will be dereferenced at line 432 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\netif\slipif.c:432 | slipif_poll()

https://klocwork.einfochips.com:8082/review/KwcService?PROJECT=ARINC_Protocols_Capability_Building&VIEW_ID=1&SEARCH_QUERY=status%3A%2BAnalyze%2C%2BFix&SORT_DIRECTIO… 8/17
3/3/23, 3:22 PM ARINC_Protocols_Capability_Building - Issues
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#114: Pointer 'priv' will be dereferenced at line 436 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\netif\slipif.c:436 | slipif_poll()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#115: Pointer 'newconn' checked for NULL at line 651 will be passed to function and may be dereferenced there by passing argument 1 to function 'alloc_socket' at line
653.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\sockets.c:653 | lwip_accept()
Code: NPD.CHECK.CALL.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#116: Pointer 'from' checked for NULL at line 1032 will be passed to function and may be dereferenced there by passing argument 1 to function 'memcpy' at line 1049.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\sockets.c:1049 | lwip_sock_make_addr()
Code: NPD.CHECK.CALL.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#117: Pointer 'newconn' may be dereferenced at line 669 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\sockets.c:669 | lwip_accept()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#118: Pointer 'sock' will be dereferenced at line 927 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\sockets.c:927 | lwip_recv_tcp()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#119: Pointer 'p' will be dereferenced at line 972 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\sockets.c:972 | lwip_recv_tcp()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#120: Pointer 'fromaddr' will be dereferenced at line 1043 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\sockets.c:1043 | lwip_sock_make_addr()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#121: Pointer 'fromlen' will be dereferenced at line 1044 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\sockets.c:1044 | lwip_sock_make_addr()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#122: Pointer 'buf' will be dereferenced at line 1121 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\sockets.c:1121 | lwip_recvfrom_udp_raw()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#123: Pointer 'select_cb->prev' will be dereferenced at line 1809 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\sockets.c:1809 | lwip_unlink_select_cb()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#124: Pointer 'newconn' returned from call to function 'netconn_accept' at line 638 may be NULL and may be dereferenced at line 669.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\sockets.c:669 | lwip_accept()
Code: NPD.FUNC.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#125: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_gpio.c:479 |
HAL_GPIO_LockPin()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#126: Array 'CID' of size 1 may use index value(s) 1
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_pcd.c:2203 |
PCD_EP_OutXfrComplete_int()
Code: ABV.GENERAL | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#127: Array 'CID' of size 1 may use index value(s) 1

https://klocwork.einfochips.com:8082/review/KwcService?PROJECT=ARINC_Protocols_Capability_Building&VIEW_ID=1&SEARCH_QUERY=status%3A%2BAnalyze%2C%2BFix&SORT_DIRECTIO… 9/17
3/3/23, 3:22 PM ARINC_Protocols_Capability_Building - Issues
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_pcd.c:2314 |
PCD_EP_OutSetupPacket_int()
Code: ABV.GENERAL | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#128: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_rtc_ex.c:2712 |
HAL_RTCEx_EnableBypassShadow()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#129: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_rtc_ex.c:2744 |
HAL_RTCEx_DisableBypassShadow()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#130: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_spi.c:1313 |
HAL_SPI_TransmitReceive()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#131: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_spi.c:1351 |
HAL_SPI_TransmitReceive()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#132: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_spi.c:1397 |
HAL_SPI_TransmitReceive()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#133: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:1720 | HAL_UART_Abort()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#134: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:1724 | HAL_UART_Abort()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#135: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:1786 |
HAL_UART_AbortTransmit()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#136: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:1852 |
HAL_UART_AbortReceive()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#137: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:1990 |
HAL_UART_Abort_IT()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#138: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:1994 |
HAL_UART_Abort_IT()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#139: Operands in a bitwise operation have different size
https://klocwork.einfochips.com:8082/review/KwcService?PROJECT=ARINC_Protocols_Capability_Building&VIEW_ID=1&SEARCH_QUERY=status%3A%2BAnalyze%2C%2BFix&SORT_DIRECTI… 10/17
3/3/23, 3:22 PM ARINC_Protocols_Capability_Building - Issues
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:2086 |
HAL_UART_AbortTransmit_IT()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#140: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:2163 |
HAL_UART_AbortReceive_IT()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#141: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:2845 |
HAL_MultiProcessor_EnterMuteMode()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#142: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:2910 |
HAL_LIN_SendBreak()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#143: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:3895 |
UART_DMATxAbortCallback()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#144: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:3948 |
UART_DMARxAbortCallback()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#145: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:3983 |
UART_DMATxOnlyAbortCallback()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#146: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:4017 |
UART_DMARxOnlyAbortCallback()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#147: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:4287 |
UART_RxISR_8BIT()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#148: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:4380 |
UART_RxISR_16BIT()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#149: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:4542 |
UART_RxISR_8BIT_FIFOEN()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#150: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:4706 |
UART_RxISR_16BIT_FIFOEN()

https://klocwork.einfochips.com:8082/review/KwcService?PROJECT=ARINC_Protocols_Capability_Building&VIEW_ID=1&SEARCH_QUERY=status%3A%2BAnalyze%2C%2BFix&SORT_DIRECTIO… 11/17
3/3/23, 3:22 PM ARINC_Protocols_Capability_Building - Issues
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#151: Null pointer 'pdata16bits' that comes from line 1152 may be dereferenced at line 1166.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:1166 |
HAL_UART_Transmit()
Code: NPD.GEN.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#152: Null pointer 'pdata16bits' that comes from line 1248 may be dereferenced at line 1262.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart.c:1262 |
HAL_UART_Receive()
Code: NPD.GEN.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#153: Null pointer 'pdata16bits' that comes from line 751 may be dereferenced at line 782.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_hal_uart_ex.c:782 |
HAL_UARTEx_ReceiveToIdle()
Code: NPD.GEN.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#154: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\Core\Src\stm32h7xx_it.c:78 | NMI_Handler()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#155: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\Core\Src\stm32h7xx_it.c:92 | HardFault_Handler()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#156: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\Core\Src\stm32h7xx_it.c:107 | MemManage_Handler()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#157: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\Core\Src\stm32h7xx_it.c:122 | BusFault_Handler()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#158: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\Core\Src\stm32h7xx_it.c:137 | UsageFault_Handler()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#159: Array 'CID' of size 1 may use index value(s) 1
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_ll_usb.c:1358 | USB_EP0_OutStart()
Code: ABV.GENERAL | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#160: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Drivers\STM32H7xx_HAL_Driver\Src\stm32h7xx_ll_usb.c:539 | USB_SetDevSpeed()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#161: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\Core\Src\syscalls.c:64 | _exit()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#162: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\FreeRTOS\Source\tasks.c:3405 | prvIdleTask()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#163: Pointer 'seg' may be dereferenced at line 1672 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp.c:1672 | tcp_seg_copy()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#164: Pointer 'old_addr' may be dereferenced at line 2308 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp.c:2308 | tcp_netif_ip_addr_changed_pcblist()

https://klocwork.einfochips.com:8082/review/KwcService?PROJECT=ARINC_Protocols_Capability_Building&VIEW_ID=1&SEARCH_QUERY=status%3A%2BAnalyze%2C%2BFix&SORT_DIRECTI… 12/17
3/3/23, 3:22 PM ARINC_Protocols_Capability_Building - Issues
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#165: Pointer 'pcb' will be dereferenced at line 274 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp.c:274 | tcp_listen_closed()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#166: Pointer 'pcb' will be dereferenced at line 352 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp.c:352 | tcp_close_shutdown()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#167: Pointer 'pcb' will be dereferenced at line 378 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp.c:378 | tcp_close_shutdown()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#168: Pointer 'pcb' will be dereferenced at line 414 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp.c:414 | tcp_close_shutdown_fin()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#169: Pointer 'pcb' will be dereferenced at line 935 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp.c:935 | tcp_update_rcv_ann_wnd()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#170: Pointer 'pcblist' will be dereferenced at line 2182 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp.c:2182 | tcp_pcb_remove()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#171: Pointer 'pcb' will be dereferenced at line 2182 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp.c:2182 | tcp_pcb_remove()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#172: Pointer 'pcb' will be dereferenced at line 2182 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp.c:2182 | tcp_pcb_remove()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#173: Operands in a bitwise operation have different size
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_in.c:1941 | tcp_parseopt()
Code: CWARN.BITOP.SIZE | Severity: Review (4) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#174: Pointer 'pcb' may be dereferenced at line 607 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_in.c:607 | tcp_input_delayed_close()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#175: Pointer 'pcb' may be dereferenced at line 659 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_in.c:659 | tcp_listen_input()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#176: Pointer 'pcb' may be dereferenced at line 756 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_in.c:756 | tcp_timewait_input()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#177: Pointer 'pcb' may be dereferenced at line 765 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_in.c:765 | tcp_timewait_input()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#178: Pointer 'pcb' may be dereferenced at line 770 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_in.c:770 | tcp_timewait_input()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#179: Pointer 'pcb' may be dereferenced at line 1943 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_in.c:1943 | tcp_parseopt()
https://klocwork.einfochips.com:8082/review/KwcService?PROJECT=ARINC_Protocols_Capability_Building&VIEW_ID=1&SEARCH_QUERY=status%3A%2BAnalyze%2C%2BFix&SORT_DIRECTI… 13/17
3/3/23, 3:22 PM ARINC_Protocols_Capability_Building - Issues
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#180: Pointer 'p' will be dereferenced at line 138 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_in.c:138 | tcp_input()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#181: Pointer 'p->next' will be dereferenced at line 208 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_in.c:208 | tcp_input()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#182: Pointer 'pcb' will be dereferenced at line 801 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_in.c:801 | tcp_process()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#183: Pointer 'pcb' will be dereferenced at line 837 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_in.c:837 | tcp_process()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#184: Pointer 'pcb' will be dereferenced at line 843 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_in.c:843 | tcp_process()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#185: Pointer 'rseg' will be dereferenced at line 885 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_in.c:885 | tcp_process()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#186: Pointer 'cseg' will be dereferenced at line 1057 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_in.c:1057 | tcp_oos_insert_segment()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#187: Pointer 'pcb' will be dereferenced at line 1148 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_in.c:1148 | tcp_receive()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#188: Pointer 'inseg.p' will be dereferenced at line 1431 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_in.c:1431 | tcp_receive()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#189: Suspicious dereference of pointer 'p' before NULL check at line 568
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_in.c:138 | tcp_input()
Code: RNPD.DEREF | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#190: Pointer 'netif' checked for NULL at line 1466 may be passed to function and may be dereferenced there by passing argument 7 to function 'ip4_output_if' at line
1608.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:1608 | tcp_output_segment()
Code: NPD.CHECK.CALL.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#191: Pointer 'local_ip' checked for NULL at line 1988 may be passed to function and may be dereferenced there by passing argument 3 to function
'tcp_output_control_segment' at line 2009.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:2009 | tcp_rst()
Code: NPD.CHECK.CALL.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#192: Pointer 'remote_ip' checked for NULL at line 1989 may be passed to function and may be dereferenced there by passing argument 4 to function
'tcp_output_control_segment' at line 2009.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:2009 | tcp_rst()
Code: NPD.CHECK.CALL.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#193: Pointer 'p' may be dereferenced at line 176 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:176 | tcp_create_segment()

https://klocwork.einfochips.com:8082/review/KwcService?PROJECT=ARINC_Protocols_Capability_Building&VIEW_ID=1&SEARCH_QUERY=status%3A%2BAnalyze%2C%2BFix&SORT_DIRECTI… 14/17
3/3/23, 3:22 PM ARINC_Protocols_Capability_Building - Issues
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#194: Pointer 'pcb' may be dereferenced at line 197 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:197 | tcp_create_segment()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#195: Pointer 'pcb' may be dereferenced at line 255 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:255 | tcp_pbuf_prealloc()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#196: Pointer 'oversize' may be dereferenced at line 268 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:268 | tcp_pbuf_prealloc()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#197: Pointer 'pcb' may be dereferenced at line 1477 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:1477 | tcp_output_segment()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#198: Pointer 'p' may be dereferenced at line 1936 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:1936 | tcp_output_control_segment()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#199: Pointer 'p' may be dereferenced at line 1951 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:1951 | tcp_output_control_segment()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#200: Pointer 'pcb' will be dereferenced at line 310 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:310 | tcp_write_checks()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#201: Pointer 'p' will be dereferenced at line 744 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:744 | tcp_write()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#202: Pointer 'pcb' will be dereferenced at line 845 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:845 | tcp_split_unsent_seg()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#203: Pointer 'pcb' will be dereferenced at line 1006 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:1006 | tcp_send_fin()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#204: Pointer 'pcb' will be dereferenced at line 1077 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:1077 | tcp_enqueue_flags()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#205: Pointer 'pcb' will be dereferenced at line 1085 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:1085 | tcp_enqueue_flags()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#206: Pointer 'pcb' will be dereferenced at line 1252 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:1252 | tcp_output()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#207: Pointer 'seg' will be dereferenced at line 1468 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:1468 | tcp_output_segment()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#208: Pointer 'pcb' will be dereferenced at line 1637 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:1637 | tcp_rexmit_rto_prepare()
https://klocwork.einfochips.com:8082/review/KwcService?PROJECT=ARINC_Protocols_Capability_Building&VIEW_ID=1&SEARCH_QUERY=status%3A%2BAnalyze%2C%2BFix&SORT_DIRECTI… 15/17
3/3/23, 3:22 PM ARINC_Protocols_Capability_Building - Issues
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#209: Pointer 'pcb' will be dereferenced at line 1691 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:1691 | tcp_rexmit_rto_commit()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#210: Pointer 'pcb' will be dereferenced at line 1711 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:1711 | tcp_rexmit_rto()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#211: Pointer 'pcb' will be dereferenced at line 1731 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:1731 | tcp_rexmit()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#212: Pointer 'pcb' will be dereferenced at line 1787 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:1787 | tcp_rexmit_fast()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#213: Pointer 'pcb' will be dereferenced at line 1860 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:1860 | tcp_output_alloc_header()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#214: Pointer 'p' will be dereferenced at line 1880 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:1880 | tcp_output_fill_options()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#215: Pointer 'pcb' will be dereferenced at line 2042 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:2042 | tcp_send_empty_ack()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#216: Pointer 'pcb' will be dereferenced at line 2093 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:2093 | tcp_keepalive()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#217: Pointer 'pcb' will be dereferenced at line 2139 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\tcp_out.c:2139 | tcp_zero_window_probe()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#218: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\api\tcpip.c:139 | tcpip_thread()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#219: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\Application\command_line_interface\src\telnet_console.c:183 | prvTelnetCliTask()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#220: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\FreeRTOS\Source\timers.c:568 | prvTimerTask()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#221: Non-void function does not return value
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\udp.c:601 | udp_sendto()
Code: FUNCRET.GEN | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#222: Non-void function does not return value
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\udp.c:694 | udp_sendto_if()
Code: FUNCRET.GEN | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#223: Non-void function does not return value
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\udp.c:909 | udp_sendto_if_src()
https://klocwork.einfochips.com:8082/review/KwcService?PROJECT=ARINC_Protocols_Capability_Building&VIEW_ID=1&SEARCH_QUERY=status%3A%2BAnalyze%2C%2BFix&SORT_DIRECTI… 16/17
3/3/23, 3:22 PM ARINC_Protocols_Capability_Building - Issues
Code: FUNCRET.GEN | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#224: Pointer 'inp' checked for NULL at line 208 may be passed to function and may be dereferenced there by passing argument 2 to function 'udp_input_local_match'
at line 263.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\udp.c:263 | udp_input()
Code: NPD.CHECK.CALL.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#225: Pointer '&(inp->netmask)' may be dereferenced at line 166 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\udp.c:166 | udp_input_local_match()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#226: Pointer 'inp' may be dereferenced at line 271 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\udp.c:271 | udp_input()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#227: Pointer 'inp' may be dereferenced at line 324 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\udp.c:324 | udp_input()
Code: NPD.CHECK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#228: Pointer 'pcb' will be dereferenced at line 139 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\udp.c:139 | udp_input_local_match()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#229: Pointer 'p' will be dereferenced at line 215 after having been checked for NULL.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\Third_Party\LwIP\src\core\udp.c:215 | udp_input()
Code: NPD.CHECK.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#230: 'hcdc->RxBuffer' gets its value from uninitialized heap memory area.
C:\Users\146661\eIAPB\13. Coding & Development\Source
Code\branches\eiapb_disco_base\Middlewares\ST\STM32_USB_Device_Library\Class\RNDIS_VCP_Composite\Src\usbd_cdc_rndis.c:561 | USBD_CDC_RNDIS_Init()
Code: UNINIT.HEAP.MUST | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#231: 'hcdc->RxBuffer' may get its value from uninitialized heap memory area.
C:\Users\146661\eIAPB\13. Coding & Development\Source
Code\branches\eiapb_disco_base\Middlewares\ST\STM32_USB_Device_Library\Class\RNDIS_VCP_Composite\Src\usbd_cdc_vcp.c:475 | USBD_CDC_VCP_Init()
Code: UNINIT.HEAP.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#232: 'hcdc->RxBuffer' may get its value from uninitialized heap memory area.
C:\Users\146661\eIAPB\13. Coding & Development\Source
Code\branches\eiapb_disco_base\Middlewares\ST\STM32_USB_Device_Library\Class\RNDIS_VCP_Composite\Src\usbd_cdc_vcp.c:481 | USBD_CDC_VCP_Init()
Code: UNINIT.HEAP.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#233: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source
Code\branches\eiapb_disco_base\Middlewares\ST\STM32_USB_Device_Library\RNDIS_VCP_Device\virtual_com_device\usbd_cdc_vcp_if.c:297 | vcpTxTask()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#234: 'len' might be used uninitialized in this function.
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\Middlewares\ST\STM32_USB_Device_Library\Core_ex\Src\usbd_ctlreq.c:597 |
USBD_GetDescriptor()
Code: UNINIT.STACK.MIGHT | Severity: Critical (1) | State: Existing | Status: Analyze | Taxonomy: C and C++ | Owner: unowned
#235: Infinite loop
C:\Users\146661\eIAPB\13. Coding & Development\Source Code\branches\eiapb_disco_base\CM7\Application\a825_test_application\src\a825_test_app.c:93 | a825TxTask()
Code: INFINITE_LOOP.LOCAL | Severity: Error (2) | State: New | Status: Analyze | Taxonomy: C and C++ | Owner: unowned

https://klocwork.einfochips.com:8082/review/KwcService?PROJECT=ARINC_Protocols_Capability_Building&VIEW_ID=1&SEARCH_QUERY=status%3A%2BAnalyze%2C%2BFix&SORT_DIRECTI… 17/17

You might also like