--------------------------------------------------------------------------- 1 (Local) /db/vtree/library/trees/avala/avala-6.70.00.19/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' --------------------------------------------------------------------------- 2 (Local) /db/vtree/library/trees/avala/avala-6.70.00.19/src/ti/sysbios/family/arm/v7r/keystone3/Hwi.c:436 ABV.GENERAL (1:Critical) Analyze Array 'GROUP' of size 32 may use index value(s) 32..134217727 * Hwi.c:436: intNum>>5 * Hwi.c:436: Type constraint 'intNum' is '[0,4294967295]' * Hwi.c:436: Result of expression 'intNum >> 5' is '[0,134217727]' * Hwi.c:436: Array 'GROUP' size is 32. * Hwi.c:436: Possible attempt to access element 32..134217727 of array 'GROUP'. Current status 'Analyze' --------------------------------------------------------------------------- 3 (Local) /db/vtree/library/trees/avala/avala-6.70.00.19/src/ti/sysbios/family/arm/lm4/Seconds.c:96 SV.TAINTED.LOOP_BOUND (2:Error) Analyze Unvalidated integer value 'seconds_1' is received from '0x1074774016' at line 93 and can be used in a loop condition at line 96. * Seconds.c:93: Tainted data 'seconds_1' resides at the arbitrary constant memory location * Seconds.c:96: Tainted data 'seconds_1' is used as a loop boundary Current status 'Analyze' --------------------------------------------------------------------------- 4 (Local) /db/vtree/library/trees/avala/avala-6.70.00.19/src/ti/sysbios/family/arm/lm4/Seconds.c:96 SV.TAINTED.LOOP_BOUND (2:Error) Analyze Unvalidated integer value 'seconds_2' is received from '0x1074774016' at line 95 and can be used in a loop condition at line 96. * Seconds.c:95: Tainted data 'seconds_2' resides at the arbitrary constant memory location * Seconds.c:96: Tainted data 'seconds_2' is used as a loop boundary Current status 'Analyze' --------------------------------------------------------------------------- 5 (Local) /db/vtree/library/trees/avala/avala-6.70.00.19/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' --------------------------------------------------------------------------- 6 (Local) /db/vtree/library/trees/avala/avala-6.70.00.19/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' --------------------------------------------------------------------------- 7 (Local) /db/vtree/library/trees/avala/avala-6.70.00.19/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' --------------------------------------------------------------------------- 8 (Local) /db/vtree/library/trees/avala/avala-6.70.00.19/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' --------------------------------------------------------------------------- 9 (Local) /db/vtree/library/trees/avala/avala-6.70.00.19/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' --------------------------------------------------------------------------- 10 (Local) /db/vtree/library/trees/avala/avala-6.70.00.19/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' --------------------------------------------------------------------------- 11 (Local) /db/vtree/library/trees/avala/avala-6.70.00.19/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' --------------------------------------------------------------------------- 12 (Local) /db/vtree/library/trees/avala/avala-6.70.00.19/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' --------------------------------------------------------------------------- 13 (Local) /db/vtree/library/trees/avala/avala-6.70.00.19/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' --------------------------------------------------------------------------- 14 (Local) /db/vtree/library/trees/avala/avala-6.70.00.19/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' --------------------------------------------------------------------------- 15 (Local) /db/vtree/library/trees/avala/avala-6.70.00.19/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' --------------------------------------------------------------------------- 16 (Local) /db/vtree/library/trees/avala/avala-6.70.00.19/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' Summary: 16 Local 16 Total Issue(s)