haros (pypi): Static analysis framework for ROS
Keywords: static-analysis|ros|quality-assurance|robotics