search

ament / ament_cobra

An ament wrapper for the Cobra static analyzer
1 stars 4 forks source link

`ament_cobra` runs forever #15

Open roncapat opened 1 year ago

roncapat commented 1 year ago

Hello,

I'm trying to integrate ament_cobra in my ROS2 packages as a way to somehow approach to SpaceROS world. However, it time outs and no SARIf output is generated... Is there anyone actively using ament_cobra in a project and can help me?

My understanding is that ament_cobra is injected by a spaceros branch of ament_cmake for the whole spaceros env (e.g. inside the spaceros docker). Not sure if it is intended to work for standalone packages.

BTW, I built the package already using -DCMAKE_EXPORT_COMPILE_COMMANDS=ON

asimonov commented 1 month ago

@roncapat may be better to raise this issue on space-ros repo...

i am just learning the whole static analyser setup of spaceROS...