Skip to content

Commit 7c41fe7

Browse files
author
Nikita Kraiouchkine
committed
Correct package files
1 parent 2a0429b commit 7c41fe7

File tree

3 files changed

+1
-4
lines changed

3 files changed

+1
-4
lines changed

c/cert/src/rules/EXP33-C/DoNotReadUninitializedMemory.md

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,6 @@ This query implements the CERT-C rule EXP33-C:
55
> Do not read uninitialized memory
66
77

8-
98
## Description
109

1110
Local, automatic variables assume unexpected values if they are read before they are initialized. The C Standard, 6.7.9, paragraph 10, specifies \[[ISO/IEC 9899:2011](https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliography#AA.Bibliography-ISO-IEC9899-2011)\]

c/cert/src/rules/EXP34-C/DoNotDereferenceNullPointers.md

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,6 @@ This query implements the CERT-C rule EXP34-C:
55
> Do not dereference null pointers
66
77

8-
98
## Description
109

1110
Dereferencing a null pointer is [undefined behavior](https://wiki.sei.cmu.edu/confluence/display/c/BB.+Definitions#BB.Definitions-undefinedbehavior).

c/misra/src/rules/RULE-9-1/ObjectWithAutoStorageDurationReadBeforeInit.ql

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,7 @@
11
/**
22
* @id c/misra/object-with-auto-storage-duration-read-before-init
33
* @name RULE-9-1: The value of an object with automatic storage duration shall not be read before it has been set
4-
* @description Accessing an object before it has been initialized and has an indetermine value can
5-
* lead to undefined behavior.
4+
* @description Accessing an object before it has been initialized can lead to undefined behavior.
65
* @kind problem
76
* @precision medium
87
* @problem.severity error

0 commit comments

Comments
 (0)