search

ArielSAdamsNASA / 2021-Internship

0 stars 0 forks source link

Cobra #4

Open ArielSAdamsNASA opened 3 years ago

ArielSAdamsNASA commented 3 years ago

Description

  1. Create a new workflow in GitHub Actions to automate Cobra on push and pull requests.
  2. Use MISRA and JPL rules.

Helpful Links https://github.com/nimble-code/Cobra

ArielSAdamsNASA commented 3 years ago

Cobra installation and run. Had issues running the rules, but can configure them. Try to configure JPL and MISRA

git clone https://github.com/nimble-code/Cobra
cd Cobra/src
sudo make install_linux

yacc -o cobra_eval.c cobra_eval.y
make: yacc: Command not found
makefile:83: recipe for target 'cobra_eval.c' failed
make: *** [cobra_eval.c] Error 127

sudo apt-get install bison -y
sudo apt-get install byacc -y
sudo make install_linux

export PATH=$PATH:$COBRA/bin_linux

./cobra -configure $COBRA/rules
cobra: cannot find '/rules/basic.cobra'
cobra: configuration failed

./cobra -configure ../rules/misra