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.