Skip to content

Commit b03a99b

Browse files
PLeVasseurPLeVasseur
committed
deploy: 46a13e5 
1 parent 0a75033 commit b03a99b

35 files changed

Lines changed: 2304 additions & 188 deletions

‎_sources/appendices/standards-matrices/cert-c-2016-mapping.rst.txt‎

Lines changed: 917 additions & 0 deletions
Large diffs are not rendered by default.

‎_sources/appendices/standards-matrices/index.rst.txt‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,4 +9,5 @@ Standards Matrices
99
.. toctree::
1010
:maxdepth: 1
1111

12+
cert-c-2016-mapping
1213
misra-c-2025-mapping

‎appendices/index.html‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -112,6 +112,7 @@ <h1>Appendices<a class="headerlink" href="#appendices" title="Link to this headi
112112
</ul>
113113
</li>
114114
<li class="toctree-l1"><a class="reference internal" href="standards-matrices/index.html">Standards Matrices</a><ul>
115+
<li class="toctree-l2"><a class="reference internal" href="standards-matrices/cert-c-2016-mapping.html">Rust Cross Reference with CERT-C 2016</a></li>
115116
<li class="toctree-l2"><a class="reference internal" href="standards-matrices/misra-c-2025-mapping.html">Rust Cross Reference with MISRA C 2025</a></li>
116117
</ul>
117118
</li>

‎appendices/standards-matrices/cert-c-2016-mapping.html‎

Lines changed: 1194 additions & 0 deletions
Large diffs are not rendered by default.

‎appendices/standards-matrices/index.html‎

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -38,7 +38,7 @@
3838
<script src="../../_static/js/theme.js"></script>
3939
<link rel="index" title="Index" href="../../genindex.html" />
4040
<link rel="search" title="Search" href="../../search.html" />
41-
<link rel="next" title="Rust Cross Reference with MISRA C 2025" href="misra-c-2025-mapping.html" />
41+
<link rel="next" title="Rust Cross Reference with CERT-C 2016" href="cert-c-2016-mapping.html" />
4242
<link rel="prev" title="Licenses" href="../licenses.html" />
4343
</head>
4444

@@ -71,6 +71,7 @@
7171
<li class="toctree-l1 current"><a class="reference internal" href="../index.html">Appendices</a><ul class="current">
7272
<li class="toctree-l2"><a class="reference internal" href="../licenses.html">Licenses</a></li>
7373
<li class="toctree-l2 current"><a class="current reference internal" href="#">Standards Matrices</a><ul>
74+
<li class="toctree-l3"><a class="reference internal" href="cert-c-2016-mapping.html">Rust Cross Reference with CERT-C 2016</a></li>
7475
<li class="toctree-l3"><a class="reference internal" href="misra-c-2025-mapping.html">Rust Cross Reference with MISRA C 2025</a></li>
7576
</ul>
7677
</li>
@@ -108,6 +109,7 @@
108109
<h1>Standards Matrices<a class="headerlink" href="#standards-matrices" title="Link to this heading"></a></h1>
109110
<div class="toctree-wrapper compound">
110111
<ul>
112+
<li class="toctree-l1"><a class="reference internal" href="cert-c-2016-mapping.html">Rust Cross Reference with CERT-C 2016</a></li>
111113
<li class="toctree-l1"><a class="reference internal" href="misra-c-2025-mapping.html">Rust Cross Reference with MISRA C 2025</a></li>
112114
</ul>
113115
</div>
@@ -118,7 +120,7 @@ <h1>Standards Matrices<a class="headerlink" href="#standards-matrices" title="Li
118120
</div>
119121
<footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
120122
<a href="../licenses.html" class="btn btn-neutral float-left" title="Licenses" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
121-
<a href="misra-c-2025-mapping.html" class="btn btn-neutral float-right" title="Rust Cross Reference with MISRA C 2025" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
123+
<a href="cert-c-2016-mapping.html" class="btn btn-neutral float-right" title="Rust Cross Reference with CERT-C 2016" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
122124
</div>
123125

124126
<hr/>

‎appendices/standards-matrices/misra-c-2025-mapping.html‎

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@
3939
<link rel="index" title="Index" href="../../genindex.html" />
4040
<link rel="search" title="Search" href="../../search.html" />
4141
<link rel="next" title="Retired Guidelines" href="../../retired-guidelines/index.html" />
42-
<link rel="prev" title="Standards Matrices" href="index.html" />
42+
<link rel="prev" title="Rust Cross Reference with CERT-C 2016" href="cert-c-2016-mapping.html" />
4343
</head>
4444

