rep_header_logo.png rep_header_3.png
User configuration:  Recommended Rules with Security
2022-07-08T14:54:15+08:00
STATIC ANALYSIS

Recommended Tasks to Accomplish Today:  43
(push the "Import My Recommended Tasks" button to import the tasks into your workspace)
Tasks: 43 total,  0 suppressed
Goal: accomplish all tasks

 
All Recommended Tasks by Category
 by:   Category   Severity   
  [8]   CERT-MEM04_C (REC) Beware of zero-length allocations (CERT_C-MEM04) 
        [8]   The validity of values passed to library functions shall be checked (CERT_C-MEM04-a-2) 
  [8]   CERT-MEM07_C (REC) Ensure that the arguments to calloc(), when multiplied, do not wrap (CERT_C-MEM07) 
        [8]   The validity of values passed to library functions shall be checked (CERT_C-MEM07-a-2) 
  [5]   CERT-API00_C (REC) Functions should validate their parameters (CERT_C-API00) 
        [5]   The validity of parameters must be checked inside each function (CERT_C-API00-a-3) 
  [4]   CERT-EXP39_C (RULE) Do not access a variable through a pointer of an incompatible type (CERT_C-EXP39) 
        [4]   There shall be no implicit conversions from integral to floating type (CERT_C-EXP39-a-3) 
  [6]   CERT-EXP00_C (REC) Use parentheses for precedence of operation (CERT_C-EXP00) 
        [6]   Use parenthesis to clarify expression order if operators with precedence lower than arithmetic are used (CERT_C-EXP00-a-3) 
  [8]   CERT-DCL00_C (REC) Const-qualify immutable objects (CERT_C-DCL00) 
        [8]   Declare parameters or local variable as const whenever possible (CERT_C-DCL00-a-3) 
  [1]   CERT-FLP30_C (RULE) Do not use floating-point variables as loop counters (CERT_C-FLP30) 
        [1]   Do not use floating point variables as loop counters (CERT_C-FLP30-a-2) 
  [3]   Initialization (INIT) 
        [3]   All member variables should be initialized in constructor (INIT-06-1) 

msi3  Recommended Tasks to Accomplish Today :  43 Back to Top    
/rmf_battery_testing/src/rmf_battery/agv/BatterySystem.cpp
24:  No constructor. All member variables: 'capacity, charging_current, nominal_voltage' should be initialized in constructor INIT-06-1
34:  Declare parameter 'nominal_voltage' as const CERT_C-DCL00-a-3
35:  Declare parameter 'capacity' as const CERT_C-DCL00-a-3
36:  Declare parameter 'charging_current' as const CERT_C-DCL00-a-3
38:  Use parenthesis to clarify order ('<=' is the first operand of '||') CERT_C-EXP00-a-3
39:  Use parenthesis to clarify order ('<=' is the second operand of '||') CERT_C-EXP00-a-3
40:  Use parenthesis to clarify order ('<=' is the second operand of '||') CERT_C-EXP00-a-3
/rmf_battery_testing/src/rmf_battery/agv/MechanicalSystem.cpp
24:  No constructor. All member variables: 'friction_coefficient, mass, moment_of_inertia' should be initialized in constructor INIT-06-1
34:  Declare parameter 'mass' as const CERT_C-DCL00-a-3
35:  Declare parameter 'moment_of_inertia' as const CERT_C-DCL00-a-3
36:  Declare parameter 'friction_coefficient' as const CERT_C-DCL00-a-3
38:  Use parenthesis to clarify order ('<=' is the first operand of '||') CERT_C-EXP00-a-3
38:  Use parenthesis to clarify order ('<=' is the second operand of '||') CERT_C-EXP00-a-3
38:  Use parenthesis to clarify order ('<=' is the second operand of '||') CERT_C-EXP00-a-3
/rmf_battery_testing/src/rmf_battery/agv/PowerSystem.cpp
24:  No constructor. All member variables: 'nominal_power' should be initialized in constructor INIT-06-1
31:  Declare parameter 'nominal_power' as const CERT_C-DCL00-a-3
/rmf_battery_testing/src/rmf_battery/agv/SimpleDevicePowerSink.cpp
57:  Parameter 'run_time' is not validated before use CERT_C-API00-a-3
/rmf_battery_testing/src/rmf_battery/agv/SimpleMotionPowerSink.cpp
62:  Parameter 'f' is not validated before use CERT_C-API00-a-3
63:  Parameter 'm' is not validated before use CERT_C-API00-a-3
64:  Parameter 'v' is not validated before use CERT_C-API00-a-3
65:  Parameter 'dt' is not validated before use CERT_C-API00-a-3
89:  Declare local variable 'start_time' as const CERT_C-DCL00-a-3
100:  Floating point variables shall not be used as loop counters CERT_C-FLP30-a-2
105:  Implicit conversion from integral to floating type in function's argument CERT_C-EXP39-a-3
105:  Implicit conversion from integral to floating type in function's argument CERT_C-EXP39-a-3
105:  Result of "[]" passed to library function "pow" without being checked CERT_C-MEM07-a-2
105:  Result of "[]" passed to library function "pow" without being checked CERT_C-MEM04-a-2
105:  Result of "[]" passed to library function "pow" without being checked CERT_C-MEM07-a-2
105:  Result of "[]" passed to library function "pow" without being checked CERT_C-MEM04-a-2
105:  Result of "[]" passed to library function "sqrt" without being checked CERT_C-MEM07-a-2
105:  Result of "[]" passed to library function "sqrt" without being checked CERT_C-MEM04-a-2
106:  Result of "[]" passed to library function "abs" without being checked CERT_C-MEM07-a-2
106:  Result of "[]" passed to library function "abs" without being checked CERT_C-MEM04-a-2
109:  Implicit conversion from integral to floating type in function's argument CERT_C-EXP39-a-3
109:  Implicit conversion from integral to floating type in function's argument CERT_C-EXP39-a-3
109:  Result of "[]" passed to library function "pow" without being checked CERT_C-MEM07-a-2
109:  Result of "[]" passed to library function "pow" without being checked CERT_C-MEM04-a-2
109:  Result of "[]" passed to library function "pow" without being checked CERT_C-MEM07-a-2
109:  Result of "[]" passed to library function "pow" without being checked CERT_C-MEM04-a-2
109:  Result of "[]" passed to library function "sqrt" without being checked CERT_C-MEM07-a-2
109:  Result of "[]" passed to library function "sqrt" without being checked CERT_C-MEM04-a-2
110:  Result of "[]" passed to library function "abs" without being checked CERT_C-MEM07-a-2
110:  Result of "[]" passed to library function "abs" without being checked CERT_C-MEM04-a-2


©Parasoft Corp. - C++test 2022.1.0.20220615B1827 Reporting System