---------------------------------------------------------------------------
1 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\AutoResponse\src\AutoResponse.c:212 UNREACH.GEN (3:Warning) Analyze
Code is unreachable
  * AutoResponse.c:212: The code is unreachable.
Current status 'Analyze'

---------------------------------------------------------------------------
2 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\CoC\src\CoC.c:288 ABV.GENERAL (1:Critical) Analyze
Array 'abData' of size 0 may use index value(s) 0
  * CoC.c:288: Array 'abData' size is 0.
  * CoC.c:288: Possible attempt to access element 0 of array 'abData'.
Current status 'Analyze'

---------------------------------------------------------------------------
3 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\CoC\src\CoC.c:320 ABV.GENERAL (1:Critical) Analyze
Array 'abData' of size 0 may use index value(s) 0
  * CoC.c:320: Array 'abData' size is 0.
  * CoC.c:320: Possible attempt to access element 0 of array 'abData'.
Current status 'Analyze'

---------------------------------------------------------------------------
4 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\HdkModule\Drivers\PHY\PhyDriver\src\WAVE600\REAL_PHY\PhyDriver.c:892 ABV.GENERAL (1:Critical) Analyze
Array 'pulses' of size 15 may use index value(s) 15..31
  * PhyDriver.c:853: 'RegAccess_Read' is called.
  * PhyDriver.c:854: numberOfValidSamples = writeCounter-PhyDriverInterfererDetectionParameters.radarDetectionReadCounter
  * PhyDriver.c:856: ! (numberOfValidSamples<= (32) ) is false
  * PhyDriver.c:856: True condition branch assumes that numberOfValidSamples may be [0,32]
  * PhyDriver.c:872: Entering loop, because numberOfValidSamples is true
  * PhyDriver.c:876: ( (64) -1) / (sizeof(RadarDetectionSample_t) )
  * PhyDriver.c:878: numberOfSamplesInMessage = ( (64) -1) / (sizeof(RadarDetectionSample_t) )
  * PhyDriver.c:882: numberOfSamplesInMessage = numberOfValidSamples
    * PhyDriver.c:882: Inferred value 'numberOfValidSamples' is '[1,32]'
  * PhyDriver.c:887: ( (64) -1) / (sizeof(RadarDetectionSample_t) )
  * PhyDriver.c:887: False condition branch assumes that numberOfSamplesInMessage may be [1,32]
  * PhyDriver.c:887: True condition branch assumes that numberOfSamplesInMessage may be [0,32]
  * PhyDriver.c:890: 'index' iterates from 0 to 32.
    * PhyDriver.c:890: index = 0
  * PhyDriver.c:890: Entering loop, because index<numberOfSamplesInMessage is true
  * PhyDriver.c:890: 'index' iterates from 0 to 31.
    * PhyDriver.c:890: index = index + 1
      * PhyDriver.c:890: Inferred value 'index' is '[0,31]'
      * PhyDriver.c:890: Result of expression 'index + 1' is '[1,32]'
  * PhyDriver.c:892: Array 'pulses' size is 15.
  * PhyDriver.c:892: Possible attempt to access element 15..31 of array 'pulses'.
Current status 'Analyze'

---------------------------------------------------------------------------
5 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\HdkModule\Drivers\PHY\PhyDriver\src\WAVE600\REAL_PHY\PhyDriver.c:893 ABV.GENERAL (1:Critical) Analyze
Array 'pulses' of size 15 may use index value(s) 15..31
  * PhyDriver.c:853: 'RegAccess_Read' is called.
  * PhyDriver.c:854: numberOfValidSamples = writeCounter-PhyDriverInterfererDetectionParameters.radarDetectionReadCounter
  * PhyDriver.c:856: ! (numberOfValidSamples<= (32) ) is false
  * PhyDriver.c:856: True condition branch assumes that numberOfValidSamples may be [0,32]
  * PhyDriver.c:872: Entering loop, because numberOfValidSamples is true
  * PhyDriver.c:876: ( (64) -1) / (sizeof(RadarDetectionSample_t) )
  * PhyDriver.c:878: numberOfSamplesInMessage = ( (64) -1) / (sizeof(RadarDetectionSample_t) )
  * PhyDriver.c:882: numberOfSamplesInMessage = numberOfValidSamples
    * PhyDriver.c:882: Inferred value 'numberOfValidSamples' is '[1,32]'
  * PhyDriver.c:887: ( (64) -1) / (sizeof(RadarDetectionSample_t) )
  * PhyDriver.c:887: False condition branch assumes that numberOfSamplesInMessage may be [1,32]
  * PhyDriver.c:887: True condition branch assumes that numberOfSamplesInMessage may be [0,32]
  * PhyDriver.c:890: 'index' iterates from 0 to 32.
    * PhyDriver.c:890: index = 0
  * PhyDriver.c:890: Entering loop, because index<numberOfSamplesInMessage is true
  * PhyDriver.c:890: 'index' iterates from 0 to 31.
    * PhyDriver.c:890: index = index + 1
      * PhyDriver.c:890: Inferred value 'index' is '[0,31]'
      * PhyDriver.c:890: Result of expression 'index + 1' is '[1,32]'
  * PhyDriver.c:893: Array 'pulses' size is 15.
  * PhyDriver.c:893: Possible attempt to access element 15..31 of array 'pulses'.
