static-analysis #6920
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: static-analysis | |
| on: | |
| workflow_run: | |
| # Perform static analysis together with build workflow. Build triggers of "build" workflow do not need to be repeated here. | |
| workflows: | |
| - build | |
| types: | |
| - requested | |
| jobs: | |
| PVS-Studio: | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| fetch-depth: 1 | |
| - name: Install Dependencies | |
| env: | |
| # The Secret variable setup in GitHub must be in format: "name_or_email key", on a single line | |
| PVS_STUDIO_LICENSE: ${{ secrets.PVS_STUDIO_LICENSE }} | |
| run: | | |
| if [[ "$PVS_STUDIO_LICENSE" != "" ]]; | |
| then | |
| wget -q https://files.viva64.com/etc/pubkey.txt | |
| sudo apt-key add pubkey.txt | |
| sudo wget -O /etc/apt/sources.list.d/viva64.list https://files.viva64.com/etc/viva64.list | |
| sudo apt-get update | |
| sudo apt-get install -y pvs-studio | |
| pvs-studio-analyzer credentials -o pvs-studio.lic $PVS_STUDIO_LICENSE | |
| fi | |
| - name: PVS-Studio static analysis | |
| run: | | |
| if [[ ! -f pvs-studio.lic ]]; | |
| then | |
| echo "PVS Studio license is missing. No analysis will be performed." | |
| echo "If you have a PVS Studio license please create a project secret named PVS_STUDIO_LICENSE with your license." | |
| echo "You may use a free license. More information at https://www.viva64.com/en/b/0457/" | |
| exit 0 | |
| fi | |
| cd examples/example_null | |
| pvs-studio-analyzer trace -- make WITH_EXTRA_WARNINGS=1 | |
| pvs-studio-analyzer analyze -e ../../imstb_rectpack.h -e ../../imstb_textedit.h -e ../../imstb_truetype.h -l ../../pvs-studio.lic -o pvs-studio.log | |
| plog-converter -a 'GA:1,2;OP:1' -d V1071 -t errorfile -w pvs-studio.log |