Skip to content

Commit db92ee6

Browse files
author
Nikita Kraiouchkine
committed
Regenerate help files
1 parent 922d0e5 commit db92ee6

7 files changed

+1
-7
lines changed

c/cert/src/rules/ARR36-C/DoNotRelatePointersThatDoNotReferToTheSameArray.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 ARR36-C:
55
> Do not subtract or compare two pointers that do not refer to the same array
66
77

8-
98
## Description
109

1110
When two pointers are subtracted, both must point to elements of the same array object or just one past the last element of the array object (C Standard, 6.5.6 \[[ISO/IEC 9899:2011](https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliography#AA.Bibliography-ISO-IEC9899-2011)\]); the result is the difference of the subscripts of the two array elements. Otherwise, the operation is [undefined behavior](https://wiki.sei.cmu.edu/confluence/display/c/BB.+Definitions#BB.Definitions-undefinedbehavior). (See [undefined behavior 48](https://wiki.sei.cmu.edu/confluence/display/c/CC.+Undefined+Behavior#CC.UndefinedBehavior-ub_48).)

c/cert/src/rules/ARR36-C/DoNotSubtractPointersThatDoNotReferToTheSameArray.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 ARR36-C:
55
> Do not subtract or compare two pointers that do not refer to the same array
66
77

8-
98
## Description
109

1110
When two pointers are subtracted, both must point to elements of the same array object or just one past the last element of the array object (C Standard, 6.5.6 \[[ISO/IEC 9899:2011](https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliography#AA.Bibliography-ISO-IEC9899-2011)\]); the result is the difference of the subscripts of the two array elements. Otherwise, the operation is [undefined behavior](https://wiki.sei.cmu.edu/confluence/display/c/BB.+Definitions#BB.Definitions-undefinedbehavior). (See [undefined behavior 48](https://wiki.sei.cmu.edu/confluence/display/c/CC.+Undefined+Behavior#CC.UndefinedBehavior-ub_48).)

c/cert/src/rules/EXP42-C/DoNotComparePaddingData.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 EXP42-C:
55
> Do not compare padding data
66
77

8-
98
## Description
109

1110
The C Standard, 6.7.2.1 \[[ISO/IEC 9899:2011](https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliography#AA.Bibliography-ISO-IEC9899-2011)\], states

c/cert/src/rules/MEM31-C/FreeMemoryWhenNoLongerNeededCert.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 MEM31-C:
55
> Free dynamically allocated memory when no longer needed
66
77

8-
98
## Description
109

1110
Before the lifetime of the last pointer that stores the return value of a call to a standard memory allocation function has ended, it must be matched by a call to `free()` with that pointer value.

c/cert/src/rules/MEM33-C/CopyStructsWithAFlexibleArrayMemberDynamically.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# MEM33-C: Copy structures containing a flexible array member using memcpy or a similar function.
1+
# MEM33-C: Copy structures containing a flexible array member using memcpy or a similar function
22

33
This query implements the CERT-C rule MEM33-C:
44

c/cert/src/rules/MEM34-C/OnlyFreeMemoryAllocatedDynamicallyCert.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 MEM34-C:
55
> Only free memory allocated dynamically
66
77

8-
98
## Description
109

1110
The C Standard, Annex J \[[ISO/IEC 9899:2011](https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliography#AA.Bibliography-ISO-IEC9899-2011)\], states that the behavior of a program is [undefined ](https://wiki.sei.cmu.edu/confluence/display/c/BB.+Definitions#BB.Definitions-undefinedbehavior) when

c/cert/src/rules/MEM36-C/DoNotModifyAlignmentOfMemoryWithRealloc.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 MEM36-C:
55
> Do not modify the alignment of objects by calling realloc
66
77

8-
98
## Description
109

1110
Do not invoke `realloc()` to modify the size of allocated objects that have stricter alignment requirements than those guaranteed by `malloc()`. Storage allocated by a call to the standard `aligned_alloc()` function, for example, can have stricter than normal alignment requirements. The C standard requires only that a pointer returned by `realloc()` be suitably aligned so that it may be assigned to a pointer to any type of object with a fundamental alignment requirement.

0 commit comments

Comments
 (0)