GitHub repository: rosin-project/ros_launch_checker
Description: Static bug checkers for ROS packages developed as part of SQUARE research at the IT University of Copenhagen.