4545
<body class="wy-body-for-nav">
@@ -71,6 +71,7 @@
7171
<li class="toctree-l1 current"><a class="reference internal" href="../index.html">Appendices</a><ul class="current">
7272
<li class="toctree-l2"><a class="reference internal" href="../licenses.html">Licenses</a></li>
7373
<li class="toctree-l2 current"><a class="reference internal" href="index.html">Standards Matrices</a><ul class="current">
74+
<li class="toctree-l3"><a class="reference internal" href="cert-c-2016-mapping.html">Rust Cross Reference with CERT-C 2016</a></li>
7475
<li class="toctree-l3 current"><a class="current reference internal" href="#">Rust Cross Reference with MISRA C 2025</a><ul>
7576
<li class="toctree-l4"><a class="reference internal" href="#table-1-guidelines-applicable-to-rust-in-general-safe-rust-no-unsafe-code-present">Table 1 – Guidelines applicable to Rust in general (safe Rust, no unsafe code present)</a></li>
7677
<li class="toctree-l4"><a class="reference internal" href="#table-2-guidelines-applicable-to-rust-in-the-presence-of-unsafe-code">Table 2 – Guidelines applicable to Rust in the presence of unsafe code</a></li>
@@ -1379,7 +1380,7 @@ <h3>Footnotes<a class="headerlink" href="#footnotes" title="Link to this heading
13791380
</div>
13801381
</div>
13811382
<footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
1382-
<a href="index.html" class="btn btn-neutral float-left" title="Standards Matrices" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
1383+
<a href="cert-c-2016-mapping.html" class="btn btn-neutral float-left" title="Rust Cross Reference with CERT-C 2016" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
13831384
<a href="../../retired-guidelines/index.html" class="btn btn-neutral float-right" title="Retired Guidelines" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
13841385
</div>
13851386

‎coding-guidelines/associated-items/gui_ot2Zt3dd6of1.html‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -125,7 +125,7 @@
125125

126126
<section id="recursive-function-are-not-allowed">
127127
<h1>Recursive function are not allowed<a class="headerlink" href="#recursive-function-are-not-allowed" title="Link to this heading"></a></h1>
128-
<div class="need_container docutils container" id="SNCB-64caa44c">
128+
<div class="need_container docutils container" id="SNCB-605491ab">
129129
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_guideline docutils align-default" id="gui_ot2Zt3dd6of1">
130130
<tbody>
131131
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -148,7 +148,7 @@ <h1>Recursive function are not allowed<a class="headerlink" href="#recursive-fun
148148
</td>
149149
</tr>
150150
<tr class="need content row-odd"><td class="need content" colspan="1"><p>Any function shall not call itself directly or indirectly</p>
151-
<div class="need_container docutils container" id="SNCB-ce183b37">
151+
<div class="need_container docutils container" id="SNCB-411e5ebb">
152152
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_rationale docutils align-default" id="rat_gvoKeVSKK8fD">
153153
<tbody>
154154
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -169,7 +169,7 @@ <h1>Recursive function are not allowed<a class="headerlink" href="#recursive-fun
169169
</tbody>
170170
</table>
171171
</div>
172-
<div class="need_container docutils container" id="SNCB-cab9bba7">
172+
<div class="need_container docutils container" id="SNCB-70fb9486">
173173
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_non_compliant_example docutils align-default" id="non_compl_ex_MxqhjfkStJJy">
174174
<tbody>
175175
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -214,7 +214,7 @@ <h1>Recursive function are not allowed<a class="headerlink" href="#recursive-fun
214214
</tbody>
215215
</table>
216216
</div>
217-
<div class="need_container docutils container" id="SNCB-1dd9a2f2">
217+
<div class="need_container docutils container" id="SNCB-c285af8d">
218218
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_compliant_example docutils align-default" id="compl_ex_9pK3h65rfceO">
219219
<tbody>
220220
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -274,7 +274,7 @@ <h1>Recursive function are not allowed<a class="headerlink" href="#recursive-fun
274274
</tbody>
275275
</table>
276276
</div>
277-
<div class="need_container docutils container" id="SNCB-5c48482b">
277+
<div class="need_container docutils container" id="SNCB-1d30a53e">
278278
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_bibliography docutils align-default" id="bib_ot2Zt3dd6of1">
279279
<tbody>
280280
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">

‎coding-guidelines/attributes/gui_ZDLZzjeOwLSU.html‎

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -125,7 +125,7 @@
125125

