[ros-users] [Discourse.ros.org] [Next Generation ROS] Adding clang thread safety analysis for ROS2 core packages

Geoffrey Biggs via Discourse.ros.org ros.discourse at gmail.com
Thu Feb 21 00:19:06 UTC 2019

[quote="emersonknapp, post:3, topic:7930"]

Anything not annotated doesnt get analyzed. The llvm libcxx implementation has the Capability annotations on its `std::mutex` implementation, but if you dont mark any data as `GUARDED_BY` the mutex, the analysis has nothing to operate on


Yep, that makes sense. What I'm wondering is does this have any impact on the analysis of threads that are annotated? If an annotated thread interacts with a non-annotated one, how trustworthy are the analysis results?


[Visit Topic](https://discourse.ros.org/t/adding-clang-thread-safety-analysis-for-ros2-core-packages/7930/4) or reply to this email to respond.

More information about the ros-users mailing list