rep_header_logo.png rep_header_3.png
User configuration:  Recommended Rules with Security
2022-07-08T15:17:55+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: 862 total,  0 suppressed
Goal: accomplish all tasks

 
All Recommended Tasks by Category
 by:   Category   Severity   
  [14]   CERT-MSC41_C (RULE) Never hard code sensitive information (CERT_C-MSC41) 
        [14]   Do not hard code string literals (CERT_C-MSC41-a-1) 
  [1]   CERT-FIO01_C (REC) Be careful using functions that use file names for identification (CERT_C-FIO01) 
        [1]   Usage of functions prone to race is not allowed (CERT_C-FIO01-b-1) 
  [14]   CERT-POS54_C (RULE) Detect and handle POSIX library errors (CERT_C-POS54) 
        [14]   The value returned by a function having non-void return type shall be used (CERT_C-POS54-a-1) 
  [11]   CERT-ERR33_C (RULE) Detect and handle standard library errors (CERT_C-ERR33) 
        [11]   The value returned by a function having non-void return type shall be used (CERT_C-ERR33-a-1) 
  [2]   CERT-EXP60_CPP (RULE) Do not pass a nonstandard-layout type object across execution boundaries (CERT_CPP-EXP60) 
        [2]   Do not pass a nonstandard-layout type object across execution boundaries (CERT_CPP-EXP60-a-1) 
  [1]   Coding Conventions (CODSTA) 
        [1]   Local variables should not use the same names as member variables (CODSTA-44-1) 
  [7]   Initialization (INIT) 
        [7]   All member variables should be initialized in constructor (INIT-06-1) 

