Static analysis of ROS-core code, with initial basis on the ROS Eco project.