You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
|[CERT C](https://resources.sei.cmu.edu/downloads/secure-coding/assets/sei-cert-c-coding-standard-2016-v01.pdf)| 2016 | 99 | 99| Under development |
53
+
|[MISRA C](https://www.misra.org.uk/product/misra-c2012-third-edition-first-revision/)| 2012 | 172 | 169 | Under development |
53
54
54
55
55
56
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. For each rule we therefore identify whether it is supportable or not. Furthermore, a rule can be supported in two ways:
@@ -225,6 +226,21 @@ This will produce a directory (`<output_directory>`) containing the following re
225
226
- A textual justification of the deviation.
226
227
- A textual description of background information.
227
228
- A textual description of the requirements which must be satisfied to use the deviation.
229
+
- A table of invalid deviation records for which we list:
230
+
- The location of the invalid deviation record in the database.
231
+
- The reason why it is considered invalid.
232
+
- A table of deviation permits for which we list:
233
+
- An identifier that identifies the permit.
234
+
- An identifier for the coding standards rule the deviation applies to.
235
+
- The query identifier that implements the guideline.
236
+
- An inferred scope that shows the files or code-identifier the deviation is applied to.
237
+
- A textual description of the scope when the deviation can be applied.
238
+
- A textual justification of the deviation.
239
+
- A textual description of background information.
240
+
- A textual description of the requirements which must be satisfied to use the deviation.
241
+
- A table of invalid deviation permits for which we list:
242
+
- The location of the invalid permit in the database.
0 commit comments