Thanks for the clarification!
Indeed, there is a lot of overlap, but I also see some room for both
tools to evolve and stay distinct. Especially if you pursue security
issues, which is something that is not being done in Haros at any level.
You are correct in that Haros is now becoming more focused on
ROS-specific analyses, and I believe it will stay that way in the near
future.
---
[Visit Topic](
https://discourse.ros.org/t/statick-a-static-analysis-framework/6034/4) or reply to this email to respond.
If you do not want to receive messages from ros-users please use the unsubscribe link below. If you use the one above, you will stop all of ros-users from receiving updates.
______________________________________________________________________________
ros-users mailing list
ros-users@lists.ros.org
http://lists.ros.org/mailman/listinfo/ros-users
Unsubscribe: <
http://lists.ros.org/mailman//options/ros-users>
(text/plain)