--------------------------------------------------------------------------- 1 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/c28/f2838x/init/Boot.c:154 CWARN.BITOP.SIZE (4:Review) Analyze Operands in a bitwise operation have different size Current status 'Analyze' --------------------------------------------------------------------------- 2 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/c28/f2838x/init/Boot.c:157 CWARN.BITOP.SIZE (4:Review) Analyze Operands in a bitwise operation have different size Current status 'Analyze' --------------------------------------------------------------------------- 3 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/arp32/Hwi.c:258 CWARN.BITOP.SIZE (4:Review) Analyze Operands in a bitwise operation have different size Current status 'Analyze' --------------------------------------------------------------------------- 4 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/arp32/Hwi.c:259 CWARN.BITOP.SIZE (4:Review) Analyze Operands in a bitwise operation have different size Current status 'Analyze' --------------------------------------------------------------------------- 5 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/arp32/Hwi.c:356 CWARN.BITOP.SIZE (4:Review) Analyze Operands in a bitwise operation have different size Current status 'Analyze' --------------------------------------------------------------------------- 6 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/arp32/Hwi.c:372 CWARN.BITOP.SIZE (4:Review) Analyze Operands in a bitwise operation have different size Current status 'Analyze' --------------------------------------------------------------------------- 7 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/arp32/Hwi.c:827 CWARN.BITOP.SIZE (4:Review) Analyze Operands in a bitwise operation have different size Current status 'Analyze' --------------------------------------------------------------------------- 8 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/arp32/Hwi.c:265 NPD.CHECK.MUST (1:Critical) Analyze Pointer 'ti_sysbios_family_arp32_Hwi_Module__state__V.dispatchTable' checked for NULL at line 256 will be dereferenced at line 265. * Hwi.c:256: 'ti_sysbios_family_arp32_Hwi_Module__state__V.dispatchTable' is checked for NULL. * Hwi.c:256: ( (ti_sysbios_family_arp32_Hwi_Module_State* ) ( ( & (ti_sysbios_family_arp32_Hwi_Module__state__V) ) ) ) ->dispatchTable!=0 is false * Hwi.c:256: (i!=hwi->intNum) && ( ( (ti_sysbios_family_arp32_Hwi_Module_State* ) ( ( & (ti_sysbios_family_arp32_Hwi_Module__state__V) ) ) ) ->dispatchTable!=0) && ( ( (ti_sysbios_family_arp32_Hwi_Module_State* ) ( ( & (ti_sysbios_family_arp32_Hwi_Module__state__V) ) ) ) ->dispatchTable[i] ->vectorNum==hwi->vectorNum) is false * Hwi.c:265: 'ti_sysbios_family_arp32_Hwi_Module__state__V.dispatchTable' is explicitly dereferenced. Current status 'Analyze' --------------------------------------------------------------------------- 9 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/arp32/Hwi.c:409 ABV.GENERAL (1:Critical) Analyze Array 'intc' of size 4 may use index value(s) 4..134217727 * Hwi.c:403: Array 'intc' is defined. * Hwi.c:409: intNum/32 * Hwi.c:409: Type constraint 'intNum' is '[0,4294967295]' * Hwi.c:409: Result of expression 'intNum idiv 32' is '[0,134217727]' * Hwi.c:409: Possible attempt to access element 4..134217727 of array 'intc'. Current status 'Analyze' --------------------------------------------------------------------------- 10 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/arp32/Hwi.c:412 ABV.GENERAL (1:Critical) Analyze Array 'intc' of size 4 may use index value(s) 4..134217727 * Hwi.c:403: Array 'intc' is defined. * Hwi.c:412: intNum/32 * Hwi.c:412: Type constraint 'intNum' is '[0,4294967295]' * Hwi.c:412: Result of expression 'intNum idiv 32' is '[0,134217727]' * Hwi.c:412: Possible attempt to access element 4..134217727 of array 'intc'. Current status 'Analyze' --------------------------------------------------------------------------- 11 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/arp32/Hwi.c:441 ABV.GENERAL (1:Critical) Analyze Array 'intc' of size 4 may use index value(s) 4..134217727 * Hwi.c:435: Array 'intc' is defined. * Hwi.c:441: intNum/32 * Hwi.c:441: Type constraint 'intNum' is '[0,4294967295]' * Hwi.c:441: Result of expression 'intNum idiv 32' is '[0,134217727]' * Hwi.c:441: Possible attempt to access element 4..134217727 of array 'intc'. Current status 'Analyze' --------------------------------------------------------------------------- 12 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/arp32/Hwi.c:444 ABV.GENERAL (1:Critical) Analyze Array 'intc' of size 4 may use index value(s) 4..134217727 * Hwi.c:435: Array 'intc' is defined. * Hwi.c:444: intNum/32 * Hwi.c:444: Type constraint 'intNum' is '[0,4294967295]' * Hwi.c:444: Result of expression 'intNum idiv 32' is '[0,134217727]' * Hwi.c:444: Possible attempt to access element 4..134217727 of array 'intc'. Current status 'Analyze' --------------------------------------------------------------------------- 13 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/arp32/Hwi.c:479 ABV.GENERAL (1:Critical) Analyze Array 'intc' of size 4 may use index value(s) 4..134217727 * Hwi.c:476: Array 'intc' is defined. * Hwi.c:479: intNum/32 * Hwi.c:479: Type constraint 'intNum' is '[0,4294967295]' * Hwi.c:479: Result of expression 'intNum idiv 32' is '[0,134217727]' * Hwi.c:479: Possible attempt to access element 4..134217727 of array 'intc'. Current status 'Analyze' --------------------------------------------------------------------------- 14 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/arp32/Hwi.c:528 ABV.GENERAL (1:Critical) Analyze Array 'intc' of size 4 may use index value(s) 4..134217727 * Hwi.c:525: Array 'intc' is defined. * Hwi.c:528: intNum/32 * Hwi.c:528: Type constraint 'intNum' is '[0,4294967295]' * Hwi.c:528: Result of expression 'intNum idiv 32' is '[0,134217727]' * Hwi.c:528: Possible attempt to access element 4..134217727 of array 'intc'. Current status 'Analyze' --------------------------------------------------------------------------- 15 (Local) /db/vendors/ti/hwpi/SDK_package_MTL1ISF_0.9.2.0/source/ti/devices/mtxx/hwpi/hwpi_sysrtc.h:390 CWARN.NOEFFECT.UCMP.GE (4:Review) Analyze Comparison of unsigned value against 0 is always true Current status 'Analyze' --------------------------------------------------------------------------- 16 (Local) /db/vendors/ti/hwpi/SDK_package_MTL1ISF_0.9.2.0/source/ti/devices/mtxx/hwpi/hwpi_sysrtc.h:434 CWARN.NOEFFECT.UCMP.GE (4:Review) Analyze Comparison of unsigned value against 0 is always true Current status 'Analyze' --------------------------------------------------------------------------- 17 (Local) /db/vendors/ti/hwpi/SDK_package_MTL1ISF_0.9.2.0/source/ti/devices/mtxx/hwpi/hwpi_sysrtc.h:2066 CWARN.NOEFFECT.UCMP.GE (4:Review) Analyze Comparison of unsigned value against 0 is always true Current status 'Analyze' --------------------------------------------------------------------------- 18 (Local) /db/vendors/ti/hwpi/SDK_package_MTL1ISF_0.9.2.0/source/ti/devices/mtxx/hwpi/hwpi_sysrtc.h:2130 CWARN.NOEFFECT.UCMP.GE (4:Review) Analyze Comparison of unsigned value against 0 is always true Current status 'Analyze' --------------------------------------------------------------------------- 19 (Local) /db/vendors/ti/hwpi/SDK_package_MTL1ISF_0.9.2.0/source/ti/devices/mtxx/hwpi/hwpi_sysrtc.h:2194 CWARN.NOEFFECT.UCMP.GE (4:Review) Analyze Comparison of unsigned value against 0 is always true Current status 'Analyze' --------------------------------------------------------------------------- 20 (Local) /db/vendors/ti/hwpi/SDK_package_MTL1ISF_0.9.2.0/source/ti/devices/mtxx/hwpi/hwpi_sysrtc.h:2248 CWARN.NOEFFECT.UCMP.GE (4:Review) Analyze Comparison of unsigned value against 0 is always true Current status 'Analyze' --------------------------------------------------------------------------- 21 (Local) /db/vendors/ti/hwpi/SDK_package_MTL1ISF_0.9.2.0/source/ti/devices/mtxx/hwpi/hwpi_sysrtc.h:2302 CWARN.NOEFFECT.UCMP.GE (4:Review) Analyze Comparison of unsigned value against 0 is always true Current status 'Analyze' --------------------------------------------------------------------------- 22 (Local) /db/vendors/ti/hwpi/SDK_package_MTL1ISF_0.9.2.0/source/ti/devices/mtxx/hwpi/hwpi_sysrtc.h:2356 CWARN.NOEFFECT.UCMP.GE (4:Review) Analyze Comparison of unsigned value against 0 is always true Current status 'Analyze' --------------------------------------------------------------------------- 23 (Local) /db/vendors/ti/hwpi/SDK_package_MTL1ISF_0.9.2.0/source/ti/devices/mtxx/hwpi/hwpi_sysrtc.h:2400 CWARN.NOEFFECT.UCMP.GE (4:Review) Analyze Comparison of unsigned value against 0 is always true Current status 'Analyze' --------------------------------------------------------------------------- 24 (Local) /db/vendors/ti/hwpi/SDK_package_MTL1ISF_0.9.2.0/source/ti/devices/mtxx/hwpi/hwpi_sysrtc.h:2454 CWARN.NOEFFECT.UCMP.GE (4:Review) Analyze Comparison of unsigned value against 0 is always true Current status 'Analyze' --------------------------------------------------------------------------- 25 (Local) /db/vendors/ti/hwpi/SDK_package_MTL1ISF_0.9.2.0/source/ti/devices/mtxx/hwpi/hwpi_sysrtc.h:2504 CWARN.NOEFFECT.UCMP.GE (4:Review) Analyze Comparison of unsigned value against 0 is always true Current status 'Analyze' --------------------------------------------------------------------------- 26 (Local) /db/vendors/ti/hwpi/SDK_package_MTL1ISF_0.9.2.0/source/ti/devices/mtxx/hwpi/hwpi_sysrtc.h:2558 CWARN.NOEFFECT.UCMP.GE (4:Review) Analyze Comparison of unsigned value against 0 is always true Current status 'Analyze' --------------------------------------------------------------------------- 27 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/arm/lm4/Seconds.c:173 SV.TAINTED.LOOP_BOUND (2:Error) Analyze Unvalidated integer value 'seconds_1' is received from '0x1074774016' at line 170 and can be used in a loop condition at line 173. * Seconds.c:170: Tainted data 'seconds_1' resides at the arbitrary constant memory location * Seconds.c:173: Tainted data 'seconds_1' is used as a loop boundary Current status 'Analyze' --------------------------------------------------------------------------- 28 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/arm/lm4/Seconds.c:173 SV.TAINTED.LOOP_BOUND (2:Error) Analyze Unvalidated integer value 'seconds_2' is received from '0x1074774016' at line 172 and can be used in a loop condition at line 173. * Seconds.c:172: Tainted data 'seconds_2' resides at the arbitrary constant memory location * Seconds.c:173: Tainted data 'seconds_2' is used as a loop boundary Current status 'Analyze' --------------------------------------------------------------------------- 29 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/arm/v8m/Hwi.c:998 LOCRET.GLOB (1:Critical) Analyze Address of a local variable is returned through global variable 'ti_sysbios_family_arm_v8m_Hwi_Module__state__V.excContext'. * Hwi.c:974: ( (ti_sysbios_family_arm_v8m_Hwi_Module_State* ) ( ( & (ti_sysbios_family_arm_v8m_Hwi_Module__state__V) ) ) ) ->excContext==0 is true * Hwi.c:975: Local address '&excContext' is stored into 'ti_sysbios_family_arm_v8m_Hwi_Module__state__V.excContext' * Hwi.c:998: 'ti_sysbios_family_arm_v8m_Hwi_Module__state__V.excContext' can be used outside Current status 'Analyze' --------------------------------------------------------------------------- 30 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/arm/v8m/Hwi.c:1070 LOCRET.GLOB (1:Critical) Analyze Address of a local variable is returned through global variable 'ti_sysbios_family_arm_v8m_Hwi_Module__state__V.excContext'. * Hwi.c:1010: ( (ti_sysbios_family_arm_v8m_Hwi_Module_State* ) ( ( & (ti_sysbios_family_arm_v8m_Hwi_Module__state__V) ) ) ) ->excContext==0 is true * Hwi.c:1011: Local address '&excContext' is stored into 'ti_sysbios_family_arm_v8m_Hwi_Module__state__V.excContext' * Hwi.c:1050: entering case statement excNum==13 * Hwi.c:1070: 'ti_sysbios_family_arm_v8m_Hwi_Module__state__V.excContext' can be used outside Current status 'Analyze' --------------------------------------------------------------------------- 31 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/arm/v7r/keystone3/Hwi.c:130 ABV.GENERAL (1:Critical) Analyze Array 'GROUP' of size 32 may use index value(s) 32..67108862 * Hwi.c:99: i< (ti_sysbios_family_arm_v7r_keystone3_Hwi_hooks__C) .length * Hwi.c:99: Inferred value 'i' is '== 0' * Hwi.c:99: Inferred value 'ti_sysbios_family_arm_v7r_keystone3_Hwi_hooks__C.length' is '<= 0' * Hwi.c:99: Result of expression 'i < ti_sysbios_family_arm_v7r_keystone3_Hwi_hooks__C.length' is '== 0' * Hwi.c:99: Not entering loop, because i< (ti_sysbios_family_arm_v7r_keystone3_Hwi_hooks__C) .length is false * Hwi.c:121: i = 0 * Hwi.c:121: Entering loop, because i< (ti_sysbios_family_arm_v7r_keystone3_Hwi_NUM_INTERRUPTS__C) is true * Hwi.c:121: 'i' iterates from 0 to 2147483646. * Hwi.c:121: i = i + 1 * Hwi.c:121: Inferred value 'i' is '[0,2147483647]' * Hwi.c:121: Result of expression 'i + 1' is '[1,2147483648]' * Hwi.c:128: i = 0 * Hwi.c:128: (ti_sysbios_family_arm_v7r_keystone3_Hwi_NUM_INTERRUPTS__C) /32 * Hwi.c:128: Inferred value 'ti_sysbios_family_arm_v7r_keystone3_Hwi_NUM_INTERRUPTS__C' is '[1,2147483647]' * Hwi.c:128: Result of expression 'ti_sysbios_family_arm_v7r_keystone3_Hwi_NUM_INTERRUPTS__C idiv 32' is '[0,67108863]' * Hwi.c:128: Entering loop, because i< ( (ti_sysbios_family_arm_v7r_keystone3_Hwi_NUM_INTERRUPTS__C) /32) is true * Hwi.c:128: 'i' iterates from 0 to 67108862. * Hwi.c:128: i = i + 1 * Hwi.c:128: Inferred value 'i' is '[0,67108862]' * Hwi.c:128: Result of expression 'i + 1' is '[1,67108863]' * Hwi.c:130: Array 'GROUP' size is 32. * Hwi.c:130: Possible attempt to access element 32..67108862 of array 'GROUP'. Current status 'Analyze' --------------------------------------------------------------------------- 32 (Local) /db/vtree/library/trees/avala/avala-6.76.01.12/src/ti/sysbios/family/arm/v7r/keystone3/Hwi.c:394 ABV.GENERAL (1:Critical) Analyze Array 'GROUP' of size 32 may use index value(s) 32..134217727 * Hwi.c:394: intNum>>5 * Hwi.c:394: Type constraint 'intNum' is '[0,4294967295]' * Hwi.c:394: Result of expression 'intNum >> 5' is '[0,134217727]' * Hwi.c:394: Array 'GROUP' size is 32. * Hwi.c:394: Possible attempt to access element 32..134217727 of array 'GROUP'. Current status 'Analyze' Summary: 32 Local 32 Total Issue(s)