Skip to content

Commit e30b208

Browse files
committed
Add FPrime codeql config
1 parent 0ef37a2 commit e30b208

File tree

4 files changed

+60
-0
lines changed

4 files changed

+60
-0
lines changed
Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
name: "CodeQL JPL Coding Standard - Errors and Warnings"
2+
3+
disable-default-queries: true
4+
5+
packs:
6+
# Source of the query pack is https://github.com/github/codeql/tree/main/cpp/ql/src/JPL_C
7+
- codeql/cpp-queries:JPL_C
8+
9+
query-filters:
10+
- exclude:
11+
problem.severity:
12+
- recommendation
Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
name: "CodeQL JPL Coding Standard - Recommendations 1 of 2"
2+
3+
disable-default-queries: true
4+
5+
packs:
6+
# Source of the query pack is https://github.com/github/codeql/tree/main/cpp/ql/src/JPL_C
7+
- codeql/cpp-queries:JPL_C
8+
9+
query-filters:
10+
- exclude:
11+
problem.severity:
12+
- error
13+
- warning
14+
# We are excluding the following query because it overflows the limit of
15+
# 5000 results that the SARIF upload can handle
16+
# This sole query is ran in jpl-standard-pack-3.yml
17+
# https://docs.github.com/en/code-security/code-scanning/integrating-with-code-scanning/uploading-a-sarif-file-to-github#uploading-a-code-scanning-analysis-with-github-actions
18+
- exclude:
19+
id:
20+
- cpp/jpl-c/basic-int-types
Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
name: "CodeQL JPL Coding Standard - Recommendations 2 of 2"
2+
3+
disable-default-queries: true
4+
5+
packs:
6+
# Source of the query pack is https://github.com/github/codeql/tree/main/cpp/ql/src/JPL_C
7+
- codeql/cpp-queries:JPL_C
8+
9+
query-filters:
10+
# This will ONLY include the following query
11+
- include:
12+
id:
13+
- cpp/jpl-c/basic-int-types

.github/codeql/security.yaml

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
name: "CodeQL security and quality"
2+
3+
queries:
4+
- uses: security-and-quality
5+
6+
query-filters:
7+
- include:
8+
id: cpp/incorrect-not-operator-usage
9+
- include:
10+
tags contain: correctness
11+
- include:
12+
tags contain: reliability
13+
14+
paths-ignore:
15+
- docs/

0 commit comments

Comments
 (0)