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: