misra: Removed some rules from getCppcheckRules() because those do no… #40

	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

Provide feedback