Skip to content

Commit

Permalink
Merge pull request #562 from nasa/integration-candidate
Browse files Browse the repository at this point in the history
IC: Caelum-rc4+dev20
  • Loading branch information
dzbaker authored Sep 1, 2022
2 parents 987f852 + b5d5bb2 commit 66a0261
Showing 1 changed file with 20 additions and 11 deletions.
31 changes: 20 additions & 11 deletions .github/codeql/jpl-misra.qls
Original file line number Diff line number Diff line change
Expand Up @@ -4,18 +4,27 @@
# Restrict to only the queries with the following ID patterns.
- include:
id:
# Regular expression matching all query IDs that start with `cpp/jpl-c/`
# This covers all queries in the `JPL_C` directory,
# but matching on query ID is more stable.
- /cpp/jpl-c/*/
# Specific JSF queries, identified by query ID.
# MISRA Rule 9-5-1
- cpp/jsf/av-rule-153
# MISRA Rule 5-3-2
- cpp/jsf/av-rule-173
# MISRA Rule 5-14-1
- cpp/jsf/av-rule-165
# MISRA Rule 5-18-1
- cpp/jsf/av-rule-168
# MISRA 6-2-2
- cpp/jsf/av-rule-202
# MISRA Rule 5-14-1
- cpp/jsf/av-rule-165
# MISRA Rule 5-3-2
- cpp/jsf/av-rule-173
# MISRA Rule 9-5-1
- cpp/jsf/av-rule-153
# JPL Rules
- /cpp/jpl-c/*/
# Exclude queries with too many results
- exclude:
id:
# JPL 14
- cpp/jpl-c/checking-return-values
# JPL 15
- cpp/jpl-c/checking-parameter-values
# JPL 17
- cpp/jpl-c/basic-int-types
# JPL 24
- cpp/jpl-c/multiple-stmts-per-line
- cpp/jpl-c/multiple-var-decls-per-line

0 comments on commit 66a0261

Please sign in to comment.