msi3  Recommended Tasks to Accomplish Today :  50 Back to Top    
/rmf_task_testing/src/rmf_task/BackupFileManager.cpp
189:  Unused function's "remove" return value CERT_C-ERR33-a-1
189:  Unused function's "remove" return value CERT_C-POS54-a-1
190:  Unused function's "remove" return value CERT_C-POS54-a-1
274:  The string literal is embedded directly in the code: [BackupFileManager::Robot::read] Directory CERT_C-MSC41-a-1
292:  The string literal is embedded directly in the code: found. This should be removed. CERT_C-MSC41-a-1
304:  Detected use of function that may cause race conditions: remove CERT_C-FIO01-b-1
310:  The string literal is embedded directly in the code: Could not open file CERT_C-MSC41-a-1
/rmf_task_testing/src/rmf_task/Constraints.cpp
58:  The string literal is embedded directly in the code: Recharge State of Charge needs to be between 0.0 and 1.0. CERT_C-MSC41-a-1
/rmf_task_testing/src/rmf_task/Estimate.cpp
73:  No constructor. All member variables: 'change_in_charge' should be initialized in constructor INIT-06-1
/rmf_task_testing/src/rmf_task/Event.cpp
80:  No constructor. All member variables: 'id, status' should be initialized in constructor INIT-06-1
/rmf_task_testing/src/rmf_task/Header.cpp
74:  The string literal is embedded directly in the code: ] is too high for the number of waypoints [ CERT_C-MSC41-a-1
75:  The string literal is embedded directly in the code: ] in the graph CERT_C-MSC41-a-1
/rmf_task_testing/src/rmf_task/InvariantHeuristicQueue.cpp
58:  Unused function's "rotate" return value CERT_C-POS54-a-1
/rmf_task_testing/src/rmf_task/Log.cpp
54:  No constructor. All member variables: 'seq, tier' should be initialized in constructor INIT-06-1
290:  The string literal is embedded directly in the code: [Log::push] Tier was set to Uninitialized, which is illegal. CERT_C-MSC41-a-1
303:  Unused function's "emplace_back" return value CERT_C-ERR33-a-1
/rmf_task_testing/src/rmf_task/Payload.cpp
64:  The string literal is embedded directly in the code: nothing CERT_C-MSC41-a-1
72:  The string literal is embedded directly in the code: of [ CERT_C-MSC41-a-1
81:  The string literal is embedded directly in the code: types of items ( CERT_C-MSC41-a-1
/rmf_task_testing/src/rmf_task/Phase.cpp
23:  No constructor. All member variables: 'id' should be initialized in constructor INIT-06-1
/rmf_task_testing/src/rmf_task/State.cpp
52:  Unused function's "with" return value CERT_C-ERR33-a-1
68:  Unused function's "with" return value CERT_C-POS54-a-1
119:  Unused function's "dedicated_charging_waypoint" return value CERT_C-POS54-a-1
127:  Unused function's "with" return value CERT_C-POS54-a-1
128:  Unused function's "with" return value CERT_C-POS54-a-1
129:  Unused function's "with" return value CERT_C-ERR33-a-1
129:  Unused function's "with" return value CERT_C-POS54-a-1
149:  Unused function's "time" return value CERT_C-POS54-a-1
/rmf_task_testing/src/rmf_task/Task.cpp
25:  No constructor. All member variables: 'automatic' should be initialized in constructor INIT-06-1
/rmf_task_testing/src/rmf_task/TaskPlanner.cpp
101:  No constructor. All member variables: 'greedy' should be initialized in constructor INIT-06-1
632:  Unused function's "insert" return value CERT_C-ERR33-a-1
632:  Unused function's "insert" return value CERT_C-POS54-a-1
/rmf_task_testing/src/rmf_task/events/SimpleEventState.cpp
24:  No constructor. All member variables: 'id, status' should be initialized in constructor INIT-06-1
/rmf_task_testing/src/rmf_task/internal_task_planning.cpp
115:  Unused function's "insert" return value CERT_C-POS54-a-1
142:  Unused function's "insert" return value CERT_C-ERR33-a-1
204:  The local variable 'model' hides a member variable declared in class 'PendingTask' CODSTA-44-1
/rmf_task_testing/src/rmf_task/internal_task_planning.hpp
172:  Unused function's "insert" return value CERT_C-POS54-a-1
197:  Unused function's "erase" return value CERT_C-ERR33-a-1
197:  Unused function's "erase" return value CERT_C-POS54-a-1
/rmf_task_testing/src/rmf_task/phases/RestoreBackup.cpp
51:  The string literal is embedded directly in the code: Parsing backup state:``` CERT_C-MSC41-a-1
51:  The string literal is embedded directly in the code: ``` CERT_C-MSC41-a-1
109:  Unused function's "update_status" return value CERT_C-ERR33-a-1
109:  Unused function's "update_status" return value CERT_C-POS54-a-1
/rmf_task_testing/src/rmf_task/requests/ChargeBattery.cpp
147:  Unused function's "time" return value CERT_C-ERR33-a-1
211:  The string literal is embedded directly in the code: Charge CERT_C-MSC41-a-1
/rmf_task_testing/src/rmf_task/requests/Clean.cpp
257:  Do not pass the nonstandard-layout type object to the 'standard_waypoint_name' function defined in the library that may not be ABI-compatible CERT_CPP-EXP60-a-1
/rmf_task_testing/src/rmf_task/requests/Delivery.cpp
170:  Unused function's "time" return value CERT_C-ERR33-a-1
194:  Unused function's "battery_soc" return value CERT_C-ERR33-a-1
272:  The string literal is embedded directly in the code: Delivery from CERT_C-MSC41-a-1
/rmf_task_testing/src/rmf_task/requests/Loop.cpp
263:  Do not pass the nonstandard-layout type object to the 'standard_waypoint_name' function defined in the library that may not be ABI-compatible CERT_CPP-EXP60-a-1

 
All Tasks by Category
 by:   Category   Severity   
  [1]   Code Duplication Detection (CDD) 
        [1]   Avoid function duplication (CDD-DUPM-2) 
  [1]   CERT-MSC13_C (REC) Detect and remove unused values (CERT_C-MSC13) 
        [1]   Avoid unnecessary local variables (CERT_C-MSC13-a-3) 
  [1]   CERT-FLP06_C (REC) Convert integers to floating point for floating-point operations (CERT_C-FLP06) 
        [1]   Implicit conversions from integral to floating type which may result in a loss of information shall not be used (CERT_C-FLP06-a-2) 
  [1]   CERT-INT02_C (REC) Understand integer conversion rules (CERT_C-INT02) 
        [1]   Avoid mixing arithmetic of different precisions in the same expression (CERT_C-INT02-b-2) 
  [9]   CERT-MEM04_C (REC) Beware of zero-length allocations (CERT_C-MEM04) 
        [9]   The validity of values passed to library functions shall be checked (CERT_C-MEM04-a-2) 
  [4]   CERT-MEM02_C (REC) Immediately cast the result of a memory allocation function call into a pointer to the allocated type (CERT_C-MEM02) 
        [2]   Assignment operator should have operands of compatible types (CERT_C-MEM02-a-3) 
        [2]   Do not assign function return value to a variable of incompatible type (CERT_C-MEM02-b-3) 
  [6]   CERT-PRE31_C (RULE) Avoid side effects in arguments to unsafe macros (CERT_C-PRE31) 
        [6]   Assertions should not contain function calls nor function-like macro calls (CERT_C-PRE31-c-3) 
  [4]   CERT-MSC09_C (REC) Character encoding: Use subset of ASCII for safety (CERT_C-MSC09) 
        [4]   Only use characters defined in ISO C standard (CERT_C-MSC09-a-3) 
  [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) 
  [3]   CERT-FIO41_C (RULE) Do not call getc(), putc(), getwc(), or putwc() with a stream argument that has side effects (CERT_C-FIO41) 
        [3]   A full expression containing an increment (++) or decrement (--) operator should have no other potential side effects (CERT_C-FIO41-e-3) 
  [9]   CERT-MEM07_C (REC) Ensure that the arguments to calloc(), when multiplied, do not wrap (CERT_C-MEM07) 
        [9]   The validity of values passed to library functions shall be checked (CERT_C-MEM07-a-2) 
  [49]   CERT-MSC41_C (RULE) Never hard code sensitive information (CERT_C-MSC41) 
        [49]   Do not hard code string literals (CERT_C-MSC41-a-1) 
  [258]   CERT-API00_C (REC) Functions should validate their parameters (CERT_C-API00) 
        [258]   The validity of parameters must be checked inside each function (CERT_C-API00-a-3) 
  [5]   CERT-FIO21_C (REC) Do not create temporary files in shared directories (CERT_C-FIO21) 
        [5]   Usage of functions prone to race is not allowed (CERT_C-FIO21-a-2) 
  [1]   CERT-EXP40_C (RULE) Do not modify constant objects (CERT_C-EXP40) 
        [1]   A cast shall not remove any 'const' or 'volatile' qualification from the type of a pointer or reference (CERT_C-EXP40-a-3) 
  [1]   CERT-EXP32_C (RULE) Do not access a volatile object through a nonvolatile reference (CERT_C-EXP32) 
        [1]   A cast shall not remove any 'const' or 'volatile' qualification from the type of a pointer or reference (CERT_C-EXP32-a-2) 
  [6]   CERT-EXP37_C (RULE) Call functions with the correct number and type of arguments (CERT_C-EXP37) 
        [6]   Identifiers shall be given for all of the parameters in a function prototype declaration (CERT_C-EXP37-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) 
  [1]   CERT-DCL22_C (REC) Use volatile for data that cannot be cached (CERT_C-DCL22) 
        [1]   Avoid unused values (CERT_C-DCL22-a-3) 
  [21]   CERT-EXP00_C (REC) Use parentheses for precedence of operation (CERT_C-EXP00) 
        [21]   Use parenthesis to clarify expression order if operators with precedence lower than arithmetic are used (CERT_C-EXP00-a-3) 
  [1]   CERT-EXP05_C (REC) Do not cast away a const qualification (CERT_C-EXP05) 
        [1]   A cast shall not remove any 'const' or 'volatile' qualification from the type of a pointer or reference (CERT_C-EXP05-a-2) 
  [9]   CERT-EXP02_C (REC) Be aware of the short-circuit behavior of the logical AND and OR operators (CERT_C-EXP02) 
        [9]   The right-hand operand of a logical && or || operator shall not contain side effects (CERT_C-EXP02-a-3) 
  [3]   CERT-DCL19_C (REC) Minimize the scope of variables and functions (CERT_C-DCL19) 
        [3]   Declare variables as locally as possible (CERT_C-DCL19-a-3) 
  [5]   CERT-FIO01_C (REC) Be careful using functions that use file names for identification (CERT_C-FIO01) 
        [5]   Usage of functions prone to race is not allowed (CERT_C-FIO01-b-1) 
  [38]   CERT-EXP12_C (REC) Do not ignore values returned by functions (CERT_C-EXP12) 
        [38]   The value returned by a function having non-void return type shall be used (CERT_C-EXP12-a-3) 
  [1]   CERT-EXP14_C (REC) Beware of integer promotion when performing bitwise operations on integer types smaller than int (CERT_C-EXP14) 
        [1]   Avoid mixing arithmetic of different precisions in the same expression (CERT_C-EXP14-a-3) 
  [6]   CERT-EXP19_C (REC) Use braces for the body of an if, for, or while statement (CERT_C-EXP19) 
        [6]   The statement forming the body of a 'switch', 'while', 'do...while' or 'for' statement shall be a compound statement (CERT_C-EXP19-a-2) 
  [1]   CERT-PRE06_C (REC) Enclose header files in an include guard (CERT_C-PRE06) 
        [1]   Use multiple include guards (CERT_C-PRE06-a-3) 
  [38]   CERT-POS54_C (RULE) Detect and handle POSIX library errors (CERT_C-POS54) 
        [38]   The value returned by a function having non-void return type shall be used (CERT_C-POS54-a-1) 
  [4]   CERT-ERR30_C (RULE) Set errno to zero before calling a library function known to set errno, and check errno only after the function returns a value indicating failure (CERT_C-ERR30) 
        [4]   Properly use errno value (CERT_C-ERR30-a-2) 
  [4]   CERT-ERR32_C (RULE) Do not rely on indeterminate values of errno (CERT_C-ERR32) 
        [4]   Properly use errno value (CERT_C-ERR32-a-3) 
  [38]   CERT-ERR33_C (RULE) Detect and handle standard library errors (CERT_C-ERR33) 
        [38]   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) 
  [101]   CERT-DCL00_C (REC) Const-qualify immutable objects (CERT_C-DCL00) 
        [101]   Declare parameters or local variable as const whenever possible (CERT_C-DCL00-a-3) 
  [1]   CERT-FLP36_C (RULE) Preserve precision when converting integral values to floating-point type (CERT_C-FLP36) 
        [1]   Implicit conversions from integral to floating type which may result in a loss of information shall not be used (CERT_C-FLP36-a-3) 
  [3]   CERT-ERR50_CPP (RULE) Do not abruptly terminate the program (CERT_CPP-ERR50) 
        [2]   Never allow an exception to be thrown from a destructor, deallocation, and swap (CERT_CPP-ERR50-b-3) 
        [1]   Exceptions shall be raised only after start-up and before termination of the program (CERT_CPP-ERR50-f-3) 
  [1]   CERT-MEM51_CPP (RULE) Properly deallocate dynamically allocated resources (CERT_CPP-MEM51) 
        [1]   Both copy constructor and copy assignment operator should be declared for classes with a nontrivial destructor (CERT_CPP-MEM51-c-1) 
  [2]   CERT-DCL57_CPP (RULE) Do not let exceptions escape from destructors or deallocation functions (CERT_CPP-DCL57) 
        [2]   Never allow an exception to be thrown from a destructor, deallocation, and swap (CERT_CPP-DCL57-a-2) 
  [1]   CERT-ERR58_CPP (RULE) Handle all exceptions thrown before main() begins executing (CERT_CPP-ERR58) 
        [1]   Exceptions shall be raised only after start-up and before termination of the program (CERT_CPP-ERR58-a-2) 
  [3]   CERT-STR53_CPP (RULE) Range check element access (CERT_CPP-STR53) 
        [3]   Guarantee that container indices are within the valid range (CERT_CPP-STR53-a-2) 
  [10]   CERT-DCL51_CPP (RULE) Do not declare or define a reserved identifier (CERT_CPP-DCL51) 
        [5]   The names of standard library macros, objects and functions shall not be reused (C90) (CERT_CPP-DCL51-e-3) 
        [5]   The names of standard library macros, objects and functions shall not be reused (C99) (CERT_CPP-DCL51-f-3) 
  [1]   CERT-OOP54_CPP (RULE) Gracefully handle self-copy assignment (CERT_CPP-OOP54) 
        [1]   Check for assignment to self in operator= (CERT_CPP-OOP54-a-3) 
  [1]   CERT-EXP55_CPP (RULE) Do not access a cv-qualified object through a cv-unqualified type (CERT_CPP-EXP55) 
        [1]   A cast shall not remove any 'const' or 'volatile' qualification from the type of a pointer or reference (CERT_CPP-EXP55-a-2) 
  [5]   CERT-EXP60_CPP (RULE) Do not pass a nonstandard-layout type object across execution boundaries (CERT_CPP-EXP60) 
        [5]   Do not pass a nonstandard-layout type object across execution boundaries (CERT_CPP-EXP60-a-1) 
  [3]   CERT-CTR50_CPP (RULE) Guarantee that container indices and iterators are within the valid range (CERT_CPP-CTR50) 
        [3]   Guarantee that container indices are within the valid range (CERT_CPP-CTR50-a-2) 
  [2]   Coding Conventions (CODSTA) 
        [2]   Local variables should not use the same names as member variables (CODSTA-44-1) 
  [10]   Coding Conventions for C++ (CODSTA-CPP) 
        [10]   Constructors allowing for conversion should be made explicit (CODSTA-CPP-04-1) 
  [13]   Initialization (INIT) 
        [13]   All member variables should be initialized in constructor (INIT-06-1) 
  [1]   Metric (METRIC) 
        [1]   Nested Blocks Depth (METRIC.NBD-3) 
  [163]   Optimization (OPT) 
        [163]   Pass objects by reference instead of by value (OPT-14-3) 

msi3  Total Tasks :  862 Back to Top    
/rmf_task_testing/src/rmf_task/Activator.cpp
40:  Parameter 'get_state' is not validated before use CERT_C-API00-a-3
41:  Parameter 'parameters' is not validated before use CERT_C-API00-a-3
43:  Parameter 'update' is not validated before use CERT_C-API00-a-3
43:  The parameter 'update' of function 'activate' is passed by value OPT-14-3
44:  Parameter 'checkpoint' is not validated before use CERT_C-API00-a-3
44:  The parameter 'checkpoint' of function 'activate' is passed by value OPT-14-3
45:  Parameter 'phase_finished' is not validated before use CERT_C-API00-a-3
45:  The parameter 'phase_finished' of function 'activate' is passed by value OPT-14-3
46:  Parameter 'task_finished' is not validated before use CERT_C-API00-a-3
46:  The parameter 'task_finished' of function 'activate' is passed by value OPT-14-3
74:  Parameter 'get_state' is not validated before use CERT_C-API00-a-3
75:  Parameter 'parameters' is not validated before use CERT_C-API00-a-3
77:  Parameter 'backup_state' is not validated before use CERT_C-API00-a-3
77:  The parameter 'backup_state' of function 'restore' is passed by value OPT-14-3
78:  Parameter 'update' is not validated before use CERT_C-API00-a-3
78:  The parameter 'update' of function 'restore' is passed by value OPT-14-3
79:  Parameter 'checkpoint' is not validated before use CERT_C-API00-a-3
79:  The parameter 'checkpoint' of function 'restore' is passed by value OPT-14-3
80:  Parameter 'phase_finished' is not validated before use CERT_C-API00-a-3
80:  The parameter 'phase_finished' of function 'restore' is passed by value OPT-14-3
81:  Parameter 'task_finished' is not validated before use CERT_C-API00-a-3
81:  The parameter 'task_finished' of function 'restore' is passed by value OPT-14-3
106:  Declare parameter 'type' as const CERT_C-DCL00-a-3
106:  Parameter 'type' is not validated before use CERT_C-API00-a-3
106:  The parameter 'type' of function '_add_activator' is passed by value OPT-14-3
107:  Parameter 'activator' is not validated before use CERT_C-API00-a-3
107:  The parameter 'activator' of function '_add_activator' is passed by value OPT-14-3
109:  Unused function's "insert_or_assign" return value CERT_C-ERR33-a-1
109:  Unused function's "insert_or_assign" return value CERT_C-POS54-a-1
109:  Unused function's "insert_or_assign" return value CERT_C-EXP12-a-3
/rmf_task_testing/src/rmf_task/BackupFileManager.cpp
42:  The parameter 'directory' of function 'Implementation' is passed by value OPT-14-3
43:  Parameter 'info' is not validated before use CERT_C-API00-a-3
43:  The parameter 'info' of function 'Implementation' is passed by value OPT-14-3
44:  Parameter 'debug' is not validated before use CERT_C-API00-a-3
44:  The parameter 'debug' of function 'Implementation' is passed by value OPT-14-3
66:  The parameter 'directory' of function 'Implementation' is passed by value OPT-14-3
71:  Unused function's "create_directories" return value CERT_C-ERR33-a-1
71:  Unused function's "create_directories" return value CERT_C-POS54-a-1
71:  Unused function's "create_directories" return value CERT_C-EXP12-a-3
91:  Class Implementation has a non-trivial destructor, but no copy constructor nor copy assignment operator CERT_CPP-MEM51-c-1
98:  The parameter 'directory' of function 'Implementation' is passed by value OPT-14-3
106:  Unused function's "create_directories" return value CERT_C-ERR33-a-1
106:  Unused function's "create_directories" return value CERT_C-POS54-a-1
106:  Unused function's "create_directories" return value CERT_C-EXP12-a-3
122:  Destructor '~Implementation' should not call function 'clear_backup' that is not in try context CERT_CPP-DCL57-a-2
122:  Destructor '~Implementation' should not call function 'clear_backup' that is not in try context CERT_CPP-ERR50-b-3
128:  The string literal is embedded directly in the code: backup CERT_C-MSC41-a-1
129:  The string literal is embedded directly in the code: .backup CERT_C-MSC41-a-1
146:  Parameter 'msg' is not validated before use CERT_C-API00-a-3
146:  The parameter 'msg' of function 'log_debug' is passed by value OPT-14-3
158:  Parameter 'msg' is not validated before use CERT_C-API00-a-3
158:  The parameter 'msg' of function 'log_info' is passed by value OPT-14-3
171:  Parameter 'state' is not validated before use CERT_C-API00-a-3
176:  The string literal is embedded directly in the code: Could not open file CERT_C-MSC41-a-1
177:  The string literal is embedded directly in the code: for pre_backup. CERT_C-MSC41-a-1
182:  Detected use of function that may cause race conditions: rename CERT_C-FIO21-a-2
182:  Detected use of function that may cause race conditions: rename CERT_C-FIO01-b-1
182:  Result of "path" passed to library function "rename" without being checked CERT_C-MEM07-a-2
182:  Result of "path" passed to library function "rename" without being checked CERT_C-MEM04-a-2
189:  Detected use of function that may cause race conditions: remove CERT_C-FIO21-a-2
189:  Detected use of function that may cause race conditions: remove CERT_C-FIO01-b-1
189:  Result of "path" passed to library function "remove" without being checked CERT_C-MEM07-a-2
189:  Result of "path" passed to library function "remove" without being checked CERT_C-MEM04-a-2
189:  Unused function's "remove" return value CERT_C-ERR33-a-1
189:  Unused function's "remove" return value CERT_C-POS54-a-1
189:  Unused function's "remove" return value CERT_C-EXP12-a-3
190:  Detected use of function that may cause race conditions: remove CERT_C-FIO21-a-2
190:  Detected use of function that may cause race conditions: remove CERT_C-FIO01-b-1
190:  Result of "path" passed to library function "remove" without being checked CERT_C-MEM07-a-2
190:  Result of "path" passed to library function "remove" without being checked CERT_C-MEM04-a-2
190:  Unused function's "remove" return value CERT_C-ERR33-a-1
190:  Unused function's "remove" return value CERT_C-POS54-a-1
190:  Unused function's "remove" return value CERT_C-EXP12-a-3
196:  The parameter 'root_directory' of function 'BackupFileManager' is passed by value OPT-14-3
197:  The parameter 'info' of function 'BackupFileManager' is passed by value OPT-14-3
198:  The parameter 'debug' of function 'BackupFileManager' is passed by value OPT-14-3
208:  Declare parameter 'value' as const CERT_C-DCL00-a-3
208:  Parameter 'value' is not validated before use CERT_C-API00-a-3
215:  Declare parameter 'value' as const CERT_C-DCL00-a-3
215:  Parameter 'value' is not validated before use CERT_C-API00-a-3
222:  Parameter 'name' is not validated before use CERT_C-API00-a-3
222:  The parameter 'name' of function 'make_group' is passed by value OPT-14-3
243:  Parameter 'name' is not validated before use CERT_C-API00-a-3
243:  The parameter 'name' of function 'make_robot' is passed by value OPT-14-3
274:  The string literal is embedded directly in the code: [BackupFileManager::Robot::read] Directory CERT_C-MSC41-a-1
276:  The string literal is embedded directly in the code: missing. This should not happen. CERT_C-MSC41-a-1
287:  Declare local variable 'filename' as const CERT_C-DCL00-a-3
288:  Use parenthesis to clarify order ('!=' is the first operand of '&&') CERT_C-EXP00-a-3
289:  Use parenthesis to clarify order ('!=' is the second operand of '&&') CERT_C-EXP00-a-3
291:  The string literal is embedded directly in the code: [BackupFileManager::Robot::read] Foreign file CERT_C-MSC41-a-1
292:  The string literal is embedded directly in the code: found. This should be removed. CERT_C-MSC41-a-1
303:  The string literal is embedded directly in the code: [BackupFileManager::Robot::read] Multiple backup files found. This suggests an error with the previous backup run. Using the older edited backup file.. CERT_C-MSC41-a-1
304:  Detected use of function that may cause race conditions: remove CERT_C-FIO21-a-2
304:  Detected use of function that may cause race conditions: remove CERT_C-FIO01-b-1
304:  Result of "->" passed to library function "remove" without being checked CERT_C-MEM07-a-2
304:  Result of "->" passed to library function "remove" without being checked CERT_C-MEM04-a-2
304:  Unused function's "remove" return value CERT_C-ERR33-a-1
304:  Unused function's "remove" return value CERT_C-POS54-a-1
304:  Unused function's "remove" return value CERT_C-EXP12-a-3
310:  The string literal is embedded directly in the code: Could not open file CERT_C-MSC41-a-1
311:  The string literal is embedded directly in the code: for backup. CERT_C-MSC41-a-1
324:  Detected use of function that may cause race conditions: remove CERT_C-FIO21-a-2
324:  Detected use of function that may cause race conditions: remove CERT_C-FIO01-b-1
324:  Result of "->" passed to library function "remove" without being checked CERT_C-MEM07-a-2
324:  Result of "->" passed to library function "remove" without being checked CERT_C-MEM04-a-2
324:  Unused function's "remove" return value CERT_C-ERR33-a-1
324:  Unused function's "remove" return value CERT_C-POS54-a-1
324:  Unused function's "remove" return value CERT_C-EXP12-a-3
333:  Parameter 'backup' is not validated before use CERT_C-API00-a-3
/rmf_task_testing/src/rmf_task/BinaryPriority.cpp
23:  Declare parameter 'value' as const CERT_C-DCL00-a-3
/rmf_task_testing/src/rmf_task/BinaryPriority.hpp
31:  Constructor 'BinaryPriority' allowing conversion should be made explicit CODSTA-CPP-04-1
/rmf_task_testing/src/rmf_task/BinaryPriorityCostCalculator.cpp
59:  Parameter 'node' is not validated before use CERT_C-API00-a-3
74:  Parameter 'node' is not validated before use CERT_C-API00-a-3
74:  Parameter 'time_now' is not validated before use CERT_C-API00-a-3
74:  The parameter 'time_now' of function 'compute_h' is passed by value OPT-14-3
131:  Parameter 'node' is not validated before use CERT_C-API00-a-3
186:  Declare local variable 'curr_priority' as const CERT_C-DCL00-a-3
199:  Declare parameter 'priority_penalty' as const CERT_C-DCL00-a-3
199:  Implicit conversion from integral to floating type CERT_C-EXP39-a-3
207:  Parameter 'n' is not validated before use CERT_C-API00-a-3
208:  Declare parameter 'time_now' as const CERT_C-DCL00-a-3
208:  Parameter 'time_now' is not validated before use CERT_C-API00-a-3
208:  The parameter 'time_now' of function 'compute_cost' is passed by value OPT-14-3
209:  Declare parameter 'check_priority' as const CERT_C-DCL00-a-3
225:  Declare parameter 'assignments' as const CERT_C-DCL00-a-3
225:  Parameter 'assignments' is not validated before use CERT_C-API00-a-3
225:  The parameter 'assignments' of function 'compute_cost' is passed by value OPT-14-3
/rmf_task_testing/src/rmf_task/BinaryPriorityCostCalculator.hpp
31:  Constructor 'BinaryPriorityCostCalculator' allowing conversion should be made explicit CODSTA-CPP-04-1
32:  Implicit conversion from integral to floating type CERT_C-EXP39-a-3
37:  The parameter 'time_now' of function 'compute_cost' is passed by value OPT-14-3
42:  The parameter 'assignments' of function 'compute_cost' is passed by value OPT-14-3
55:  The parameter 'time_now' of function 'compute_h' is passed by value OPT-14-3
/rmf_task_testing/src/rmf_task/CompositeData.cpp
47:  Declare parameter 'type' as const CERT_C-DCL00-a-3
47:  Parameter 'type' is not validated before use CERT_C-API00-a-3
47:  The parameter 'type' of function '_get' is passed by value OPT-14-3
57:  Declare parameter 'type' as const CERT_C-DCL00-a-3
57:  Parameter 'type' is not validated before use CERT_C-API00-a-3
57:  The parameter 'type' of function '_get' is passed by value OPT-14-3
59:  Cast from 'const rmf_task::CompositeData *' removes 'const' qualifier CERT_C-EXP05-a-2
59:  Cast from 'const rmf_task::CompositeData *' removes 'const' qualifier CERT_CPP-EXP55-a-2
59:  Cast from 'const rmf_task::CompositeData *' removes 'const' qualifier CERT_C-EXP40-a-3
59:  Cast from 'const rmf_task::CompositeData *' removes 'const' qualifier CERT_C-EXP32-a-2
63:  Declare parameter 'or_assign' as const CERT_C-DCL00-a-3
63:  Parameter 'value' is not validated before use CERT_C-API00-a-3
63:  The parameter 'value' of function '_insert' is passed by value OPT-14-3
79:  Declare parameter 'type' as const CERT_C-DCL00-a-3
79:  Parameter 'type' is not validated before use CERT_C-API00-a-3
79:  The parameter 'type' of function '_erase' is passed by value OPT-14-3
/rmf_task_testing/src/rmf_task/Constraints.cpp
25:  No constructor. All member variables: 'drain_battery, recharge_soc, threshold_soc' should be initialized in constructor INIT-06-1
46:  Use parenthesis to clarify order ('<' is the first operand of '||') CERT_C-EXP00-a-3
46:  Use parenthesis to clarify order ('>' is the second operand of '||') CERT_C-EXP00-a-3
50:  The string literal is embedded directly in the code: Battery State of Charge threshold needs to be between 0.0 and 1.0. CERT_C-MSC41-a-1
54:  Use parenthesis to clarify order ('<' is the first operand of '||') CERT_C-EXP00-a-3
54:  Use parenthesis to clarify order ('>' is the second operand of '||') CERT_C-EXP00-a-3
58:  The string literal is embedded directly in the code: Recharge State of Charge needs to be between 0.0 and 1.0. CERT_C-MSC41-a-1
70:  Declare parameter 'threshold_soc' as const CERT_C-DCL00-a-3
72:  Use parenthesis to clarify order ('<' is the first operand of '||') CERT_C-EXP00-a-3
72:  Use parenthesis to clarify order ('>' is the second operand of '||') CERT_C-EXP00-a-3
76:  The string literal is embedded directly in the code: Battery State of Charge threshold needs to be between 0.0 and 1.0. CERT_C-MSC41-a-1
91:  Declare parameter 'recharge_soc' as const CERT_C-DCL00-a-3
93:  Use parenthesis to clarify order ('<' is the first operand of '||') CERT_C-EXP00-a-3
93:  Use parenthesis to clarify order ('>' is the second operand of '||') CERT_C-EXP00-a-3
97:  The string literal is embedded directly in the code: Recharge State of Charge needs to be between 0.0 and 1.0. CERT_C-MSC41-a-1
113:  Declare parameter 'drain_battery' as const CERT_C-DCL00-a-3
113:  Parameter 'drain_battery' is not validated before use CERT_C-API00-a-3
/rmf_task_testing/src/rmf_task/CostCalculator.hpp
34:  The parameter 'time_now' of function 'compute_cost' is passed by value OPT-14-3
39:  The parameter 'assignments' of function 'compute_cost' is passed by value OPT-14-3
/rmf_task_testing/src/rmf_task/Estimate.cpp
30:  The parameter 'finish_state' of function 'Implementation' is passed by value OPT-14-3
30:  The parameter 'wait_until' of function 'Implementation' is passed by value OPT-14-3
40:  The parameter 'finish_state' of function 'Estimate' is passed by value OPT-14-3
40:  The parameter 'wait_until' of function 'Estimate' is passed by value OPT-14-3
53:  Parameter 'new_finish_state' is not validated before use CERT_C-API00-a-3
53:  The parameter 'new_finish_state' of function 'finish_state' is passed by value OPT-14-3
66:  Parameter 'new_wait_until' is not validated before use CERT_C-API00-a-3
66:  The parameter 'new_wait_until' of function 'wait_until' is passed by value OPT-14-3
73:  No constructor. All member variables: 'change_in_charge' should be initialized in constructor INIT-06-1
78:  Parameter 'duration_' is not validated before use CERT_C-API00-a-3
78:  The parameter 'duration_' of function 'make' is passed by value OPT-14-3
79:  Parameter 'change_in_state_of_charge_' is not validated before use CERT_C-API00-a-3
97:  Constructor 'Implementation' allowing conversion should be made explicit CODSTA-CPP-04-1
107:  Parameter 'start' is not validated before use CERT_C-API00-a-3
108:  Parameter 'goal' is not validated before use CERT_C-API00-a-3
122:  Declare local variable 'result' as const CERT_C-DCL00-a-3
133:  Parameter 'start' is not validated before use CERT_C-API00-a-3
134:  Parameter 'goal' is not validated before use CERT_C-API00-a-3
178:  Constructor 'PairHash' allowing conversion should be made explicit CODSTA-CPP-04-1
178:  Declare parameter 'N' as const CERT_C-DCL00-a-3
178:  Parameter 'N' is not validated before use CERT_C-API00-a-3
 +  180:  Errno is not tested against 0 after the call to the errno-setting-function "log2" CERT_C-ERR30-a-2
 +  180:  Errno is not tested against 0 after the call to the errno-setting-function "log2" CERT_C-ERR32-a-3
 +  180:  Errno may not be set to 0 before the call to the errno-setting-function "log2" CERT_C-ERR30-a-2
 +  180:  Errno may not be set to 0 before the call to the errno-setting-function "log2" CERT_C-ERR32-a-3
180:  Expression of type 'double' is assigned to expression of type 'unsigned long' CERT_C-MEM02-a-3
180:  Function returning 'double' type is assigned to expression of type 'unsigned long' CERT_C-MEM02-b-3
180:  Result of "log2" passed to library function "ceil" without being checked CERT_C-MEM07-a-2
180:  Result of "log2" passed to library function "ceil" without being checked CERT_C-MEM04-a-2
180:  Values "N" passed to library function "log2" without being checked CERT_C-MEM07-a-2
180:  Values "N" passed to library function "log2" without being checked CERT_C-MEM04-a-2
183:  Parameter 'p' is not validated before use CERT_C-API00-a-3
197:  Parameter 'planner' is not validated before use CERT_C-API00-a-3
233:  Parameter 'start' is not validated before use CERT_C-API00-a-3
234:  Parameter 'goal' is not validated before use CERT_C-API00-a-3
/rmf_task_testing/src/rmf_task/Event.cpp
25:  Parameter 'queue' is not validated before use CERT_C-API00-a-3
33:  'for' statement in a function 'snapshot_dependencies' should be followed by a block CERT_C-EXP19-a-2
41:  Declare parameter 'earlier' as const CERT_C-DCL00-a-3
41:  Declare parameter 'later' as const CERT_C-DCL00-a-3
48:  Use parenthesis to clarify order ('==' is the first operand of '||') CERT_C-EXP00-a-3
48:  Use parenthesis to clarify order ('==' is the second operand of '||') CERT_C-EXP00-a-3
80:  No constructor. All member variables: 'id, status' should be initialized in constructor INIT-06-1
94:  Parameter 'other' is not validated before use CERT_C-API00-a-3
175:  The '++' operator should cause the only side effect in an expression CERT_C-FIO41-e-3
/rmf_task_testing/src/rmf_task/Header.cpp
35:  The parameter 'category_' of function 'Header' is passed by value OPT-14-3
36:  The parameter 'detail_' of function 'Header' is passed by value OPT-14-3
37:  The parameter 'estimate_' of function 'Header' is passed by value OPT-14-3
67:  Declare parameter 'waypoint' as const CERT_C-DCL00-a-3
73:  The string literal is embedded directly in the code: [rmf_task::standard_waypoint_name] Waypoint index [ CERT_C-MSC41-a-1
74:  The string literal is embedded directly in the code: ] is too high for the number of waypoints [ CERT_C-MSC41-a-1
75:  The string literal is embedded directly in the code: ] in the graph CERT_C-MSC41-a-1
80:  The string literal is embedded directly in the code: [graph-wp:%d] CERT_C-MSC41-a-1
80:  The string literal is embedded directly in the code: [place:%s] CERT_C-MSC41-a-1
/rmf_task_testing/src/rmf_task/InvariantHeuristicQueue.cpp
27:  Parameter 'initial_values' is not validated before use CERT_C-API00-a-3
27:  The parameter 'initial_values' of function 'InvariantHeuristicQueue' is passed by value OPT-14-3
29:  Assert contains function-like call to 'empty' CERT_C-PRE31-c-3
29:  The 'assert' shall not be used CERT_C-ERR06-a-3
32:  'for' statement in a function 'InvariantHeuristicQueue' should be followed by a block CERT_C-EXP19-a-2
38:  Parameter 'earliest_finish_time' is not validated before use CERT_C-API00-a-3
38:  Parameter 'earliest_start_time' is not validated before use CERT_C-API00-a-3
40:  Declare local variable 'prev_end_value' as const CERT_C-DCL00-a-3
58:  Unused function's "rotate" return value CERT_C-ERR33-a-1
58:  Unused function's "rotate" return value CERT_C-POS54-a-1
58:  Unused function's "rotate" return value CERT_C-EXP12-a-3
/rmf_task_testing/src/rmf_task/InvariantHeuristicQueue.hpp
18:  Whole code in file should be secured from multiple inclusion CERT_C-PRE06-a-3
33:  Constructor 'InvariantHeuristicQueue' allowing conversion should be made explicit CODSTA-CPP-04-1
33:  The parameter 'initial_values' of function 'InvariantHeuristicQueue' is passed by value OPT-14-3
/rmf_task_testing/src/rmf_task/Log.cpp
36:  Constructor 'Implementation' allowing conversion should be made explicit CODSTA-CPP-04-1
36:  The parameter 'clock_' of function 'Implementation' is passed by value OPT-14-3
54:  No constructor. All member variables: 'seq, tier' should be initialized in constructor INIT-06-1
59:  Parameter 'tier' is not validated before use CERT_C-API00-a-3
60:  Parameter 'seq' is not validated before use CERT_C-API00-a-3
61:  Parameter 'time' is not validated before use CERT_C-API00-a-3
61:  Reserved name 'time' used CERT_CPP-DCL51-e-3
61:  Reserved name 'time' used CERT_CPP-DCL51-f-3
61:  The parameter 'time' of function 'make' is passed by value OPT-14-3
62:  Parameter 'text' is not validated before use CERT_C-API00-a-3
62:  The parameter 'text' of function 'make' is passed by value OPT-14-3
88:  Reserved name 'log' used CERT_CPP-DCL51-e-3
88:  Reserved name 'log' used CERT_CPP-DCL51-f-3
110:  Parameter 'view' is not validated before use CERT_C-API00-a-3
169:  Parameter 'it' is not validated before use CERT_C-API00-a-3
169:  Parameter 'last' is not validated before use CERT_C-API00-a-3
169:  The parameter 'it' of function 'make' is passed by value OPT-14-3
169:  The parameter 'last' of function 'make' is passed by value OPT-14-3
186:  Parameter 'shared' is not validated before use CERT_C-API00-a-3
187:  The parameter 'begin' of function 'make' is passed by value OPT-14-3
188:  Parameter 'last_in_view' is not validated before use CERT_C-API00-a-3
188:  The parameter 'last_in_view' of function 'make' is passed by value OPT-14-3
207:  Parameter 'view' is not validated before use CERT_C-API00-a-3
250:  Declare local variable 'iterable' as const CERT_C-DCL00-a-3
259:  Reserved name 'clock' used CERT_CPP-DCL51-e-3
259:  Reserved name 'clock' used CERT_CPP-DCL51-f-3
259:  The parameter 'clock' of function 'Log' is passed by value OPT-14-3
266:  Parameter 'text' is not validated before use CERT_C-API00-a-3
266:  The parameter 'text' of function 'info' is passed by value OPT-14-3
272:  Parameter 'text' is not validated before use CERT_C-API00-a-3
272:  The parameter 'text' of function 'warn' is passed by value OPT-14-3
278:  Parameter 'text' is not validated before use CERT_C-API00-a-3
278:  The parameter 'text' of function 'error' is passed by value OPT-14-3
284:  Declare parameter 'tier' as const CERT_C-DCL00-a-3
284:  Parameter 'text' is not validated before use CERT_C-API00-a-3
284:  The parameter 'text' of function 'push' is passed by value OPT-14-3
290:  The string literal is embedded directly in the code: [Log::push] Tier was set to Uninitialized, which is illegal. CERT_C-MSC41-a-1
294:  Declare local variable 'lock' as const CERT_C-DCL00-a-3
295:  Unused function's "emplace_back" return value CERT_C-ERR33-a-1
295:  Unused function's "emplace_back" return value CERT_C-POS54-a-1
295:  Unused function's "emplace_back" return value CERT_C-EXP12-a-3
297:  The '++' operator should cause the only side effect in an expression CERT_C-FIO41-e-3
301:  Parameter 'entry' is not validated before use CERT_C-API00-a-3
301:  The parameter 'entry' of function 'insert' is passed by value OPT-14-3
303:  Unused function's "emplace_back" return value CERT_C-ERR33-a-1
303:  Unused function's "emplace_back" return value CERT_C-POS54-a-1
303:  Unused function's "emplace_back" return value CERT_C-EXP12-a-3
309:  Declare local variable 'lock' as const CERT_C-DCL00-a-3
357:  Parameter 'view' is not validated before use CERT_C-API00-a-3
403:  Declare local variable 'original' as const CERT_C-DCL00-a-3
418:  Parameter 'other' is not validated before use CERT_C-API00-a-3
/rmf_task_testing/src/rmf_task/Parameters.cpp
36:  The parameter 'battery_system' of function 'Parameters' is passed by value OPT-14-3
61:  Declare parameter 'battery_system' as const CERT_C-DCL00-a-3
61:  Parameter 'battery_system' is not validated before use CERT_C-API00-a-3
61:  The parameter 'battery_system' of function 'battery_system' is passed by value OPT-14-3
76:  Parameter 'motion_sink' is not validated before use CERT_C-API00-a-3
91:  Parameter 'ambient_sink' is not validated before use CERT_C-API00-a-3
106:  Parameter 'planner' is not validated before use CERT_C-API00-a-3
121:  Parameter 'tool_sink' is not validated before use CERT_C-API00-a-3
/rmf_task_testing/src/rmf_task/Payload.cpp
36:  The parameter 'components' of function 'Payload' is passed by value OPT-14-3
50:  Parameter 'compartment_prefix' is not validated before use CERT_C-API00-a-3
57:  Declare local variable 'it' as const CERT_C-DCL00-a-3
58:  Different types of operands: LHS type 'long', RHS type 'int' CERT_C-INT02-b-2
58:  Different types of operands: LHS type 'long', RHS type 'int' CERT_C-EXP14-a-3
60:  Unused function's "insert" return value CERT_C-ERR33-a-1
60:  Unused function's "insert" return value CERT_C-POS54-a-1
60:  Unused function's "insert" return value CERT_C-EXP12-a-3
64:  The string literal is embedded directly in the code: nothing CERT_C-MSC41-a-1
72:  The string literal is embedded directly in the code: of [ CERT_C-MSC41-a-1
72:  The string literal is embedded directly in the code: ] CERT_C-MSC41-a-1
78:  'for' statement in a function 'brief' should be followed by a block CERT_C-EXP19-a-2
81:  The string literal is embedded directly in the code: total units) CERT_C-MSC41-a-1
81:  The string literal is embedded directly in the code: types of items ( CERT_C-MSC41-a-1
87:  The string literal is embedded directly in the code: CERT_C-MSC41-a-1
87:  The string literal is embedded directly in the code: [ CERT_C-MSC41-a-1
87:  The string literal is embedded directly in the code: ] CERT_C-MSC41-a-1
92:  The string literal is embedded directly in the code: CERT_C-MSC41-a-1
92:  The string literal is embedded directly in the code: CERT_C-MSC41-a-1
92:  The string literal is embedded directly in the code: compartments CERT_C-MSC41-a-1
99:  No constructor. All member variables: 'quantity' should be initialized in constructor INIT-06-1
111:  The parameter 'sku' of function 'Component' is passed by value OPT-14-3
113:  The parameter 'compartment' of function 'Component' is passed by value OPT-14-3
/rmf_task_testing/src/rmf_task/Phase.cpp
23:  No constructor. All member variables: 'id' should be initialized in constructor INIT-06-1
35:  The parameter 'header_' of function 'Tag' is passed by value OPT-14-3
70:  The parameter 'start_' of function 'Completed' is passed by value OPT-14-3
71:  The parameter 'finish_' of function 'Completed' is passed by value OPT-14-3
110:  Parameter 'active' is not validated before use CERT_C-API00-a-3
171:  Declare parameter 'value' as const CERT_C-DCL00-a-3
171:  Parameter 'value' is not validated before use CERT_C-API00-a-3
/rmf_task_testing/src/rmf_task/Request.cpp
33:  The parameter 'earliest_start_time' of function 'Request' is passed by value OPT-14-3
/rmf_task_testing/src/rmf_task/State.cpp
27:  Declare local variable 'wp' as const CERT_C-DCL00-a-3
34:  Declare parameter 'new_waypoint' as const CERT_C-DCL00-a-3
34:  Parameter 'new_waypoint' is not validated before use CERT_C-API00-a-3
36:  Unused function's "with" return value CERT_C-ERR33-a-1
36:  Unused function's "with" return value CERT_C-POS54-a-1
36:  Unused function's "with" return value CERT_C-EXP12-a-3
43:  Declare local variable 'ori' as const CERT_C-DCL00-a-3
50:  Declare parameter 'new_orientation' as const CERT_C-DCL00-a-3
50:  Parameter 'new_orientation' is not validated before use CERT_C-API00-a-3
52:  Unused function's "with" return value CERT_C-ERR33-a-1
52:  Unused function's "with" return value CERT_C-POS54-a-1
52:  Unused function's "with" return value CERT_C-EXP12-a-3
59:  Declare local variable 'time' as const CERT_C-DCL00-a-3
59:  Reserved name 'time' used CERT_CPP-DCL51-e-3
59:  Reserved name 'time' used CERT_CPP-DCL51-f-3
66:  Declare parameter 'new_time' as const CERT_C-DCL00-a-3
66:  Parameter 'new_time' is not validated before use CERT_C-API00-a-3
66:  The parameter 'new_time' of function 'time' is passed by value OPT-14-3
68:  Unused function's "with" return value CERT_C-ERR33-a-1
68:  Unused function's "with" return value CERT_C-POS54-a-1
68:  Unused function's "with" return value CERT_C-EXP12-a-3
75:  Declare local variable 'p' as const CERT_C-DCL00-a-3
82:  Declare parameter 'new_charging_waypoint' as const CERT_C-DCL00-a-3
82:  Parameter 'new_charging_waypoint' is not validated before use CERT_C-API00-a-3
84:  Unused function's "with" return value CERT_C-ERR33-a-1
84:  Unused function's "with" return value CERT_C-POS54-a-1
84:  Unused function's "with" return value CERT_C-EXP12-a-3
91:  Declare local variable 'b' as const CERT_C-DCL00-a-3
98:  Declare parameter 'new_battery_soc' as const CERT_C-DCL00-a-3
100:  Use parenthesis to clarify order ('<' is the first operand of '||') CERT_C-EXP00-a-3
100:  Use parenthesis to clarify order ('>' is the second operand of '||') CERT_C-EXP00-a-3
104:  The string literal is embedded directly in the code: Battery State of Charge needs to be between 0.0 and 1.0. CERT_C-MSC41-a-1
108:  Unused function's "with" return value CERT_C-ERR33-a-1
108:  Unused function's "with" return value CERT_C-POS54-a-1
108:  Unused function's "with" return value CERT_C-EXP12-a-3
114:  Parameter 'input_location' is not validated before use CERT_C-API00-a-3
115:  Declare parameter 'input_charging_point' as const CERT_C-DCL00-a-3
115:  Parameter 'input_charging_point' is not validated before use CERT_C-API00-a-3
116:  Declare parameter 'input_battery_soc' as const CERT_C-DCL00-a-3
116:  Parameter 'input_battery_soc' is not validated before use CERT_C-API00-a-3
118:  Unused function's "load" return value CERT_C-ERR33-a-1
118:  Unused function's "load" return value CERT_C-POS54-a-1
118:  Unused function's "load" return value CERT_C-EXP12-a-3
119:  Unused function's "dedicated_charging_waypoint" return value CERT_C-ERR33-a-1
119:  Unused function's "dedicated_charging_waypoint" return value CERT_C-POS54-a-1
119:  Unused function's "dedicated_charging_waypoint" return value CERT_C-EXP12-a-3
120:  Unused function's "battery_soc" return value CERT_C-ERR33-a-1
120:  Unused function's "battery_soc" return value CERT_C-POS54-a-1
120:  Unused function's "battery_soc" return value CERT_C-EXP12-a-3
125:  Parameter 'location' is not validated before use CERT_C-API00-a-3
127:  Unused function's "with" return value CERT_C-ERR33-a-1
127:  Unused function's "with" return value CERT_C-POS54-a-1
127:  Unused function's "with" return value CERT_C-EXP12-a-3
128:  Unused function's "with" return value CERT_C-ERR33-a-1
128:  Unused function's "with" return value CERT_C-POS54-a-1
128:  Unused function's "with" return value CERT_C-EXP12-a-3
129:  Unused function's "with" return value CERT_C-ERR33-a-1
129:  Unused function's "with" return value CERT_C-POS54-a-1
129:  Unused function's "with" return value CERT_C-EXP12-a-3
135:  Declare parameter 'default_orientation' as const CERT_C-DCL00-a-3
135:  Parameter 'default_orientation' is not validated before use CERT_C-API00-a-3
136:  Declare parameter 'default_time' as const CERT_C-DCL00-a-3
136:  Parameter 'default_time' is not validated before use CERT_C-API00-a-3
136:  The parameter 'default_time' of function 'project_plan_start' is passed by value OPT-14-3
138:  Declare local variable 'wp' as const CERT_C-DCL00-a-3
145:  Declare local variable 'ori' as const CERT_C-DCL00-a-3
146:  Unused function's "orientation" return value CERT_C-ERR33-a-1
146:  Unused function's "orientation" return value CERT_C-POS54-a-1
146:  Unused function's "orientation" return value CERT_C-EXP12-a-3
148:  Declare local variable 't' as const CERT_C-DCL00-a-3
149:  Unused function's "time" return value CERT_C-ERR33-a-1
149:  Unused function's "time" return value CERT_C-POS54-a-1
149:  Unused function's "time" return value CERT_C-EXP12-a-3
157:  Declare local variable 'wp' as const CERT_C-DCL00-a-3
161:  Declare local variable 'ori' as const CERT_C-DCL00-a-3
165:  Declare local variable 't' as const CERT_C-DCL00-a-3
/rmf_task_testing/src/rmf_task/Task.cpp
25:  No constructor. All member variables: 'automatic' should be initialized in constructor INIT-06-1
36:  The parameter 'id_' of function 'Booking' is passed by value OPT-14-3
37:  The parameter 'earliest_start_time_' of function 'Booking' is passed by value OPT-14-3
86:  The parameter 'header_' of function 'Tag' is passed by value OPT-14-3
109:  Parameter 'callback' is not validated before use CERT_C-API00-a-3
109:  The parameter 'callback' of function 'make_resumer' is passed by value OPT-14-3
/rmf_task_testing/src/rmf_task/TaskPlanner.cpp
44:  The parameter 'parameters' of function 'Configuration' is passed by value OPT-14-3
45:  The parameter 'constraints' of function 'Configuration' is passed by value OPT-14-3
64:  Parameter 'parameters' is not validated before use CERT_C-API00-a-3
64:  The parameter 'parameters' of function 'parameters' is passed by value OPT-14-3
78:  Parameter 'constraints' is not validated before use CERT_C-API00-a-3
78:  The parameter 'constraints' of function 'constraints' is passed by value OPT-14-3
94:  Parameter 'cost_calculator' is not validated before use CERT_C-API00-a-3
101:  No constructor. All member variables: 'greedy' should be initialized in constructor INIT-06-1
113:  The parameter 'interrupter' of function 'Options' is passed by value OPT-14-3
126:  Declare parameter 'value' as const CERT_C-DCL00-a-3
126:  Parameter 'value' is not validated before use CERT_C-API00-a-3
139:  Parameter 'interrupter' is not validated before use CERT_C-API00-a-3
139:  The parameter 'interrupter' of function 'interrupter' is passed by value OPT-14-3
154:  Parameter 'finishing_request' is not validated before use CERT_C-API00-a-3
179:  The parameter 'state' of function 'Assignment' is passed by value OPT-14-3
180:  The parameter 'deployment_time' of function 'Assignment' is passed by value OPT-14-3
227:  Declare parameter 'type' as const CERT_C-DCL00-a-3
252:  Constructor 'AssignmentHash' allowing conversion should be made explicit CODSTA-CPP-04-1
252:  Declare parameter 'N' as const CERT_C-DCL00-a-3
252:  Parameter 'N' is not validated before use CERT_C-API00-a-3
 +  255:  Errno is not tested against 0 after the call to the errno-setting-function "log2" CERT_C-ERR30-a-2
 +  255:  Errno is not tested against 0 after the call to the errno-setting-function "log2" CERT_C-ERR32-a-3
 +  255:  Errno may not be set to 0 before the call to the errno-setting-function "log2" CERT_C-ERR30-a-2
 +  255:  Errno may not be set to 0 before the call to the errno-setting-function "log2" CERT_C-ERR32-a-3
255:  Expression of type 'double' is assigned to expression of type 'unsigned long' CERT_C-MEM02-a-3
255:  Function returning 'double' type is assigned to expression of type 'unsigned long' CERT_C-MEM02-b-3
255:  Result of "log2" passed to library function "ceil" without being checked CERT_C-MEM07-a-2
255:  Result of "log2" passed to library function "ceil" without being checked CERT_C-MEM04-a-2
255:  Values "N" passed to library function "log2" without being checked CERT_C-MEM07-a-2
255:  Values "N" passed to library function "log2" without being checked CERT_C-MEM04-a-2
269:  The '++' operator should cause the only side effect in an expression CERT_C-FIO41-e-3
316:  Parameter 'node' is not validated before use CERT_C-API00-a-3
340:  Declare local variable 'task_table' as const CERT_C-DCL00-a-3
363:  The 'from_seconds' function called during the initialization of the 'segmentation_threshold' object should be declared as exception-safe CERT_CPP-ERR58-a-2
363:  The 'from_seconds' function called during the initialization of the 'segmentation_threshold' object should be declared as exception-safe CERT_CPP-ERR50-f-3
379:  Declare parameter 'start_time' as const CERT_C-DCL00-a-3
379:  Parameter 'start_time' is not validated before use CERT_C-API00-a-3
379:  The parameter 'start_time' of function 'make_charging_request' is passed by value OPT-14-3
385:  Parameter 'assignments' is not validated before use CERT_C-API00-a-3
403:  Parameter 'parent' is not validated before use CERT_C-API00-a-3
422:  Parameter 'factory' is not validated before use CERT_C-API00-a-3
501:  Parameter 'time_now' is not validated before use CERT_C-API00-a-3
501:  The parameter 'time_now' of function 'complete_solve' is passed by value OPT-14-3
502:  Parameter 'initial_states' is not validated before use CERT_C-API00-a-3
503:  Parameter 'requests' is not validated before use CERT_C-API00-a-3
504:  Parameter 'interrupter' is not validated before use CERT_C-API00-a-3
504:  The parameter 'interrupter' of function 'complete_solve' is passed by value OPT-14-3
505:  Declare parameter 'finishing_request' as const CERT_C-DCL00-a-3
506:  Declare parameter 'greedy' as const CERT_C-DCL00-a-3
546:  Assert contains function-like call to 'size' CERT_C-PRE31-c-3
546:  Assert contains function-like call to 'size' CERT_C-PRE31-c-3
546:  The 'assert' shall not be used CERT_C-ERR06-a-3
569:  'for' statement in a function 'complete_solve' should be followed by a block CERT_C-EXP19-a-2
574:  Declare local variable 'empty_new_location' as const CERT_C-DCL00-a-3
606:  Parameter 'initial_states' is not validated before use CERT_C-API00-a-3
606:  The parameter 'initial_states' of function 'make_initial_node' is passed by value OPT-14-3
607:  The parameter 'requests' of function 'make_initial_node' is passed by value OPT-14-3
608:  Parameter 'time_now' is not validated before use CERT_C-API00-a-3
608:  The parameter 'time_now' of function 'make_initial_node' is passed by value OPT-14-3
609:  Parameter 'error' is not validated before use CERT_C-API00-a-3
632:  Unused function's "insert" return value CERT_C-ERR33-a-1
632:  Unused function's "insert" return value CERT_C-POS54-a-1
632:  Unused function's "insert" return value CERT_C-EXP12-a-3
674:  Parameter 'node' is not validated before use CERT_C-API00-a-3
689:  Assert contains function-like call to 'min' CERT_C-PRE31-c-3
689:  The 'assert' shall not be used CERT_C-ERR06-a-3
694:  Parameter 'it' is not validated before use CERT_C-API00-a-3
695:  Parameter 'u' is not validated before use CERT_C-API00-a-3
697:  Declare parameter 'filter' as const CERT_C-DCL00-a-3
698:  Declare parameter 'time_now' as const CERT_C-DCL00-a-3
698:  Parameter 'time_now' is not validated before use CERT_C-API00-a-3
698:  The parameter 'time_now' of function 'expand_candidate' is passed by value OPT-14-3
851:  Function 'ignore' called in the right-hand operand of a logical '&&' operator may cause side effect CERT_C-EXP02-a-3
851:  The 'rmf_task::<unnamed>::Filter *' pointer to object type should not be implicitly converted to the integral type 'bool' CERT_C-INT36-b-3
861:  Parameter 'parent' is not validated before use CERT_C-API00-a-3
862:  Parameter 'agent' is not validated before use CERT_C-API00-a-3
863:  Parameter 'initial_states' is not validated before use CERT_C-API00-a-3
864:  Declare parameter 'time_now' as const CERT_C-DCL00-a-3
864:  Parameter 'time_now' is not validated before use CERT_C-API00-a-3
864:  The parameter 'time_now' of function 'expand_charger' is passed by value OPT-14-3
 +  868:  The "initial_states" variable may be accessed out of bounds at index "agent", which may be greater or equal to the container size CERT_CPP-CTR50-a-2
 +  868:  The "initial_states" variable may be accessed out of bounds at index "agent", which may be greater or equal to the container size CERT_CPP-STR53-a-2
 +  869:  The "new_node.operator->()->assigned_tasks" variable may be accessed out of bounds at index "agent", which may be greater or equal to the container size CERT_CPP-CTR50-a-2
 +  869:  The "new_node.operator->()->assigned_tasks" variable may be accessed out of bounds at index "agent", which may be greater or equal to the container size CERT_CPP-STR53-a-2
937:  Value 7 is out of acceptable range: 'lower than 7' METRIC.NBD-3
938:  Parameter 'node' is not validated before use CERT_C-API00-a-3
939:  Parameter 'initial_states' is not validated before use CERT_C-API00-a-3
940:  The parameter 'time_now' of function 'greedy_solve' is passed by value OPT-14-3
988:  The 'assert' shall not be used CERT_C-ERR06-a-3
995:  Parameter 'parent' is not validated before use CERT_C-API00-a-3
998:  The parameter 'time_now' of function 'expand' is passed by value OPT-14-3
1025:  Parameter 'node' is not validated before use CERT_C-API00-a-3
1042:  Parameter 'initial_node' is not validated before use CERT_C-API00-a-3
1043:  Parameter 'initial_states' is not validated before use CERT_C-API00-a-3
1044:  Parameter 'num_tasks' is not validated before use CERT_C-API00-a-3
1045:  Parameter 'time_now' is not validated before use CERT_C-API00-a-3
1045:  The parameter 'time_now' of function 'solve' is passed by value OPT-14-3
1046:  Declare parameter 'interrupter' as const CERT_C-DCL00-a-3
1046:  Parameter 'interrupter' is not validated before use CERT_C-API00-a-3
1046:  The parameter 'interrupter' of function 'solve' is passed by value OPT-14-3
1077:  'for' statement in a function 'solve' should be followed by a block CERT_C-EXP19-a-2
1088:  The parameter 'configuration' of function 'TaskPlanner' is passed by value OPT-14-3
1089:  The parameter 'default_options' of function 'TaskPlanner' is passed by value OPT-14-3
1102:  Declare parameter 'time_now' as const CERT_C-DCL00-a-3
1102:  Parameter 'time_now' is not validated before use CERT_C-API00-a-3
1102:  The parameter 'time_now' of function 'plan' is passed by value OPT-14-3
1103:  Parameter 'agents' is not validated before use CERT_C-API00-a-3
1103:  The parameter 'agents' of function 'plan' is passed by value OPT-14-3
1104:  Declare parameter 'requests' as const CERT_C-DCL00-a-3
1104:  Parameter 'requests' is not validated before use CERT_C-API00-a-3
1104:  The parameter 'requests' of function 'plan' is passed by value OPT-14-3
1117:  Declare parameter 'time_now' as const CERT_C-DCL00-a-3
1117:  Parameter 'time_now' is not validated before use CERT_C-API00-a-3
1117:  The parameter 'time_now' of function 'plan' is passed by value OPT-14-3
1118:  Parameter 'agents' is not validated before use CERT_C-API00-a-3
1118:  The parameter 'agents' of function 'plan' is passed by value OPT-14-3
1119:  Declare parameter 'requests' as const CERT_C-DCL00-a-3
1119:  Parameter 'requests' is not validated before use CERT_C-API00-a-3
1119:  The parameter 'requests' of function 'plan' is passed by value OPT-14-3
1120:  Declare parameter 'options' as const CERT_C-DCL00-a-3
1120:  Parameter 'options' is not validated before use CERT_C-API00-a-3
1120:  The parameter 'options' of function 'plan' is passed by value OPT-14-3
1132:  Parameter 'assignments' is not validated before use CERT_C-API00-a-3
/rmf_task_testing/src/rmf_task/VersionedString.cpp
29:  Constructor 'Implementation' allowing conversion should be made explicit CODSTA-CPP-04-1
29:  The parameter 'initial_value' of function 'Implementation' is passed by value OPT-14-3
54:  Parameter 'token' is not validated before use CERT_C-API00-a-3
54:  Parameter 'value' is not validated before use CERT_C-API00-a-3
66:  Parameter 'view' is not validated before use CERT_C-API00-a-3
101:  Parameter 'view' is not validated before use CERT_C-API00-a-3
134:  The parameter 'initial_value' of function 'VersionedString' is passed by value OPT-14-3
141:  Parameter 'new_value' is not validated before use CERT_C-API00-a-3
141:  The parameter 'new_value' of function 'update' is passed by value OPT-14-3
167:  Parameter 'view' is not validated before use CERT_C-API00-a-3
/rmf_task_testing/src/rmf_task/detail/Backup.cpp
24:  No constructor. All member variables: 'sequence' should be initialized in constructor INIT-06-1
32:  Parameter 'seq' is not validated before use CERT_C-API00-a-3
32:  Parameter 'state' is not validated before use CERT_C-API00-a-3
32:  The parameter 'state' of function 'make' is passed by value OPT-14-3
48:  Declare parameter 'seq' as const CERT_C-DCL00-a-3
48:  Parameter 'seq' is not validated before use CERT_C-API00-a-3
61:  Parameter 'new_state' is not validated before use CERT_C-API00-a-3
61:  The parameter 'new_state' of function 'state' is passed by value OPT-14-3
/rmf_task_testing/src/rmf_task/detail/Resume.cpp
24:  Parameter 'callback' is not validated before use CERT_C-API00-a-3
24:  The parameter 'callback' of function 'make' is passed by value OPT-14-3
44:  Declare local variable 'lock' as const CERT_C-DCL00-a-3
53:  Parameter 'callback' is not validated before use CERT_C-API00-a-3
53:  The parameter 'callback' of function 'make' is passed by value OPT-14-3
63:  The parameter 'callback_' of function 'Implementation' is passed by value OPT-14-3
72:  Destructor '~Implementation' should not call function 'trigger' that is not in try context CERT_CPP-DCL57-a-2
72:  Destructor '~Implementation' should not call function 'trigger' that is not in try context CERT_CPP-ERR50-b-3
/rmf_task_testing/src/rmf_task/detail/internal_Resume.hpp
47:  The parameter 'callback' of function 'make' is passed by value OPT-14-3
49:  Constructor 'Implementation' allowing conversion should be made explicit CODSTA-CPP-04-1
49:  The parameter 'callback' of function 'Implementation' is passed by value OPT-14-3
51:  Names shall be given for all the parameters in function 'Implementation' CERT_C-EXP37-a-3
52:  Names shall be given for all the parameters in function 'Implementation' CERT_C-EXP37-a-3
53:  Names shall be given for all the parameters in function '=' CERT_C-EXP37-a-3
54:  Names shall be given for all the parameters in function '=' CERT_C-EXP37-a-3
/rmf_task_testing/src/rmf_task/events/SimpleEventState.cpp
24:  No constructor. All member variables: 'id, status' should be initialized in constructor INIT-06-1
39:  Parameter 'id' is not validated before use CERT_C-API00-a-3
40:  Parameter 'name' is not validated before use CERT_C-API00-a-3
40:  The parameter 'name' of function 'make' is passed by value OPT-14-3
41:  Parameter 'detail' is not validated before use CERT_C-API00-a-3
41:  The parameter 'detail' of function 'make' is passed by value OPT-14-3
42:  Parameter 'initial_status' is not validated before use CERT_C-API00-a-3
43:  Parameter 'dependencies' is not validated before use CERT_C-API00-a-3
43:  The parameter 'dependencies' of function 'make' is passed by value OPT-14-3
44:  Parameter 'clock' is not validated before use CERT_C-API00-a-3
44:  Reserved name 'clock' used CERT_CPP-DCL51-e-3
44:  Reserved name 'clock' used CERT_CPP-DCL51-f-3
44:  The parameter 'clock' of function 'make' is passed by value OPT-14-3
73:  Declare parameter 'new_status' as const CERT_C-DCL00-a-3
73:  Parameter 'new_status' is not validated before use CERT_C-API00-a-3
86:  Parameter 'new_name' is not validated before use CERT_C-API00-a-3
86:  The parameter 'new_name' of function 'update_name' is passed by value OPT-14-3
99:  Parameter 'new_detail' is not validated before use CERT_C-API00-a-3
99:  The parameter 'new_detail' of function 'update_detail' is passed by value OPT-14-3
125:  Declare parameter 'new_dependencies' as const CERT_C-DCL00-a-3
125:  Parameter 'new_dependencies' is not validated before use CERT_C-API00-a-3
125:  The parameter 'new_dependencies' of function 'update_dependencies' is passed by value OPT-14-3
132:  Declare parameter 'new_dependency' as const CERT_C-DCL00-a-3
132:  Parameter 'new_dependency' is not validated before use CERT_C-API00-a-3
/rmf_task_testing/src/rmf_task/internal_task_planning.cpp
37:  The parameter 'candidate_values' of function 'Candidates' is passed by value OPT-14-3
45:  Parameter 'candidate' is not validated before use CERT_C-API00-a-3
46:  Parameter 'state' is not validated before use CERT_C-API00-a-3
46:  The parameter 'state' of function 'update_candidate' is passed by value OPT-14-3
47:  Parameter 'wait_until' is not validated before use CERT_C-API00-a-3
47:  The parameter 'wait_until' of function 'update_candidate' is passed by value OPT-14-3
48:  Parameter 'previous_state' is not validated before use CERT_C-API00-a-3
48:  The parameter 'previous_state' of function 'update_candidate' is passed by value OPT-14-3
49:  Parameter 'require_charge_battery' is not validated before use CERT_C-API00-a-3
52:  Unused function's "erase" return value CERT_C-ERR33-a-1
52:  Unused function's "erase" return value CERT_C-POS54-a-1
52:  Unused function's "erase" return value CERT_C-EXP12-a-3
 +  53:  The "this->_candidate_map" variable may be accessed out of bounds at index "candidate", which may be greater or equal to the container size CERT_CPP-CTR50-a-2
 +  53:  The "this->_candidate_map" variable may be accessed out of bounds at index "candidate", which may be greater or equal to the container size CERT_CPP-STR53-a-2
63:  Assert contains function-like call to 'empty' CERT_C-PRE31-c-3
63:  The 'assert' shall not be used CERT_C-ERR06-a-3
70:  Assert contains function-like call to 'empty' CERT_C-PRE31-c-3
70:  The 'assert' shall not be used CERT_C-ERR06-a-3
75:  'while' statement in a function 'best_candidates' should be followed by a block CERT_C-EXP19-a-2
83:  Check for assignment to self in operator= in class 'Candidates' CERT_CPP-OOP54-a-3
83:  Parameter 'other' is not validated before use CERT_C-API00-a-3
91:  Parameter 'other' is not validated before use CERT_C-API00-a-3
99:  Parameter 'start_time' is not validated before use CERT_C-API00-a-3
99:  The parameter 'start_time' of function 'make' is passed by value OPT-14-3
100:  Parameter 'initial_states' is not validated before use CERT_C-API00-a-3
101:  Parameter 'constraints' is not validated before use CERT_C-API00-a-3
102:  Parameter 'parameters' is not validated before use CERT_C-API00-a-3
103:  Parameter 'task_model' is not validated before use CERT_C-API00-a-3
104:  Parameter 'travel_estimator' is not validated before use CERT_C-API00-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
142:  Unused function's "insert" return value CERT_C-ERR33-a-1
142:  Unused function's "insert" return value CERT_C-POS54-a-1
142:  Unused function's "insert" return value CERT_C-EXP12-a-3
183:  The parameter 'candidates_' of function 'PendingTask' is passed by value OPT-14-3
193:  Parameter 'start_time' is not validated before use CERT_C-API00-a-3
193:  The parameter 'start_time' of function 'make' is passed by value OPT-14-3
194:  Parameter 'initial_states' is not validated before use CERT_C-API00-a-3
195:  Parameter 'constraints' is not validated before use CERT_C-API00-a-3
196:  Parameter 'parameters' is not validated before use CERT_C-API00-a-3
197:  Parameter 'request_' is not validated before use CERT_C-API00-a-3
198:  Parameter 'travel_estimator' is not validated before use CERT_C-API00-a-3
199:  Parameter 'error' is not validated before use CERT_C-API00-a-3
204:  The local variable 'model' hides a member variable declared in class 'PendingTask' CODSTA-44-1
207:  The local variable 'candidates' hides a member variable declared in class 'PendingTask' CODSTA-44-1
/rmf_task_testing/src/rmf_task/internal_task_planning.hpp
42:  Parameter 'a' is not validated before use CERT_C-API00-a-3
42:  Parameter 'b' is not validated before use CERT_C-API00-a-3
74:  The parameter 'start_time' of function 'make' is passed by value OPT-14-3
84:  Names shall be given for all the parameters in function 'Candidates' CERT_C-EXP37-a-3
85:  Names shall be given for all the parameters in function '=' CERT_C-EXP37-a-3
93:  The parameter 'state' of function 'update_candidate' is passed by value OPT-14-3
94:  The parameter 'wait_until' of function 'update_candidate' is passed by value OPT-14-3
95:  The parameter 'previous_state' of function 'update_candidate' is passed by value OPT-14-3
102:  Constructor 'Candidates' allowing conversion should be made explicit CODSTA-CPP-04-1
102:  The parameter 'candidate_values' of function 'Candidates' is passed by value OPT-14-3
114:  The parameter 'start_time' of function 'make' is passed by value OPT-14-3
130:  The parameter 'candidates_' of function 'PendingTask' is passed by value OPT-14-3
155:  Declare parameter 'charging_task' as const CERT_C-DCL00-a-3
172:  Unused function's "insert" return value CERT_C-ERR33-a-1
172:  Unused function's "insert" return value CERT_C-POS54-a-1
172:  Unused function's "insert" return value CERT_C-EXP12-a-3
181:  Declare parameter 'task_id' as const CERT_C-DCL00-a-3
181:  Parameter 'task_id' is not validated before use CERT_C-API00-a-3
183:  Unused function's "erase" return value CERT_C-ERR33-a-1
183:  Unused function's "erase" return value CERT_C-POS54-a-1
183:  Unused function's "erase" return value CERT_C-EXP12-a-3
185:  Local variable 'popped_invariant' declared in function 'pop_unassigned' is unnecessary CERT_C-MSC13-a-3
 +  192:  Value of "popped_invariant" is never used CERT_C-DCL22-a-3
197:  Unused function's "erase" return value CERT_C-ERR33-a-1
197:  Unused function's "erase" return value CERT_C-POS54-a-1
197:  Unused function's "erase" return value CERT_C-EXP12-a-3
198:  The 'assert' shall not be used CERT_C-ERR06-a-3
208:  Parameter 'a' is not validated before use CERT_C-API00-a-3
208:  Parameter 'b' is not validated before use CERT_C-API00-a-3
/rmf_task_testing/src/rmf_task/phases/RestoreBackup.cpp
34:  The string literal is embedded directly in the code: Restore from backup CERT_C-MSC41-a-1
35:  The string literal is embedded directly in the code: The task progress is being restored from a backed up state CERT_C-MSC41-a-1
40:  Parameter 'backup_state_str' is not validated before use CERT_C-API00-a-3
41:  The parameter 'estimated_remaining_time_' of function 'Implementation' is passed by value OPT-14-3
51:  The string literal is embedded directly in the code: Parsing backup state:``` CERT_C-MSC41-a-1
51:  The string literal is embedded directly in the code: ``` CERT_C-MSC41-a-1
51:  Undefined character was found CERT_C-MSC09-a-3
51:  Undefined character was found CERT_C-MSC09-a-3
62:  Parameter 'backup_state_str' is not validated before use CERT_C-API00-a-3
63:  Parameter 'estimated_remaining_time' is not validated before use CERT_C-API00-a-3
63:  The parameter 'estimated_remaining_time' of function 'make' is passed by value OPT-14-3
91:  Parameter 'error_message' is not validated before use CERT_C-API00-a-3
95:  The string literal is embedded directly in the code: Parsing failed: CERT_C-MSC41-a-1
99:  Parameter 'error_message' is not validated before use CERT_C-API00-a-3
103:  The string literal is embedded directly in the code: Restoration failed: CERT_C-MSC41-a-1
109:  Unused function's "update_status" return value CERT_C-ERR33-a-1
109:  Unused function's "update_status" return value CERT_C-POS54-a-1
109:  Unused function's "update_status" return value CERT_C-EXP12-a-3
/rmf_task_testing/src/rmf_task/requests/ChargeBattery.cpp
29:  Parameter 'length' is not validated before use CERT_C-API00-a-3
 +  30:  Duplicated function: 'std :: string generate_uuid ( const std :: size_t length = 3...' CDD-DUPM-2
40:  Declare local variable 'hex' as const CERT_C-DCL00-a-3
41:  Use parenthesis to clarify order ('<' is the first operand of '?:') CERT_C-EXP00-a-3
73:  The parameter 'earliest_start_time' of function 'Model' is passed by value OPT-14-3
74:  Declare parameter 'parameters' as const CERT_C-DCL00-a-3
74:  The parameter 'parameters' of function 'Model' is passed by value OPT-14-3
84:  Parameter 'task_planning_constraints' is not validated before use CERT_C-API00-a-3
85:  Parameter 'travel_estimator' is not validated before use CERT_C-API00-a-3
90:  Undefined character was found inside comment CERT_C-MSC09-a-3
92:  Undefined character was found inside comment CERT_C-MSC09-a-3
95:  Function 'value' called in the right-hand operand of a logical '&&' operator may cause side effect CERT_C-EXP02-a-3
95:  Use parenthesis to clarify order ('==' is the second operand of '&&') CERT_C-EXP00-a-3
96:  Function 'value' called in the right-hand operand of a logical '&&' operator may cause side effect CERT_C-EXP02-a-3
134:  Declare local variable 'delta_soc' as const CERT_C-DCL00-a-3
142:  Declare local variable 'time_to_charge' as const CERT_C-DCL00-a-3
143:  Implicit conversion from integral to floating type in arithmetic expression CERT_C-EXP39-a-3
147:  Unused function's "time" return value CERT_C-ERR33-a-1
147:  Unused function's "time" return value CERT_C-POS54-a-1
147:  Unused function's "time" return value CERT_C-EXP12-a-3
151:  Unused function's "battery_soc" return value CERT_C-ERR33-a-1
151:  Unused function's "battery_soc" return value CERT_C-POS54-a-1
151:  Unused function's "battery_soc" return value CERT_C-EXP12-a-3
185:  Parameter 'earliest_start_time' is not validated before use CERT_C-API00-a-3
185:  The parameter 'earliest_start_time' of function 'make_model' is passed by value OPT-14-3
186:  Parameter 'parameters' is not validated before use CERT_C-API00-a-3
199:  The string literal is embedded directly in the code: Charge battery CERT_C-MSC41-a-1
206:  Parameter 'earliest_start_time' is not validated before use CERT_C-API00-a-3
206:  The parameter 'earliest_start_time' of function 'make' is passed by value OPT-14-3
207:  Parameter 'priority' is not validated before use CERT_C-API00-a-3
208:  Parameter 'automatic' is not validated before use CERT_C-API00-a-3
211:  The string literal is embedded directly in the code: Charge CERT_C-MSC41-a-1
/rmf_task_testing/src/rmf_task/requests/ChargeBatteryFactory.cpp
39:  Parameter 'state' is not validated before use CERT_C-API00-a-3
/rmf_task_testing/src/rmf_task/requests/Clean.cpp
56:  The parameter 'earliest_start_time' of function 'Model' is passed by value OPT-14-3
58:  Parameter 'cleaning_path' is not validated before use CERT_C-API00-a-3
59:  Declare parameter 'start_waypoint' as const CERT_C-DCL00-a-3
60:  Declare parameter 'end_waypoint' as const CERT_C-DCL00-a-3
88:  Parameter 'initial_state' is not validated before use CERT_C-API00-a-3
89:  Parameter 'task_planning_constraints' is not validated before use CERT_C-API00-a-3
90:  Parameter 'travel_estimator' is not validated before use CERT_C-API00-a-3
103:  Declare local variable 'end_duration' as const CERT_C-DCL00-a-3
107:  Variable "ambient_sink" should be declared as locally as possible CERT_C-DCL19-a-3
140:  Function 'value' called in the right-hand operand of a logical '&&' operator may cause side effect CERT_C-EXP02-a-3
142:  Function 'value' called in the right-hand operand of a logical '&&' operator may cause side effect CERT_C-EXP02-a-3
144:  Declare local variable 'wait_duration' as const CERT_C-DCL00-a-3
157:  Unused function's "time" return value CERT_C-ERR33-a-1
157:  Unused function's "time" return value CERT_C-POS54-a-1
157:  Unused function's "time" return value CERT_C-EXP12-a-3
178:  Use parenthesis to clarify order ('-' is the first operand of '<=') CERT_C-EXP00-a-3
182:  Unused function's "battery_soc" return value CERT_C-ERR33-a-1
182:  Unused function's "battery_soc" return value CERT_C-POS54-a-1
182:  Unused function's "battery_soc" return value CERT_C-EXP12-a-3
199:  Constructor does not initialize members: 'end_waypoint, start_waypoint' INIT-06-1
209:  Declare parameter 'start_waypoint' as const CERT_C-DCL00-a-3
209:  Parameter 'start_waypoint' is not validated before use CERT_C-API00-a-3
210:  Declare parameter 'end_waypoint' as const CERT_C-DCL00-a-3
210:  Parameter 'end_waypoint' is not validated before use CERT_C-API00-a-3
211:  Parameter 'cleaning_path' is not validated before use CERT_C-API00-a-3
230:  Parameter 'earliest_start_time' is not validated before use CERT_C-API00-a-3
230:  The parameter 'earliest_start_time' of function 'make_model' is passed by value OPT-14-3
237:  The string literal is embedded directly in the code: Required parameter tool_sink is undefined in the supplied parameters CERT_C-MSC41-a-1
252:  Parameter 'parameters' is not validated before use CERT_C-API00-a-3
257:  Do not pass the nonstandard-layout type object to the 'standard_waypoint_name' function defined in the library that may not be ABI-compatible CERT_CPP-EXP60-a-1
257:  The string literal is embedded directly in the code: Clean CERT_C-MSC41-a-1
276:  Parameter 'start_waypoint' is not validated before use CERT_C-API00-a-3
277:  Parameter 'end_waypoint' is not validated before use CERT_C-API00-a-3
278:  Parameter 'cleaning_path' is not validated before use CERT_C-API00-a-3
279:  Parameter 'id' is not validated before use CERT_C-API00-a-3
280:  Parameter 'earliest_start_time' is not validated before use CERT_C-API00-a-3
280:  The parameter 'earliest_start_time' of function 'make' is passed by value OPT-14-3
281:  Parameter 'priority' is not validated before use CERT_C-API00-a-3
282:  Parameter 'automatic' is not validated before use CERT_C-API00-a-3
/rmf_task_testing/src/rmf_task/requests/Delivery.cpp
57:  The parameter 'earliest_start_time' of function 'Model' is passed by value OPT-14-3
59:  Declare parameter 'pickup_waypoint' as const CERT_C-DCL00-a-3
60:  Declare parameter 'pickup_wait' as const CERT_C-DCL00-a-3
60:  Parameter 'pickup_wait' is not validated before use CERT_C-API00-a-3
60:  The parameter 'pickup_wait' of function 'Model' is passed by value OPT-14-3
61:  Declare parameter 'dropoff_waypoint' as const CERT_C-DCL00-a-3
62:  Declare parameter 'dropoff_wait' as const CERT_C-DCL00-a-3
62:  Parameter 'dropoff_wait' is not validated before use CERT_C-API00-a-3
62:  The parameter 'dropoff_wait' of function 'Model' is passed by value OPT-14-3
76:  Declare local variable 'start' as const CERT_C-DCL00-a-3
81:  Declare local variable 'goal' as const CERT_C-DCL00-a-3
108:  Parameter 'initial_state' is not validated before use CERT_C-API00-a-3
109:  Parameter 'task_planning_constraints' is not validated before use CERT_C-API00-a-3
110:  Parameter 'travel_estimator' is not validated before use CERT_C-API00-a-3
126:  Variable "ambient_sink" should be declared as locally as possible CERT_C-DCL19-a-3
154:  Function 'value' called in the right-hand operand of a logical '&&' operator may cause side effect CERT_C-EXP02-a-3
170:  Unused function's "time" return value CERT_C-ERR33-a-1
170:  Unused function's "time" return value CERT_C-POS54-a-1
170:  Unused function's "time" return value CERT_C-EXP12-a-3
190:  Use parenthesis to clarify order ('-' is the first operand of '<=') CERT_C-EXP00-a-3
194:  Unused function's "battery_soc" return value CERT_C-ERR33-a-1
194:  Unused function's "battery_soc" return value CERT_C-POS54-a-1
194:  Unused function's "battery_soc" return value CERT_C-EXP12-a-3
207:  No constructor. All member variables: 'dropoff_waypoint, pickup_waypoint' should be initialized in constructor INIT-06-1
222:  Parameter 'pickup_waypoint' is not validated before use CERT_C-API00-a-3
223:  Parameter 'pickup_wait' is not validated before use CERT_C-API00-a-3
223:  The parameter 'pickup_wait' of function 'make' is passed by value OPT-14-3
224:  Parameter 'dropoff_waypoint' is not validated before use CERT_C-API00-a-3
225:  Parameter 'dropoff_wait' is not validated before use CERT_C-API00-a-3
225:  The parameter 'dropoff_wait' of function 'make' is passed by value OPT-14-3
226:  Parameter 'payload' is not validated before use CERT_C-API00-a-3
226:  The parameter 'payload' of function 'make' is passed by value OPT-14-3
227:  Parameter 'pickup_from_dispenser' is not validated before use CERT_C-API00-a-3
227:  The parameter 'pickup_from_dispenser' of function 'make' is passed by value OPT-14-3
228:  Parameter 'dropoff_to_ingestor' is not validated before use CERT_C-API00-a-3
228:  The parameter 'dropoff_to_ingestor' of function 'make' is passed by value OPT-14-3
253:  Parameter 'earliest_start_time' is not validated before use CERT_C-API00-a-3
253:  The parameter 'earliest_start_time' of function 'make_model' is passed by value OPT-14-3
254:  Parameter 'parameters' is not validated before use CERT_C-API00-a-3
268:  Parameter 'parameters' is not validated before use CERT_C-API00-a-3
272:  Do not pass the nonstandard-layout type object to the 'standard_waypoint_name' function defined in the library that may not be ABI-compatible CERT_CPP-EXP60-a-1
272:  The string literal is embedded directly in the code: Delivery from CERT_C-MSC41-a-1
273:  Do not pass the nonstandard-layout type object to the 'standard_waypoint_name' function defined in the library that may not be ABI-compatible CERT_CPP-EXP60-a-1
273:  The string literal is embedded directly in the code: to CERT_C-MSC41-a-1
322:  Parameter 'pickup_waypoint' is not validated before use CERT_C-API00-a-3
323:  Parameter 'pickup_wait' is not validated before use CERT_C-API00-a-3
323:  The parameter 'pickup_wait' of function 'make' is passed by value OPT-14-3
324:  Parameter 'dropoff_waypoint' is not validated before use CERT_C-API00-a-3
325:  Parameter 'dropoff_wait' is not validated before use CERT_C-API00-a-3
325:  The parameter 'dropoff_wait' of function 'make' is passed by value OPT-14-3
326:  Parameter 'payload' is not validated before use CERT_C-API00-a-3
326:  The parameter 'payload' of function 'make' is passed by value OPT-14-3
327:  Parameter 'id' is not validated before use CERT_C-API00-a-3
328:  Parameter 'earliest_start_time' is not validated before use CERT_C-API00-a-3
328:  The parameter 'earliest_start_time' of function 'make' is passed by value OPT-14-3
329:  Parameter 'priority' is not validated before use CERT_C-API00-a-3
330:  Parameter 'automatic' is not validated before use CERT_C-API00-a-3
331:  Parameter 'pickup_from_dispenser' is not validated before use CERT_C-API00-a-3
331:  The parameter 'pickup_from_dispenser' of function 'make' is passed by value OPT-14-3
332:  Parameter 'dropoff_to_ingestor' is not validated before use CERT_C-API00-a-3
332:  The parameter 'dropoff_to_ingestor' of function 'make' is passed by value OPT-14-3
/rmf_task_testing/src/rmf_task/requests/Loop.cpp
54:  The parameter 'earliest_start_time' of function 'Model' is passed by value OPT-14-3
56:  Declare parameter 'start_waypoint' as const CERT_C-DCL00-a-3
57:  Declare parameter 'finish_waypoint' as const CERT_C-DCL00-a-3
58:  Declare parameter 'num_loops' as const CERT_C-DCL00-a-3
58:  Parameter 'num_loops' is not validated before use CERT_C-API00-a-3
69:  Declare local variable 'loop_start' as const CERT_C-DCL00-a-3
73:  Declare local variable 'loop_end_goal' as const CERT_C-DCL00-a-3
101:  Implicit conversion from 'unsigned long' type to 'double' type in expression CERT_C-FLP06-a-2
101:  Implicit conversion from 'unsigned long' type to 'double' type in expression CERT_C-FLP36-a-3
101:  Implicit conversion from integral to floating type in arithmetic expression CERT_C-EXP39-a-3
107:  Parameter 'initial_state' is not validated before use CERT_C-API00-a-3
108:  Parameter 'task_planning_constraints' is not validated before use CERT_C-API00-a-3
109:  Parameter 'travel_estimator' is not validated before use CERT_C-API00-a-3
115:  Variable "ambient_sink" should be declared as locally as possible CERT_C-DCL19-a-3
144:  Function 'value' called in the right-hand operand of a logical '&&' operator may cause side effect CERT_C-EXP02-a-3
145:  Function 'value' called in the right-hand operand of a logical '&&' operator may cause side effect CERT_C-EXP02-a-3
145:  Use parenthesis to clarify order ('!=' is the second operand of '&&') CERT_C-EXP00-a-3
146:  Function 'value' called in the right-hand operand of a logical '&&' operator may cause side effect CERT_C-EXP02-a-3
148:  Declare local variable 'wait_duration' as const CERT_C-DCL00-a-3
195:  Use parenthesis to clarify order ('-' is the first operand of '<=') CERT_C-EXP00-a-3
214:  Constructor does not initialize members: 'finish_waypoint, num_loops, start_waypoint' INIT-06-1
224:  Declare parameter 'start_waypoint' as const CERT_C-DCL00-a-3
224:  Parameter 'start_waypoint' is not validated before use CERT_C-API00-a-3
225:  Declare parameter 'finish_waypoint' as const CERT_C-DCL00-a-3
225:  Parameter 'finish_waypoint' is not validated before use CERT_C-API00-a-3
226:  Declare parameter 'num_loops' as const CERT_C-DCL00-a-3
226:  Parameter 'num_loops' is not validated before use CERT_C-API00-a-3
245:  Parameter 'earliest_start_time' is not validated before use CERT_C-API00-a-3
245:  The parameter 'earliest_start_time' of function 'make_model' is passed by value OPT-14-3
246:  Parameter 'parameters' is not validated before use CERT_C-API00-a-3
259:  Parameter 'parameters' is not validated before use CERT_C-API00-a-3
263:  Do not pass the nonstandard-layout type object to the 'standard_waypoint_name' function defined in the library that may not be ABI-compatible CERT_CPP-EXP60-a-1
263:  The string literal is embedded directly in the code: Loop between CERT_C-MSC41-a-1
264:  Do not pass the nonstandard-layout type object to the 'standard_waypoint_name' function defined in the library that may not be ABI-compatible CERT_CPP-EXP60-a-1
264:  The string literal is embedded directly in the code: and CERT_C-MSC41-a-1
265:  The string literal is embedded directly in the code: times CERT_C-MSC41-a-1
289:  Parameter 'start_waypoint' is not validated before use CERT_C-API00-a-3
290:  Parameter 'finish_waypoint' is not validated before use CERT_C-API00-a-3
291:  Parameter 'num_loops' is not validated before use CERT_C-API00-a-3
292:  Parameter 'id' is not validated before use CERT_C-API00-a-3
293:  Parameter 'earliest_start_time' is not validated before use CERT_C-API00-a-3
293:  The parameter 'earliest_start_time' of function 'make' is passed by value OPT-14-3
294:  Parameter 'priority' is not validated before use CERT_C-API00-a-3
295:  Parameter 'automatic' is not validated before use CERT_C-API00-a-3
/rmf_task_testing/src/rmf_task/requests/ParkRobotFactory.cpp
28:  Parameter 'length' is not validated before use CERT_C-API00-a-3
39:  Declare local variable 'hex' as const CERT_C-DCL00-a-3
40:  Use parenthesis to clarify order ('<' is the first operand of '?:') CERT_C-EXP00-a-3
57:  The parameter 'parking_waypoint' of function 'ParkRobotFactory' is passed by value OPT-14-3
68:  Parameter 'state' is not validated before use CERT_C-API00-a-3
70:  The string literal is embedded directly in the code: ParkRobot CERT_C-MSC41-a-1

Flow Analysis Legend:
     Message - violation cause      Message - violation point      Message - path element annotation


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