Static bug checkers for ROS packages developed as part of SQUARE research at the IT University of Copenhagen.
All the bugs explored are dependency-related bugs, leading to run-time failures when the ROS packages are installed and executed.
Find individual READMEs for checkers at:
Supported by ROSIN - ROS-Industrial Quality-Assured Robot Software Components.
More information: rosin-project.eu
This project has received funding from the European Union’s Horizon 2020
research and innovation programme under grant agreement no. 732287.