126126
<section id="assure-visibility-of-unsafe-keyword-in-unsafe-code">
127127
<h1>Assure visibility of <code class="docutils literal notranslate"><span class="pre">unsafe</span></code> keyword in unsafe code<a class="headerlink" href="#assure-visibility-of-unsafe-keyword-in-unsafe-code" title="Link to this heading"></a></h1>
128-
<div class="need_container docutils container" id="SNCB-4067c148">
128+
<div class="need_container docutils container" id="SNCB-6fb2c5ae">
129129
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_guideline docutils align-default" id="gui_ZDLZzjeOwLSU">
130130
<tbody>
131131
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -163,7 +163,7 @@ <h1>Assure visibility of <code class="docutils literal notranslate"><span class=
163163
<code class="docutils literal notranslate"><span class="pre">unsafe</span> <span class="pre">extern</span></code> requirement, as they must appear on <code class="docutils literal notranslate"><span class="pre">extern</span></code> blocks.
164164
See rust-lang/rust#82499 for the tracking issue on unsafe attributes.</p>
165165
</div>
166-
<div class="need_container docutils container" id="SNCB-459b6f31">
166+
<div class="need_container docutils container" id="SNCB-545f8592">
167167
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_rationale docutils align-default" id="rat_eQV3s9ggNegr">
168168
<tbody>
169169
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -222,7 +222,7 @@ <h1>Assure visibility of <code class="docutils literal notranslate"><span class=
222222
</tbody>
223223
</table>
224224
</div>
225-
<div class="need_container docutils container" id="SNCB-5d278ce8">
225+
<div class="need_container docutils container" id="SNCB-4f0460cc">
226226
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_non_compliant_example docutils align-default" id="non_compl_ex_FdmuPXGZr4EP">
227227
<tbody>
228228
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -262,7 +262,7 @@ <h1>Assure visibility of <code class="docutils literal notranslate"><span class=
262262
</tbody>
263263
</table>
264264
</div>
265-
<div class="need_container docutils container" id="SNCB-ba5a64f1">
265+
<div class="need_container docutils container" id="SNCB-a630c97b">
266266
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_compliant_example docutils align-default" id="compl_ex_wR1FEyLRKmrr">
267267
<tbody>
268268
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -297,7 +297,7 @@ <h1>Assure visibility of <code class="docutils literal notranslate"><span class=
297297
</tbody>
298298
</table>
299299
</div>
300-
<div class="need_container docutils container" id="SNCB-54244ddd">
300+
<div class="need_container docutils container" id="SNCB-d2fe231a">
301301
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_non_compliant_example docutils align-default" id="non_compl_ex_FdmuPXGZr4EO">
302302
<tbody>
303303
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -339,7 +339,7 @@ <h1>Assure visibility of <code class="docutils literal notranslate"><span class=
339339
</tbody>
340340
</table>
341341
</div>
342-
<div class="need_container docutils container" id="SNCB-58ee35a2">
342+
<div class="need_container docutils container" id="SNCB-8cc4d0ee">
343343
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_compliant_example docutils align-default" id="compl_ex_wR1FEyLRKmrq">
344344
<tbody>
345345
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -386,7 +386,7 @@ <h1>Assure visibility of <code class="docutils literal notranslate"><span class=
386386
</tbody>
387387
</table>
388388
</div>
389-
<div class="need_container docutils container" id="SNCB-96430594">
389+
<div class="need_container docutils container" id="SNCB-f973904b">
390390
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_non_compliant_example docutils align-default" id="non_compl_ex_Hk3mNp5qRs7t">
391391
<tbody>
392392
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -435,7 +435,7 @@ <h1>Assure visibility of <code class="docutils literal notranslate"><span class=
435435
</tbody>
436436
</table>
437437
</div>
438-
<div class="need_container docutils container" id="SNCB-aad52f8d">
438+
<div class="need_container docutils container" id="SNCB-bb006dc0">
439439
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_compliant_example docutils align-default" id="compl_ex_xY2zAb3cDe4f">
440440
<tbody>
441441
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -506,7 +506,7 @@ <h1>Assure visibility of <code class="docutils literal notranslate"><span class=
506506
* Document safety invariants for all unsafe code with <code class="docutils literal notranslate"><span class="pre">//</span> <span class="pre">SAFETY:</span></code> comments
507507
* Prefer safe abstractions over raw unsafe code
508508
* Use <code class="docutils literal notranslate"><span class="pre">#![forbid(unsafe_code)]</span></code> at crate level where possible, with explicit exceptions</p>
509-
<div class="need_container docutils container" id="SNCB-504a2af1">
509+
<div class="need_container docutils container" id="SNCB-566e4a4a">
510510
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_bibliography docutils align-default" id="bib_n8YJHvQf4mWx">
511511
<tbody>
512512
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">

‎coding-guidelines/expressions/gui_7y0GAMmtMhch.html‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -135,7 +135,7 @@
135135

