rep_header_logo.png rep_header_3.png
User configuration:  Recommended Rules with Security
2022-07-08T15:03:46+08:00
STATIC ANALYSIS

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

 
All Recommended Tasks by Category
 by:   Category   Severity   
  [24]   CERT-MSC41_C (RULE) Never hard code sensitive information (CERT_C-MSC41) 
        [24]   Do not hard code string literals (CERT_C-MSC41-a-1) 
  [12]   CERT-POS54_C (RULE) Detect and handle POSIX library errors (CERT_C-POS54) 
        [12]   The value returned by a function having non-void return type shall be used (CERT_C-POS54-a-1) 
  [13]   CERT-ERR33_C (RULE) Detect and handle standard library errors (CERT_C-ERR33) 
        [13]   The value returned by a function having non-void return type shall be used (CERT_C-ERR33-a-1) 
  [1]   Initialization (INIT) 
        [1]   All member variables should be initialized in constructor (INIT-06-1) 

msi3  Recommended Tasks to Accomplish Today :  50 Back to Top    
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/ParseArgs.cpp
41:  The string literal is embedded directly in the code: using the CERT_C-MSC41-a-1
42:  The string literal is embedded directly in the code: argument! CERT_C-MSC41-a-1
68:  The string literal is embedded directly in the code: No CERT_C-MSC41-a-1
69:  The string literal is embedded directly in the code: ] will be used. CERT_C-MSC41-a-1
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/ScheduleManager.cpp
67:  Unused function's "set" return value CERT_C-ERR33-a-1
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/agv/Waypoint.cpp
24:  No constructor. All member variables: 'yield' should be initialized in constructor INIT-06-1
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/agv/parse_graph.cpp
33:  The string literal is embedded directly in the code: ] CERT_C-MSC41-a-1
41:  The string literal is embedded directly in the code: ] is missing the [levels] key CERT_C-MSC41-a-1
69:  The string literal is embedded directly in the code: vertices CERT_C-MSC41-a-1
88:  The string literal is embedded directly in the code: Duplicated waypoint name [ CERT_C-MSC41-a-1
96:  The string literal is embedded directly in the code: is_parking_spot CERT_C-MSC41-a-1
101:  Unused function's "set_parking_spot" return value CERT_C-POS54-a-1
104:  The string literal is embedded directly in the code: is_holding_point CERT_C-MSC41-a-1
109:  Unused function's "set_holding_point" return value CERT_C-ERR33-a-1
112:  The string literal is embedded directly in the code: is_passthrough_point CERT_C-MSC41-a-1
125:  Unused function's "set_charger" return value CERT_C-ERR33-a-1
159:  The string literal is embedded directly in the code: backward CERT_C-MSC41-a-1
208:  The string literal is embedded directly in the code: Inconsistency in building map. Map [ CERT_C-MSC41-a-1
213:  The string literal is embedded directly in the code: ]. This is not supported! CERT_C-MSC41-a-1
239:  The string literal is embedded directly in the code: demo_mock_lift_name CERT_C-MSC41-a-1
298:  Unused function's "speed_limit" return value CERT_C-ERR33-a-1
298:  Unused function's "speed_limit" return value CERT_C-POS54-a-1
315:  Unused function's "add_lane" return value CERT_C-ERR33-a-1
315:  Unused function's "add_lane" return value CERT_C-POS54-a-1
321:  Unused function's "add_lane" return value CERT_C-ERR33-a-1
321:  Unused function's "add_lane" return value CERT_C-POS54-a-1
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/events/Error.cpp
73:  Unused function's "update_status" return value CERT_C-ERR33-a-1
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/load_param.cpp
40:  The string literal is embedded directly in the code: fleet_name CERT_C-MSC41-a-1
61:  The string literal is embedded directly in the code: angular_velocity CERT_C-MSC41-a-1
63:  The string literal is embedded directly in the code: linear_acceleration CERT_C-MSC41-a-1
71:  The string literal is embedded directly in the code: reversible CERT_C-MSC41-a-1
74:  The string literal is embedded directly in the code: ===== We have an irreversible robot CERT_C-MSC41-a-1
87:  Unused function's "set_reversible" return value CERT_C-POS54-a-1
100:  The string literal is embedded directly in the code: battery_voltage CERT_C-MSC41-a-1
102:  The string literal is embedded directly in the code: battery_capacity CERT_C-MSC41-a-1
105:  The string literal is embedded directly in the code: battery_charging_current CERT_C-MSC41-a-1
123:  The string literal is embedded directly in the code: inertia CERT_C-MSC41-a-1
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/make_trajectory.cpp
53:  Unused function's "insert" return value CERT_C-POS54-a-1
56:  Unused function's "insert" return value CERT_C-ERR33-a-1
56:  Unused function's "insert" return value CERT_C-POS54-a-1
91:  Unused function's "insert" return value CERT_C-ERR33-a-1
91:  Unused function's "insert" return value CERT_C-POS54-a-1
108:  Unused function's "insert" return value CERT_C-ERR33-a-1
115:  Unused function's "insert" return value CERT_C-ERR33-a-1
115:  Unused function's "insert" return value CERT_C-POS54-a-1
149:  Unused function's "insert" return value CERT_C-POS54-a-1
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/project_itinerary.cpp
55:  Unused function's "insert" return value CERT_C-ERR33-a-1
55:  Unused function's "insert" return value CERT_C-POS54-a-1
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/services/ProgressEvaluator.cpp
100:  Unused function's "maximum_cost_estimate" return value CERT_C-POS54-a-1
107:  Unused function's "maximum_cost_estimate" return value CERT_C-ERR33-a-1

 
All Tasks by Category
 by:   Category   Severity   
  [1]   CERT-MSC11_C (REC) Incorporate diagnostic tests using assertions (CERT_C-MSC11) 
        [1]   Assert liberally to document internal assumptions and invariants (CERT_C-MSC11-a-3) 
  [40]   CERT-FLP03_C (REC) Detect and handle floating-point errors (CERT_C-FLP03) 
        [40]   Avoid implicit conversions from narrower to wider floating type (CERT_C-FLP03-c-3) 
  [3]   CERT-PRE31_C (RULE) Avoid side effects in arguments to unsafe macros (CERT_C-PRE31) 
        [3]   Assertions should not contain function calls nor function-like macro calls (CERT_C-PRE31-c-3) 
  [6]   CERT-MSC01_C (REC) Strive for logical completeness (CERT_C-MSC01) 
        [6]   All 'if...else-if' constructs shall be terminated with an 'else' clause (CERT_C-MSC01-a-2) 
  [1]   CERT-INT36_C (RULE) Converting a pointer to integer or integer to pointer (CERT_C-INT36) 
        [1]   A conversion should not be performed between a pointer to object type and an integer type other than 'uintptr_t' or 'intptr_t' (CERT_C-INT36-b-3) 
  [66]   CERT-MSC41_C (RULE) Never hard code sensitive information (CERT_C-MSC41) 
        [66]   Do not hard code string literals (CERT_C-MSC41-a-1) 
  [69]   CERT-API00_C (REC) Functions should validate their parameters (CERT_C-API00) 
        [69]   The validity of parameters must be checked inside each function (CERT_C-API00-a-3) 
  [8]   CERT-EXP00_C (REC) Use parentheses for precedence of operation (CERT_C-EXP00) 
        [8]   Use parenthesis to clarify expression order if operators with precedence lower than arithmetic are used (CERT_C-EXP00-a-3) 
  [1]   CERT-DCL19_C (REC) Minimize the scope of variables and functions (CERT_C-DCL19) 
        [1]   Declare variables as locally as possible (CERT_C-DCL19-a-3) 
  [1]   CERT-DCL15_C (REC) Declare file-scope objects or functions that do not need external linkage as static (CERT_C-DCL15) 
        [1]   Objects or functions with external linkage shall be declared in a header file (CERT_C-DCL15-a-3) 
  [4]   CERT-DCL13_C (REC) Declare function parameters that are pointers to values not changed by the function as const (CERT_C-DCL13) 
        [4]   A pointer parameter in a function prototype should be declared as pointer to const if the pointer is not used to modify the addressed object (CERT_C-DCL13-a-3) 
  [22]   CERT-EXP12_C (REC) Do not ignore values returned by functions (CERT_C-EXP12) 
        [22]   The value returned by a function having non-void return type shall be used (CERT_C-EXP12-a-3) 
  [4]   CERT-EXP19_C (REC) Use braces for the body of an if, for, or while statement (CERT_C-EXP19) 
        [4]   The statement forming the body of a 'switch', 'while', 'do...while' or 'for' statement shall be a compound statement (CERT_C-EXP19-a-2) 
  [22]   CERT-POS54_C (RULE) Detect and handle POSIX library errors (CERT_C-POS54) 
        [22]   The value returned by a function having non-void return type shall be used (CERT_C-POS54-a-1) 
  [22]   CERT-ERR33_C (RULE) Detect and handle standard library errors (CERT_C-ERR33) 
        [22]   The value returned by a function having non-void return type shall be used (CERT_C-ERR33-a-1) 
  [7]   CERT-ERR06_C (REC) Understand the termination behavior of assert() and abort() (CERT_C-ERR06) 
        [7]   Do not use assertions (CERT_C-ERR06-a-3) 
  [1]   CERT-DCL01_C (REC) Do not reuse variable names in subscopes (CERT_C-DCL01) 
        [1]   Identifiers declared in an inner local scope should not hide identifiers declared in an outer local scope (CERT_C-DCL01-b-3) 
  [26]   CERT-DCL00_C (REC) Const-qualify immutable objects (CERT_C-DCL00) 
        [26]   Declare parameters or local variable as const whenever possible (CERT_C-DCL00-a-3) 
  [2]   CERT-DCL51_CPP (RULE) Do not declare or define a reserved identifier (CERT_CPP-DCL51) 
        [1]   The names of standard library macros, objects and functions shall not be reused (C90) (CERT_CPP-DCL51-e-3) 
        [1]   The names of standard library macros, objects and functions shall not be reused (C99) (CERT_CPP-DCL51-f-3) 
  [1]   CERT-OOP51_CPP (RULE) Do not slice derived objects (CERT_CPP-OOP51) 
        [1]   Avoid slicing function arguments / return value (CERT_CPP-OOP51-a-3) 
  [1]   CERT-EXP60_CPP (RULE) Do not pass a nonstandard-layout type object across execution boundaries (CERT_CPP-EXP60) 
        [1]   Do not pass a nonstandard-layout type object across execution boundaries (CERT_CPP-EXP60-a-1) 
  [1]   Coding Conventions for C++ (CODSTA-CPP) 
        [1]   Constructors allowing for conversion should be made explicit (CODSTA-CPP-04-1) 
  [2]   Initialization (INIT) 
        [2]   All member variables should be initialized in constructor (INIT-06-1) 
  [5]   Metric (METRIC) 
        [1]   McCabe Cyclomatic Complexity (METRIC.CC-3) 
        [4]   Nested Blocks Depth (METRIC.NBD-3) 
  [25]   Optimization (OPT) 
        [25]   Pass objects by reference instead of by value (OPT-14-3) 

msi3  Total Tasks :  341 Back to Top    
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/ParseArgs.cpp
27:  Parameter 'args' is not validated before use CERT_C-API00-a-3
28:  Parameter 'key' is not validated before use CERT_C-API00-a-3
29:  Parameter 'value' is not validated before use CERT_C-API00-a-3
30:  Parameter 'desc' is not validated before use CERT_C-API00-a-3
41:  The string literal is embedded directly in the code: using the CERT_C-MSC41-a-1
41:  The string literal is embedded directly in the code: You must specify a CERT_C-MSC41-a-1
42:  The string literal is embedded directly in the code: argument! CERT_C-MSC41-a-1
46:  Provide 'else' after the last 'else-if' construct CERT_C-MSC01-a-2
48:  The string literal is embedded directly in the code: argument must be followed by a CERT_C-MSC41-a-1
48:  The string literal is embedded directly in the code: The CERT_C-MSC41-a-1
49:  The string literal is embedded directly in the code: ! CERT_C-MSC41-a-1
62:  Parameter 'default_value' is not validated before use CERT_C-API00-a-3
68:  The string literal is embedded directly in the code: flag to specify CERT_C-MSC41-a-1
68:  The string literal is embedded directly in the code: . The default [ CERT_C-MSC41-a-1
68:  The string literal is embedded directly in the code: No CERT_C-MSC41-a-1
69:  The string literal is embedded directly in the code: ] will be used. CERT_C-MSC41-a-1
76:  Parameter 'args' is not validated before use CERT_C-API00-a-3
77:  Parameter 'key' is not validated before use CERT_C-API00-a-3
78:  Parameter 'desc' is not validated before use CERT_C-API00-a-3
79:  Parameter 'default_value' is not validated before use CERT_C-API00-a-3
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/ScheduleManager.cpp
28:  The parameter 'participant' of function 'ScheduleManager' is passed by value OPT-14-3
29:  Declare parameter 'negotiation' as const CERT_C-DCL00-a-3
44:  Parameter 'routes' is not validated before use CERT_C-API00-a-3
67:  Unused function's "set" return value CERT_C-ERR33-a-1
67:  Unused function's "set" return value CERT_C-POS54-a-1
67:  Unused function's "set" return value CERT_C-EXP12-a-3
73:  Parameter 'duration' is not validated before use CERT_C-API00-a-3
73:  The parameter 'duration' of function 'push_delay' is passed by value OPT-14-3
82:  Parameter 'negotiation_callback' is not validated before use CERT_C-API00-a-3
82:  The parameter 'negotiation_callback' of function 'set_negotiator' is passed by value OPT-14-3
109:  Parameter 'table' is not validated before use CERT_C-API00-a-3
110:  Parameter 'responder' is not validated before use CERT_C-API00-a-3
119:  Function 'make_schedule_manager' has external linkage and is not declared in the header CERT_C-DCL15-a-3
122:  Declare parameter 'negotiation' as const CERT_C-DCL00-a-3
122:  Pass parameter "negotiation" with const specifier CERT_C-DCL13-a-3
123:  Declare parameter 'description' as const CERT_C-DCL00-a-3
123:  The parameter 'description' of function 'make_schedule_manager' is passed by value OPT-14-3
124:  Declare parameter 'revision_callback' as const CERT_C-DCL00-a-3
124:  The parameter 'revision_callback' of function 'make_schedule_manager' is passed by value OPT-14-3
144:  Parameter 'writer' is not validated before use CERT_C-API00-a-3
145:  Declare parameter 'negotiation' as const CERT_C-DCL00-a-3
145:  Pass parameter "negotiation" with const specifier CERT_C-DCL13-a-3
146:  Parameter 'description' is not validated before use CERT_C-API00-a-3
146:  The parameter 'description' of function 'async_make_schedule_manager' is passed by value OPT-14-3
147:  Declare parameter 'ready_callback' as const CERT_C-DCL00-a-3
147:  The parameter 'ready_callback' of function 'async_make_schedule_manager' is passed by value OPT-14-3
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/ScheduleManager.hpp
89:  The parameter 'description' of function 'make_schedule_manager' is passed by value OPT-14-3
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/agv/Waypoint.cpp
24:  No constructor. All member variables: 'yield' should be initialized in constructor INIT-06-1
37:  The parameter 'map_name' of function 'Waypoint' is passed by value OPT-14-3
38:  The parameter 'position' of function 'Waypoint' is passed by value OPT-14-3
39:  The parameter 'mandatory_delay' of function 'Waypoint' is passed by value OPT-14-3
59:  Parameter 'new_map_name' is not validated before use CERT_C-API00-a-3
59:  The parameter 'new_map_name' of function 'map_name' is passed by value OPT-14-3
72:  Declare parameter 'new_position' as const CERT_C-DCL00-a-3
72:  Parameter 'new_position' is not validated before use CERT_C-API00-a-3
72:  The parameter 'new_position' of function 'position' is passed by value OPT-14-3
85:  Declare parameter 'duration' as const CERT_C-DCL00-a-3
85:  Parameter 'duration' is not validated before use CERT_C-API00-a-3
85:  The parameter 'duration' of function 'mandatory_delay' is passed by value OPT-14-3
98:  Declare parameter 'on' as const CERT_C-DCL00-a-3
98:  Parameter 'on' is not validated before use CERT_C-API00-a-3
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/agv/parse_graph.cpp
26:  Function 'parse_graph' passes return value by value CERT_CPP-OOP51-a-3
26:  Value 37 is out of acceptable range: 'lower than 30' METRIC.CC-3
27:  Parameter 'graph_file' is not validated before use CERT_C-API00-a-3
28:  Parameter 'vehicle_traits' is not validated before use CERT_C-API00-a-3
33:  The string literal is embedded directly in the code: Failed to load graph file [ CERT_C-MSC41-a-1
33:  The string literal is embedded directly in the code: ] CERT_C-MSC41-a-1
36:  The string literal is embedded directly in the code: levels CERT_C-MSC41-a-1
41:  The string literal is embedded directly in the code: Graph file [ CERT_C-MSC41-a-1
41:  The string literal is embedded directly in the code: ] is missing the [levels] key CERT_C-MSC41-a-1
49:  The string literal is embedded directly in the code: The [levels] key does not point to a map in graph file [ CERT_C-MSC41-a-1
50:  The string literal is embedded directly in the code: ] CERT_C-MSC41-a-1
69:  The string literal is embedded directly in the code: vertices CERT_C-MSC41-a-1
78:  The string literal is embedded directly in the code: name CERT_C-MSC41-a-1
88:  The string literal is embedded directly in the code: Duplicated waypoint name [ CERT_C-MSC41-a-1
88:  The string literal is embedded directly in the code: ] in graph [ CERT_C-MSC41-a-1
89:  The string literal is embedded directly in the code: ] CERT_C-MSC41-a-1
96:  The string literal is embedded directly in the code: is_parking_spot CERT_C-MSC41-a-1
101:  Unused function's "set_parking_spot" return value CERT_C-ERR33-a-1
101:  Unused function's "set_parking_spot" return value CERT_C-POS54-a-1
101:  Unused function's "set_parking_spot" return value CERT_C-EXP12-a-3
104:  The string literal is embedded directly in the code: is_holding_point CERT_C-MSC41-a-1
109:  Unused function's "set_holding_point" return value CERT_C-ERR33-a-1
109:  Unused function's "set_holding_point" return value CERT_C-POS54-a-1
109:  Unused function's "set_holding_point" return value CERT_C-EXP12-a-3
112:  The string literal is embedded directly in the code: is_passthrough_point CERT_C-MSC41-a-1
117:  Unused function's "set_passthrough_point" return value CERT_C-ERR33-a-1
117:  Unused function's "set_passthrough_point" return value CERT_C-POS54-a-1
117:  Unused function's "set_passthrough_point" return value CERT_C-EXP12-a-3
120:  The string literal is embedded directly in the code: is_charger CERT_C-MSC41-a-1
125:  Unused function's "set_charger" return value CERT_C-ERR33-a-1
125:  Unused function's "set_charger" return value CERT_C-POS54-a-1
125:  Unused function's "set_charger" return value CERT_C-EXP12-a-3
128:  The string literal is embedded directly in the code: lift CERT_C-MSC41-a-1
140:  The string literal is embedded directly in the code: lanes CERT_C-MSC41-a-1
148:  The string literal is embedded directly in the code: orientation_constraint CERT_C-MSC41-a-1
153:  The string literal is embedded directly in the code: forward CERT_C-MSC41-a-1
159:  The string literal is embedded directly in the code: backward CERT_C-MSC41-a-1
169:  The string literal is embedded directly in the code: Unrecognized orientation constraint label given to lane [ CERT_C-MSC41-a-1
170:  The string literal is embedded directly in the code: , CERT_C-MSC41-a-1
171:  The string literal is embedded directly in the code: ]: [ CERT_C-MSC41-a-1
172:  The string literal is embedded directly in the code: ] in graph [ CERT_C-MSC41-a-1
173:  The string literal is embedded directly in the code: ] CERT_C-MSC41-a-1
208:  The string literal is embedded directly in the code: Inconsistency in building map. Map [ CERT_C-MSC41-a-1
208:  The string literal is embedded directly in the code: ] has two connected waypoints [ CERT_C-MSC41-a-1
210:  The string literal is embedded directly in the code: -> CERT_C-MSC41-a-1
211:  The string literal is embedded directly in the code: ] that are in different lifts [ CERT_C-MSC41-a-1
212:  The string literal is embedded directly in the code: -> CERT_C-MSC41-a-1
213:  The string literal is embedded directly in the code: ]. This is not supported! CERT_C-MSC41-a-1
221:  Provide 'else' after the last 'else-if' construct CERT_C-MSC01-a-2
234:  The string literal is embedded directly in the code: demo_mock_floor_name CERT_C-MSC41-a-1
239:  The string literal is embedded directly in the code: demo_mock_lift_name CERT_C-MSC41-a-1
245:  The string literal is embedded directly in the code: Missing [demo_mock_lift_name] parameter which is required for mock lifts CERT_C-MSC41-a-1
264:  Provide 'else' after the last 'else-if' construct CERT_C-MSC01-a-2
264:  The string literal is embedded directly in the code: door_name CERT_C-MSC41-a-1
273:  The string literal is embedded directly in the code: dock_name CERT_C-MSC41-a-1
280:  The string literal is embedded directly in the code: We do not currently support a dock_name option when any other lane options are also specified CERT_C-MSC41-a-1
294:  The string literal is embedded directly in the code: speed_limit CERT_C-MSC41-a-1
298:  Unused function's "speed_limit" return value CERT_C-ERR33-a-1
298:  Unused function's "speed_limit" return value CERT_C-POS54-a-1
298:  Unused function's "speed_limit" return value CERT_C-EXP12-a-3
307:  Use parenthesis to clarify order ('-' is the second operand of '<') CERT_C-EXP00-a-3
310:  Declare local variable 'exit_event' as const CERT_C-DCL00-a-3
315:  Unused function's "add_lane" return value CERT_C-ERR33-a-1
315:  Unused function's "add_lane" return value CERT_C-POS54-a-1
315:  Unused function's "add_lane" return value CERT_C-EXP12-a-3
321:  Unused function's "add_lane" return value CERT_C-ERR33-a-1
321:  Unused function's "add_lane" return value CERT_C-POS54-a-1
321:  Unused function's "add_lane" return value CERT_C-EXP12-a-3
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/estimation.cpp
23:  Value 8 is out of acceptable range: 'lower than 7' METRIC.NBD-3
24:  Declare parameter 'node' as const CERT_C-DCL00-a-3
25:  Parameter 'state' is not validated before use CERT_C-API00-a-3
26:  Parameter 'info' is not validated before use CERT_C-API00-a-3
66:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
74:  Assert contains function-like call to 'size' CERT_C-PRE31-c-3
74:  The 'assert' shall not be used CERT_C-ERR06-a-3
76:  The 'assert' shall not be used CERT_C-ERR06-a-3
84:  Declare parameter 'node' as const CERT_C-DCL00-a-3
84:  Parameter 'node' is not validated before use CERT_C-API00-a-3
86:  Parameter 'info' is not validated before use CERT_C-API00-a-3
88:  Assert contains function-like call to 'empty' CERT_C-PRE31-c-3
88:  The 'assert' shall not be used CERT_C-ERR06-a-3
98:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
98:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
98:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
100:  Do not pass the nonstandard-layout type object to the 'convert' function defined in the library that may not be ABI-compatible CERT_CPP-EXP60-a-1
103:  The 'assert' shall not be used CERT_C-ERR06-a-3
110:  The 'assert' shall not be used CERT_C-ERR06-a-3
115:  Variable "lane_start" should be declared as locally as possible CERT_C-DCL19-a-3
130:  Parameter 'l' is not validated before use CERT_C-API00-a-3
131:  The parameter 'lane_start' of function 'estimate_midlane_state' is passed by value OPT-14-3
135:  Assert contains function-like call to 'size' CERT_C-PRE31-c-3
135:  Consider adding a string with an informational message to the assertion CERT_C-MSC11-a-3
135:  The 'assert' shall not be used CERT_C-ERR06-a-3
155:  Use parenthesis to clarify order ('<=' is the first operand of '&&') CERT_C-EXP00-a-3
155:  Use parenthesis to clarify order ('<=' is the second operand of '&&') CERT_C-EXP00-a-3
156:  Use parenthesis to clarify order ('<' is the second operand of '&&') CERT_C-EXP00-a-3
189:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
191:  Declare local variable 'forward_lane' as const CERT_C-DCL00-a-3
191:  Provide 'else' after the last 'else-if' construct CERT_C-MSC01-a-2
198:  Declare local variable 'reverse_lane' as const CERT_C-DCL00-a-3
214:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
214:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
214:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
219:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
219:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
219:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
222:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
222:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
222:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
226:  Value 7 is out of acceptable range: 'lower than 7' METRIC.NBD-3
227:  Declare parameter 'node' as const CERT_C-DCL00-a-3
227:  Pass parameter "node" with const specifier CERT_C-DCL13-a-3
228:  Parameter 'l' is not validated before use CERT_C-API00-a-3
242:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
245:  Provide 'else' after the last 'else-if' construct CERT_C-MSC01-a-2
249:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
249:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
249:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
268:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
268:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
268:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
272:  Value 7 is out of acceptable range: 'lower than 7' METRIC.NBD-3
273:  Declare parameter 'node' as const CERT_C-DCL00-a-3
273:  Pass parameter "node" with const specifier CERT_C-DCL13-a-3
274:  Parameter 'l' is not validated before use CERT_C-API00-a-3
299:  The 'assert' shall not be used CERT_C-ERR06-a-3
310:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/events/Error.cpp
25:  Parameter 'state' is not validated before use CERT_C-API00-a-3
26:  Declare parameter 'behavior' as const CERT_C-DCL00-a-3
26:  Parameter 'behavior' is not validated before use CERT_C-API00-a-3
33:  Unused function's "update_status" return value CERT_C-ERR33-a-1
33:  Unused function's "update_status" return value CERT_C-POS54-a-1
33:  Unused function's "update_status" return value CERT_C-EXP12-a-3
52:  The parameter number '1' of function 'begin' is passed by value OPT-14-3
53:  Parameter 'finished' is not validated before use CERT_C-API00-a-3
53:  The parameter 'finished' of function 'begin' is passed by value OPT-14-3
65:  Parameter 'state' is not validated before use CERT_C-API00-a-3
66:  Parameter 'finished' is not validated before use CERT_C-API00-a-3
66:  The parameter 'finished' of function 'make' is passed by value OPT-14-3
67:  Declare parameter 'behavior' as const CERT_C-DCL00-a-3
73:  Unused function's "update_status" return value CERT_C-ERR33-a-1
73:  Unused function's "update_status" return value CERT_C-POS54-a-1
73:  Unused function's "update_status" return value CERT_C-EXP12-a-3
100:  Declare parameter 'task_is_interrupted' as const CERT_C-DCL00-a-3
100:  Parameter 'task_is_interrupted' is not validated before use CERT_C-API00-a-3
100:  The parameter 'task_is_interrupted' of function 'interrupt' is passed by value OPT-14-3
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/events/Error.hpp
45:  No constructor. All member variables: '_behavior' should be initialized in constructor INIT-06-1
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/jobs/Rollout.cpp
25:  The parameter 'result' of function 'Rollout' is passed by value OPT-14-3
26:  Declare parameter 'blocker' as const CERT_C-DCL00-a-3
27:  The parameter 'span' of function 'Rollout' is passed by value OPT-14-3
28:  The parameter 'max_rollouts' of function 'Rollout' is passed by value OPT-14-3
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/load_param.cpp
26:  Parameter 'node' is not validated before use CERT_C-API00-a-3
27:  Parameter 'param_name' is not validated before use CERT_C-API00-a-3
28:  Parameter 'default_value' is not validated before use CERT_C-API00-a-3
38:  Parameter 'node' is not validated before use CERT_C-API00-a-3
38:  Value 7 is out of acceptable range: 'lower than 7' METRIC.NBD-3
40:  The string literal is embedded directly in the code: fleet_name CERT_C-MSC41-a-1
46:  The string literal is embedded directly in the code: fleet_name parameter is missing CERT_C-MSC41-a-1
53:  Parameter 'node' is not validated before use CERT_C-API00-a-3
54:  Parameter 'default_v_nom' is not validated before use CERT_C-API00-a-3
54:  Parameter 'default_w_nom' is not validated before use CERT_C-API00-a-3
55:  Parameter 'default_a_nom' is not validated before use CERT_C-API00-a-3
55:  Parameter 'default_alpha_nom' is not validated before use CERT_C-API00-a-3
56:  Parameter 'default_r_f' is not validated before use CERT_C-API00-a-3
56:  Parameter 'default_r_v' is not validated before use CERT_C-API00-a-3
59:  The string literal is embedded directly in the code: linear_velocity CERT_C-MSC41-a-1
61:  The string literal is embedded directly in the code: angular_velocity CERT_C-MSC41-a-1
63:  The string literal is embedded directly in the code: linear_acceleration CERT_C-MSC41-a-1
65:  The string literal is embedded directly in the code: angular_acceleration CERT_C-MSC41-a-1
67:  The string literal is embedded directly in the code: footprint_radius CERT_C-MSC41-a-1
69:  The string literal is embedded directly in the code: vicinity_radius CERT_C-MSC41-a-1
71:  The string literal is embedded directly in the code: reversible CERT_C-MSC41-a-1
74:  The string literal is embedded directly in the code: ===== We have an irreversible robot CERT_C-MSC41-a-1
87:  Unused function's "set_reversible" return value CERT_C-ERR33-a-1
87:  Unused function's "set_reversible" return value CERT_C-POS54-a-1
87:  Unused function's "set_reversible" return value CERT_C-EXP12-a-3
94:  Parameter 'node' is not validated before use CERT_C-API00-a-3
95:  Parameter 'default_voltage' is not validated before use CERT_C-API00-a-3
96:  Parameter 'default_capacity' is not validated before use CERT_C-API00-a-3
97:  Parameter 'default_charging_current' is not validated before use CERT_C-API00-a-3
100:  The string literal is embedded directly in the code: battery_voltage CERT_C-MSC41-a-1
102:  The string literal is embedded directly in the code: battery_capacity CERT_C-MSC41-a-1
105:  The string literal is embedded directly in the code: battery_charging_current CERT_C-MSC41-a-1
107:  Declare local variable 'battery_system' as const CERT_C-DCL00-a-3
115:  Parameter 'node' is not validated before use CERT_C-API00-a-3
116:  Parameter 'default_mass' is not validated before use CERT_C-API00-a-3
117:  Parameter 'default_moment' is not validated before use CERT_C-API00-a-3
118:  Parameter 'default_friction' is not validated before use CERT_C-API00-a-3
121:  The string literal is embedded directly in the code: mass CERT_C-MSC41-a-1
123:  The string literal is embedded directly in the code: inertia CERT_C-MSC41-a-1
125:  The string literal is embedded directly in the code: friction_coefficient CERT_C-MSC41-a-1
127:  Declare local variable 'mechanical_system' as const CERT_C-DCL00-a-3
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/make_trajectory.cpp
27:  Parameter 'state' is not validated before use CERT_C-API00-a-3
28:  Parameter 'traits' is not validated before use CERT_C-API00-a-3
34:  The string literal is embedded directly in the code: B1 CERT_C-MSC41-a-1
38:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
38:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
38:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
39:  'for' statement in a function 'make_trajectory' should be followed by a block CERT_C-EXP19-a-2
40:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
40:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
40:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
53:  Unused function's "insert" return value CERT_C-ERR33-a-1
53:  Unused function's "insert" return value CERT_C-POS54-a-1
53:  Unused function's "insert" return value CERT_C-EXP12-a-3
56:  Unused function's "insert" return value CERT_C-ERR33-a-1
56:  Unused function's "insert" return value CERT_C-POS54-a-1
56:  Unused function's "insert" return value CERT_C-EXP12-a-3
69:  Parameter 'start_time' is not validated before use CERT_C-API00-a-3
69:  The parameter 'start_time' of function 'make_trajectory' is passed by value OPT-14-3
71:  Parameter 'traits' is not validated before use CERT_C-API00-a-3
74:  'for' statement in a function 'make_trajectory' should be followed by a block CERT_C-EXP19-a-2
75:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
75:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
75:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
84:  Parameter 'traits' is not validated before use CERT_C-API00-a-3
91:  Unused function's "insert" return value CERT_C-ERR33-a-1
91:  Unused function's "insert" return value CERT_C-POS54-a-1
91:  Unused function's "insert" return value CERT_C-EXP12-a-3
93:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
93:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
93:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
101:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
101:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
101:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
107:  'for' statement in a function 'make_timed_trajectory' should be followed by a block CERT_C-EXP19-a-2
108:  Unused function's "insert" return value CERT_C-ERR33-a-1
108:  Unused function's "insert" return value CERT_C-POS54-a-1
108:  Unused function's "insert" return value CERT_C-EXP12-a-3
115:  Unused function's "insert" return value CERT_C-ERR33-a-1
115:  Unused function's "insert" return value CERT_C-POS54-a-1
115:  Unused function's "insert" return value CERT_C-EXP12-a-3
125:  Parameter 'state' is not validated before use CERT_C-API00-a-3
126:  Parameter 'traits' is not validated before use CERT_C-API00-a-3
127:  Parameter 'is_sitting' is not validated before use CERT_C-API00-a-3
137:  Parameter 'l' is not validated before use CERT_C-API00-a-3
138:  The parameter 't' of function 'make_hold' is passed by value OPT-14-3
139:  Declare parameter 'duration' as const CERT_C-DCL00-a-3
139:  Parameter 'duration' is not validated before use CERT_C-API00-a-3
139:  The parameter 'duration' of function 'make_hold' is passed by value OPT-14-3
142:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
142:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
142:  Implicit conversion from 'float' type to 'double' type in function's argument CERT_C-FLP03-c-3
148:  Unused function's "insert" return value CERT_C-ERR33-a-1
148:  Unused function's "insert" return value CERT_C-POS54-a-1
148:  Unused function's "insert" return value CERT_C-EXP12-a-3
149:  Unused function's "insert" return value CERT_C-ERR33-a-1
149:  Unused function's "insert" return value CERT_C-POS54-a-1
149:  Unused function's "insert" return value CERT_C-EXP12-a-3
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/make_trajectory.hpp
53:  Reserved name 'time' used CERT_CPP-DCL51-e-3
53:  Reserved name 'time' used CERT_CPP-DCL51-f-3
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/phases/SupervisorHasSession.cpp
24:  Parameter 'heartbeat' is not validated before use CERT_C-API00-a-3
32:  Declare local variable 'it' as const CERT_C-DCL00-a-3
44:  Declare local variable 'it2' as const CERT_C-DCL00-a-3
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/phases/Utils.cpp
23:  Parameter 'a' is not validated before use CERT_C-API00-a-3
24:  Parameter 'b' is not validated before use CERT_C-API00-a-3
26:  Use parenthesis to clarify order ('==' is the first operand of '&&') CERT_C-EXP00-a-3
26:  Use parenthesis to clarify order ('>' is the first operand of '||') CERT_C-EXP00-a-3
26:  Use parenthesis to clarify order ('>' is the second operand of '&&') CERT_C-EXP00-a-3
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/project_itinerary.cpp
24:  Parameter 'starting_from' is not validated before use CERT_C-API00-a-3
26:  Parameter 'with_planner' is not validated before use CERT_C-API00-a-3
39:  Declare local variable 'start' as const CERT_C-DCL00-a-3
43:  Unused function's "validator" return value CERT_C-ERR33-a-1
43:  Unused function's "validator" return value CERT_C-POS54-a-1
43:  Unused function's "validator" return value CERT_C-EXP12-a-3
54:  'for' statement in a function 'project_itinerary' should be followed by a block CERT_C-EXP19-a-2
54:  Identifier 'wp' is hiding other identifier with the same name declared in outer scope CERT_C-DCL01-b-3
55:  Unused function's "insert" return value CERT_C-ERR33-a-1
55:  Unused function's "insert" return value CERT_C-POS54-a-1
55:  Unused function's "insert" return value CERT_C-EXP12-a-3
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/services/ProgressEvaluator.cpp
100:  Unused function's "maximum_cost_estimate" return value CERT_C-ERR33-a-1
100:  Unused function's "maximum_cost_estimate" return value CERT_C-POS54-a-1
100:  Unused function's "maximum_cost_estimate" return value CERT_C-EXP12-a-3
105:  Provide 'else' after the last 'else-if' construct CERT_C-MSC01-a-2
107:  Unused function's "maximum_cost_estimate" return value CERT_C-ERR33-a-1
107:  Unused function's "maximum_cost_estimate" return value CERT_C-POS54-a-1
107:  Unused function's "maximum_cost_estimate" return value CERT_C-EXP12-a-3
128:  The 'const rmf_fleet_adapter::services::ProgressEvaluator::Result *' pointer to object type should not be implicitly converted to the integral type 'bool' CERT_C-INT36-b-3
128:  Use parenthesis to clarify order ('<' is the second operand of '||') CERT_C-EXP00-a-3
/rmf_fleet_adapter_testing/src/rmf_fleet_adapter/services/ProgressEvaluator.hpp
34:  Constructor 'ProgressEvaluator' allowing conversion should be made explicit CODSTA-CPP-04-1


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