Static analysis framework for ROS1 applications to detect software problems early in development.
HAROS is a static analysis framework for ROS1 applications that extracts information from source code without execution or compilation. It aims to detect software problems early in the development lifecycle, preventing issues from reaching production stages in robotic systems.
ROS1 developers and robotics engineers who need to ensure code quality and reliability in their robotic applications through automated static analysis.
Developers choose HAROS for its specialized focus on ROS1 static analysis, enabling early detection of defects and integration into the development workflow without requiring code execution.
H(igh) A(ssurance) ROS - Static analysis of ROS1 application code.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
HAROS is designed specifically for ROS1, providing targeted static analysis that extracts information without execution or compilation, as emphasized in the README.
Supports a plugin architecture for custom analysis rules, allowing users to extend functionality based on their needs, which enhances adaptability.
Aims to identify software issues early in development, preventing problems from reaching production stages, aligning with its proactive quality assurance philosophy.
Includes a debug mode with detailed logging for troubleshooting errors, making it easier to diagnose issues when running analyses.
The README explicitly states this version works only for ROS1 and is no longer being developed, making it obsolete for ROS2 or future ROS versions.
With development ceased, there may be unresolved bugs, security vulnerabilities, or compatibility issues with newer systems or dependencies.
Limited to static analysis, so it cannot detect runtime errors, performance issues, or dynamic behavior, requiring supplementary testing tools.