Current status 'Analyze'

---------------------------------------------------------------------------
6 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\HdkModule\Drivers\PHY\PhyDriver\src\WAVE600\REAL_PHY\PhyDriver.c:895 ABV.GENERAL (1:Critical) Analyze
Array 'pulses' of size 15 may use index value(s) 15..31
  * PhyDriver.c:853: 'RegAccess_Read' is called.
  * PhyDriver.c:854: numberOfValidSamples = writeCounter-PhyDriverInterfererDetectionParameters.radarDetectionReadCounter
  * PhyDriver.c:856: ! (numberOfValidSamples<= (32) ) is false
  * PhyDriver.c:856: True condition branch assumes that numberOfValidSamples may be [0,32]
  * PhyDriver.c:872: Entering loop, because numberOfValidSamples is true
  * PhyDriver.c:876: ( (64) -1) / (sizeof(RadarDetectionSample_t) )
  * PhyDriver.c:878: numberOfSamplesInMessage = ( (64) -1) / (sizeof(RadarDetectionSample_t) )
  * PhyDriver.c:882: numberOfSamplesInMessage = numberOfValidSamples
    * PhyDriver.c:882: Inferred value 'numberOfValidSamples' is '[1,32]'
  * PhyDriver.c:887: ( (64) -1) / (sizeof(RadarDetectionSample_t) )
  * PhyDriver.c:887: False condition branch assumes that numberOfSamplesInMessage may be [1,32]
  * PhyDriver.c:887: True condition branch assumes that numberOfSamplesInMessage may be [0,32]
  * PhyDriver.c:890: 'index' iterates from 0 to 32.
    * PhyDriver.c:890: index = 0
  * PhyDriver.c:890: Entering loop, because index<numberOfSamplesInMessage is true
  * PhyDriver.c:890: 'index' iterates from 0 to 31.
    * PhyDriver.c:890: index = index + 1
      * PhyDriver.c:890: Inferred value 'index' is '[0,31]'
      * PhyDriver.c:890: Result of expression 'index + 1' is '[1,32]'
  * PhyDriver.c:895: Array 'pulses' size is 15.
  * PhyDriver.c:895: Possible attempt to access element 15..31 of array 'pulses'.
Current status 'Analyze'

---------------------------------------------------------------------------
7 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\Dut\src\Dut_HwAccess.c:897 UNREACH.GEN (3:Warning) Analyze
Code is unreachable
  * Dut_HwAccess.c:897: The code is unreachable.
Current status 'Analyze'

---------------------------------------------------------------------------
8 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\Dut\src\Dut_HwAccess.c:936 UNREACH.GEN (3:Warning) Analyze
Code is unreachable
  * Dut_HwAccess.c:936: The code is unreachable.
Current status 'Analyze'

---------------------------------------------------------------------------
9 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\HdkModule\src\Common\HdkTask.c:1408 ABV.GENERAL (1:Critical) Analyze
Array 'abData' of size 0 may use index value(s) 0
  * HdkTask.c:1408: Array 'abData' size is 0.
  * HdkTask.c:1408: Possible attempt to access element 0 of array 'abData'.
Current status 'Analyze'

---------------------------------------------------------------------------
10 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\shared_header\SharedFunctions\WAVE600\phy_lib.c:260 INFINITE_LOOP.LOCAL (2:Error) Analyze
Infinite loop
  * phy_lib.c:260: Entering loop with precondition (reg_val.bitFields.pllLock==0)
Current status 'Analyze'

---------------------------------------------------------------------------
11 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\ChannelSwitchManager\Src\ChannelSwitchManager.c:1623 ABV.GENERAL (1:Critical) Analyze
Array 'abData' of size 0 may use index value(s) 0
  * ChannelSwitchManager.c:1623: Array 'abData' size is 0.
  * ChannelSwitchManager.c:1623: Possible attempt to access element 0 of array 'abData'.
Current status 'Analyze'

---------------------------------------------------------------------------
12 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\ChannelSwitchManager\Src\ChannelSwitchManager.c:1669 ABV.GENERAL (1:Critical) Analyze
Array 'abData' of size 0 may use index value(s) 0
  * ChannelSwitchManager.c:1669: Array 'abData' size is 0.
  * ChannelSwitchManager.c:1669: Possible attempt to access element 0 of array 'abData'.
Current status 'Analyze'

---------------------------------------------------------------------------
13 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\LinkAdaptation\ProtectionAdaptation\src\ProtectionAdaptation.c:703 SEMICOL (4:Review) Analyze
Suspiciously placed semicolon
Current status 'Analyze'

