Skip to content

Instantly share code, notes, and snippets.

@khancyr
Last active July 30, 2019 14:00
Show Gist options
  • Save khancyr/1bb4af4f1347bb3adc59cc6dc1ca1b92 to your computer and use it in GitHub Desktop.
Save khancyr/1bb4af4f1347bb3adc59cc6dc1ca1b92 to your computer and use it in GitHub Desktop.
PVS-studio on ardupilot
# See http://www.viva64.com/en/b/0457/ , http://www.viva64.com/en/b/0457/ , http://www.viva64.com/en/m/0036/
git clone https://github.com/viva64/how-to-use-pvs-studio-free
cd how-to-use-pvs-studio-free
mkdir build
cd build
cmake -DCMAKE_BUILD_TYPE=Release ..
make
sudo make install
how-to-use-pvs-studio-free
cd ardupilot/
how-to-use-pvs-studio-free -c 2 ./
waf
pvs-studio-analyzer analyze -o ./ardupilot.log -f build/sitl/compile_commands.json -j3
plog-converter -a GA:1,2 -t tasklist -o ./ardupilot.tasks ./ardupilot.log
#-dV730,V668,V512
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment