Skip to content

Commit dadc62c

Browse files
lcarteyrvermeulen
andauthored
Update docs/user_manual.md
Co-authored-by: Remco Vermeulen <rvermeulen@users.noreply.github.com>
1 parent b0eb1c9 commit dadc62c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/user_manual.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,7 @@ The _CodeQL Coding Standards_ product is a set of CodeQL queries for identifying
5656
| [CERT C](https://resources.sei.cmu.edu/downloads/secure-coding/assets/sei-cert-c-coding-standard-2016-v01.pdf) | 2016 | 99 | 97 | 97 | Implemented |
5757
| [MISRA C](https://www.misra.org.uk/product/misra-c2012-third-edition-first-revision/) | 2012 | 175 | 164 | 162[^3] | Implemented |
5858

59-
Not all rules in these standards are amenable to static analysis by CodeQL - some rules require external or domain specific knowledge to validate, or refer to properties which are not present in the our representation of the codebase under analysis. In addition, some rules are natively enforced by our supported set of compilers. As CodeQL requires that the program under analysis compiles, we are unable to implement queries for these rules, and doing so would be redundant.
59+
Not all rules in these standards are amenable to static analysis by CodeQL - some rules require external or domain specific knowledge to validate, or refer to properties which are not present in our representation of the codebase under analysis. In addition, some rules are natively enforced by the supported compilers. As CodeQL requires that the program under analysis compiles, we are unable to implement queries for these rules, and doing so would be redundant.
6060

6161
For each rule we therefore identify whether it is supportable or not. Furthermore, a rule can be supported in two ways:
6262

0 commit comments

Comments
 (0)