CppCheck is a static analysis tool that can detect undefined behavior like

• Dead pointers
• Division by zero
• Integer overflows
• Invalid bit shift operands
• Invalid conversions
• Invalid usage of STL
• Memory management
• Null pointer dereferences
• Out of bounds checking
• Uninitialized variables
• Writing const data

Currently, CppCheck is disable for this codebase by adding this line in CMakeLists

set(ament_cmake_cppcheck_FOUND TRUE)

It would be nice to add this back. This task can be done incrementally by enabling CppCheck for each library in moveit_ros and moveit_core separately.