File tree Expand file tree Collapse file tree 1 file changed +2
-0
lines changed Expand file tree Collapse file tree 1 file changed +2
-0
lines changed Original file line number Diff line number Diff line change @@ -1155,6 +1155,7 @@ example, an attacker might create code that passes arguments out of their
11551155declared type's range in an attempt to cause out-of-bounds memory accesses.
11561156
11571157<span id="requirement-47" class="requirement-box"></span>
1158+
11581159> A compiler generating code for an entry function must, for each parameter
11591160> that is an integral Fundamental Data Type smaller than a word, make no
11601161> assumptions about the value of the padding bits, even when the value of
@@ -1395,6 +1396,7 @@ create code that returns values out of their declared type's range in an
13951396attempt to cause out-of-bounds memory accesses.
13961397
13971398<span id =" requirement-58 " class =" requirement-box " ></span >
1399+
13981400> A compiler generating code for a Non-secure function call must, for each
13991401> returned value that is an integral Fundamental Data Type smaller than a word,
14001402> make no assumptions about the value of the padding bits, even when the value
You can’t perform that action at this time.
0 commit comments