ament / ament_cobra Goto Github PK
View Code? Open in Web Editor NEWAn ament wrapper for the Cobra static analyzer
An ament wrapper for the Cobra static analyzer
When changing the REV
field in CMakeLists:14 and running colcon build --packageg-up-to cobra_vendor
, if you have previously built a different version of cobra, the following error is returned:
<other packages building>...
Starting >>> cobra_vendor
--- stderr: cobra_vendor
fatal: bad object aa397fb86a91cd320def1f6d126c55290222b582
From https://github.com/nimble-code/cobra
a0990d4..aa397fb master -> origin/master
error: Your local changes to the following files would be overwritten by checkout:
bin_linux/cobra
bin_linux/cwe
bin_linux/find_taint
bin_linux/icobra
bin_linux/scope_check
Please commit your changes or stash them before you switch branches.
Aborting
CMake Error at /home/spaceros-user/src/spaceros/build/cobra_vendor/cobra-4.1/tmp/cobra-4.1-gitupdate.cmake:144 (message):
Failed to checkout tag: 'aa397fb86a91cd320def1f6d126c55290222b582'
make[2]: *** [CMakeFiles/cobra-4.1.dir/build.make:96: cobra-4.1/src/cobra-4.1-stamp/cobra-4.1-update] Error 1
make[1]: *** [CMakeFiles/Makefile2:78: CMakeFiles/cobra-4.1.dir/all] Error 2
make: *** [Makefile:129: all] Error 2
---
Failed <<< cobra_vendor [2.08s, exited with code 2]
I'm unsure how to do a force checkout in ExternalProject_Add
, Google is failing me.
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
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.