136136
<section id="do-not-use-an-integer-type-as-a-divisor-during-integer-division">
137137
<h1>Do not use an integer type as a divisor during integer division<a class="headerlink" href="#do-not-use-an-integer-type-as-a-divisor-during-integer-division" title="Link to this heading"></a></h1>
138-
<div class="need_container docutils container" id="SNCB-e6c5a7c1">
138+
<div class="need_container docutils container" id="SNCB-de99265e">
139139
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_guideline docutils align-default" id="gui_7y0GAMmtMhch">
140140
<tbody>
141141
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -176,7 +176,7 @@ <h1>Do not use an integer type as a divisor during integer division<a class="hea
176176
<li><p><code class="docutils literal notranslate"><span class="pre">isize</span></code></p></li>
177177
</ul>
178178
</div></blockquote>
179-
<div class="need_container docutils container" id="SNCB-c324702f">
179+
<div class="need_container docutils container" id="SNCB-7ce8a14d">
180180
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_rationale docutils align-default" id="rat_vLFlPWSCHRje">
181181
<tbody>
182182
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -198,7 +198,7 @@ <h1>Do not use an integer type as a divisor during integer division<a class="hea
198198
</tbody>
199199
</table>
200200
</div>
201-
<div class="need_container docutils container" id="SNCB-d21f79f6">
201+
<div class="need_container docutils container" id="SNCB-3eed0550">
202202
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_non_compliant_example docutils align-default" id="non_compl_ex_0XeioBrgfh5z">
203203
<tbody>
204204
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -231,7 +231,7 @@ <h1>Do not use an integer type as a divisor during integer division<a class="hea
231231
</tbody>
232232
</table>
233233
</div>
234-
<div class="need_container docutils container" id="SNCB-cd0c45ab">
234+
<div class="need_container docutils container" id="SNCB-85c6133e">
235235
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_compliant_example docutils align-default" id="compl_ex_k1CD6xoZxhXb">
236236
<tbody>
237237
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -273,7 +273,7 @@ <h1>Do not use an integer type as a divisor during integer division<a class="hea
273273
</tbody>
274274
</table>
275275
</div>
276-
<div class="need_container docutils container" id="SNCB-869209f9">
276+
<div class="need_container docutils container" id="SNCB-e4974a0f">
277277
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_compliant_example docutils align-default" id="compl_ex_k1CD6xoZxhXc">
278278
<tbody>
279279
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -314,7 +314,7 @@ <h1>Do not use an integer type as a divisor during integer division<a class="hea
314314
</tbody>
315315
</table>
316316
</div>
317-
<div class="need_container docutils container" id="SNCB-dfbb7da4">
317+
<div class="need_container docutils container" id="SNCB-c0c15b3d">
318318
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_bibliography docutils align-default" id="bib_7y0GAMmtMhch">
319319
<tbody>
320320
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">

‎coding-guidelines/expressions/gui_ADHABsmK9FXz.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -135,7 +135,7 @@
135135

136136
<section id="the-as-operator-should-not-be-used-with-numeric-operands">
137137
<h1>The ‘as’ operator should not be used with numeric operands<a class="headerlink" href="#the-as-operator-should-not-be-used-with-numeric-operands" title="Link to this heading"></a></h1>
138-
<div class="need_container docutils container" id="SNCB-4b6116ab">
138+
<div class="need_container docutils container" id="SNCB-84740307">
139139
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_guideline docutils align-default" id="gui_ADHABsmK9FXz">
140140
<tbody>
141141
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -166,7 +166,7 @@ <h1>The ‘as’ operator should not be used with numeric operands<a class="head
166166
<p>as either the right operand or the type of the left operand.</p>
167167
<p><strong>Exception:</strong> <code class="docutils literal notranslate"><span class="pre">as</span></code> may be used with <code class="docutils literal notranslate"><span class="pre">usize</span></code> as the right operand and an expression of raw pointer
168168
type as the left operand.</p>
169-
<div class="need_container docutils container" id="SNCB-fd0cad05">
169+
<div class="need_container docutils container" id="SNCB-3439e8e3">
170170
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_rationale docutils align-default" id="rat_v56bjjcveLxQ">
171171
<tbody>
172172
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -201,7 +201,7 @@ <h1>The ‘as’ operator should not be used with numeric operands<a class="head
201201
</tbody>
202202
</table>
203203
</div>
204-
<div class="need_container docutils container" id="SNCB-da5085a7">
204+
<div class="need_container docutils container" id="SNCB-7196ff2c">
205205
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_non_compliant_example docutils align-default" id="non_compl_ex_hzGUYoMnK59w">
206206
<tbody>
207207
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -252,7 +252,7 @@ <h1>The ‘as’ operator should not be used with numeric operands<a class="head
252252
</tbody>
253253
</table>
254254
</div>
255-
<div class="need_container docutils container" id="SNCB-8d4e7c4d">
255+
<div class="need_container docutils container" id="SNCB-416c7c6c">
256256
<table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_compliant_example docutils align-default" id="compl_ex_uilHTIOgxD37">
257257
<tbody>
258258
<tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">

0 commit comments

Comments
 (0)