FilesExpand file tree

master

/

codeql-analysis.yml

Copy path

View runs

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

44 lines (36 loc) · 1.49 KB

master

/

codeql-analysis.yml

Copy path

Top

File metadata and controls

• Code
• Blame

44 lines (36 loc) · 1.49 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

name: "CodeQL"

on: [push, pull_request]

jobs:

analyze:

name: Analyze

runs-on: ubuntu-20.04

strategy:

fail-fast: false

matrix:

# Override automatic language detection by changing the below list

# Supported options are ['csharp', 'cpp', 'go', 'java', 'javascript', 'python']

language: ['cpp', 'python']

# Learn more...

# https://docs.github.com/en/github/finding-security-vulnerabilities-and-errors-in-your-code/configuring-code-scanning#overriding-automatic-language-detection

steps:

- name: Checkout repository

uses: actions/checkout@v2

- name: Install missing software on ubuntu

run: |

sudo apt-get update

sudo apt-get install libxml2-utils

sudo apt-get install libz3-dev libz3-4

# Initializes the CodeQL tools for scanning.

- name: Initialize CodeQL

uses: github/codeql-action/init@v1

with:

languages: ${{ matrix.language }}

# If you wish to specify custom queries, you can do so here or in a config file.

# By default, queries listed here will override any specified in a config file.

# Prefix the list here with "+" to use these queries and those in the config file.

# queries: ./path/to/local/query, your-org/your-repo/queries@main

setup-python-dependencies: false

- run: |

make -j$(nproc) USE_Z3=yes HAVE_RULES=yes cppcheck

- name: Perform CodeQL Analysis

uses: github/codeql-action/analyze@v1