---------------------------------------------------------------------------
14 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\ThreadxCore\arc_hs\tx\tx_timer_thread_entry.c:151 INFINITE_LOOP.LOCAL (2:Error) Analyze
Infinite loop
  * tx_timer_thread_entry.c:151: Entering loop
Current status 'Analyze'

---------------------------------------------------------------------------
15 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\ThreadxCore\arc_hs\tx\tx_timer_thread_entry.c:151 CWARN.CONSTCOND.WHILE (4:Review) Analyze
The condition in 'while' statement is constant
Current status 'Analyze'

---------------------------------------------------------------------------
16 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\ThreadxCore\arc_hs\tx\tx_timer_thread_entry.c:503 UNREACH.GEN (3:Warning) Analyze
Code is unreachable
  * tx_timer_thread_entry.c:465: Infeasible condition: '_tx_timer_expired== ( (UINT)0)' cannot be false.
    * tx_timer_thread_entry.c:465: Inferred value '_tx_timer_expired' is '== 0'
    * tx_timer_thread_entry.c:465: Result of expression '_tx_timer_expired != 0' is '== 0'
  * tx_timer_thread_entry.c:503: The code is unreachable.
Current status 'Analyze'

---------------------------------------------------------------------------
17 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\ThreadxApplication\src\tx_application_IdleCount.c:67 INFINITE_LOOP.LOCAL (2:Error) Analyze
Infinite loop
  * tx_application_IdleCount.c:67: Entering loop
Current status 'Analyze'

---------------------------------------------------------------------------
18 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\HdkModule\Calibration\CalibrationHandler\ProcessHandlers\TPC\src\WAVE600\TpcClbrHndlr.c:384 INFINITE_LOOP.LOCAL (2:Error) Analyze
Infinite loop
  * TpcClbrHndlr.c:363: condition {0} is always true
  * TpcClbrHndlr.c:384: Entering loop with precondition ((refGainWord>=1)&&(refGainWord<=255)) && ((refIndex>=0)&&(refIndex<=95))
  * TpcClbrHndlr.c:384: condition index>=0 is always true
  * TpcClbrHndlr.c:386: condition index<96 is always true
Current status 'Analyze'

---------------------------------------------------------------------------
19 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\LinkAdaptation\Estimators\src\Estimators.c:2534 FUNCRET.GEN (1:Critical) Analyze
Non-void function does not return value
Current status 'Analyze'

---------------------------------------------------------------------------
20 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\LinkAdaptation\Estimators\src\Estimators.c:3295 FUNCRET.GEN (1:Critical) Analyze
Non-void function does not return value
Current status 'Analyze'

---------------------------------------------------------------------------
21 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\LinkAdaptation\Estimators\src\Estimators.c:2638 CWARN.NOEFFECT.UCMP.LT (4:Review) Analyze
Comparison of unsigned value against 0 is always false
Current status 'Analyze'

---------------------------------------------------------------------------
22 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\LinkAdaptation\Estimators\src\Estimators.c:2640 UNREACH.GEN (3:Warning) Analyze
Code is unreachable
  * Estimators.c:2638: Infeasible condition: 'avarageGroupGoodput<0' cannot be true.
    * Estimators.c:2638: Type constraint 'avarageGroupGoodput' is '[0,4294967295]'
    * Estimators.c:2638: Result of expression 'avarageGroupGoodput < 0' is '== 0'
  * Estimators.c:2640: The code is unreachable.
Current status 'Analyze'

---------------------------------------------------------------------------
23 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\InterfererDetection\src\RadarDetection.c:766 UNINIT.STACK.ARRAY.MIGHT (1:Critical) Analyze
'rawPri' array elements might be used uninitialized in this function.
  * RadarDetection.c:740: '*rawPri' is declared
  * RadarDetection.c:750: Not entering loop, because pulseRecord->nextPulseRecord is false
  * RadarDetection.c:766: 'rawPri' array elements are used uninitialized.
Current status 'Analyze'

---------------------------------------------------------------------------
24 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\ErrorHandler\src\arc\ErrorHandler.c:476 INFINITE_LOOP.GLOBAL (2:Error) Analyze
Infinite loop
  * ErrorHandler.c:476: Entering loop with precondition (errorHandlerDebuggingFlag==1)
Current status 'Analyze'

---------------------------------------------------------------------------
25 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\ErrorHandler\src\arc\ErrorHandler.c:883 INFINITE_LOOP.LOCAL (2:Error) Analyze
Infinite loop
  * ErrorHandler.c:883: Entering loop
Current status 'Analyze'

---------------------------------------------------------------------------
26 (Local) C:\BuildAgent_005\work\build\FW_6.1.0_ER7\fw_src\firmware\HdkModule\ProgModelLoader\src\Common\PSD.c:1215 CWARN.BITOP.SIZE (4:Review) Analyze
Operands in a bitwise operation have different size
Current status 'Analyze'

Summary: 26 Local
26 Total Issue(s)
