haros icon indicating copy to clipboard operation
haros copied to clipboard

H(igh) A(ssurance) ROS - Static analysis of ROS application code.

Results 22 haros issues
Sort by recently updated
recently updated
newest added

Hi, To which extent is ROS2 supported? I've seen a few issues, PRs and commits mentioning ROS 2, but it is unclear to me (I'm no expert). Thanks

Haros is installed with `pip install haros` no other actions were taken. After yaml file was created to scan only one custom package ```yaml %YAML 1.1 --- packages: - qr_filtering...

After running a few more tests, do not forget to update `INSTALL.md` with confirmation that it works with ROS Noetic. Add any additional steps that might be necessary for this...

documentation

Develop new views for the extracted models, allowing better user interaction and better analysis of the system from different zoom levels. For instance, view only the node graph, without specifying...

enhancement
help wanted
viz

`catkin_tools` works slightly differently from `catkin_make` but is also one of the most used tools as it proposes Toolchains, profiles and workspace extension (the main features we use). How are...

I've noticed issues such as this one: ![Screenshot from 2019-11-23 11-25-55](https://user-images.githubusercontent.com/2090520/69477246-26083c80-0de4-11ea-95df-9a009a349671.png) which is not in line with the [ROS C++ Style Guide](http://wiki.ros.org/CppStyleGuide#Formatting). I'm not sure if there is already an...

A note to self that the current implementation needs a serious rework from the ground up, whenever I find enough available time. **metamodel.py:** Change all data structures to hold IDs...

enhancement
core
viz

An alternative to extraction from the source code. It should rely on `rosnode`, `rostopic` and `rosservice` to gather the required information.

enhancement
help wanted
core

Add infrastructure and plugin support for runtime analysis. The main goal of this analysis would be to extract models from snapshots of running systems (e.g., `rostopic list`), and either register...

enhancement
help wanted
core

Add infrastructure and plugin support for binary static analysis. One of the goals of this analysis would be to extract models from compiled code, when access to the source is...

enhancement
help wanted
core