diff options
author | Oliver Smith-Denny <osde@microsoft.com> | 2024-09-26 14:13:42 -0700 |
---|---|---|
committer | mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | 2024-10-08 00:31:58 +0000 |
commit | d99045f39220e2ad075ae5b93b53bbabd5923cb4 (patch) | |
tree | 6ea4f2e34077da11b8a69a13aa25fd853eda4d94 /FatPkg | |
parent | 77c070b1a7b69ad29b628e90a430ad55a26fc30a (diff) | |
download | edk2-d99045f39220e2ad075ae5b93b53bbabd5923cb4.tar.gz edk2-d99045f39220e2ad075ae5b93b53bbabd5923cb4.tar.bz2 edk2-d99045f39220e2ad075ae5b93b53bbabd5923cb4.zip |
MdePkg: DebugLib: Check Signature in CR in Release Builds
The CR macro is used to access an enclosing structure from a
pointer within the structure. In DEBUG builds (i.e. when
MDEPKG_NDEBUG is not set and debug asserts are enabled), this
macro does signature validation checking to ensure that the
structure that has been found is the correct structure, based
on a signature passed in by the caller.
However, if MDEPKG_NDEBUG is set or debug asserts are disabled,
no signature validation is performed, meaning that CR may return
an invalid structure that the caller believes is valid and has had
signature validation on, causing undefined behavior (memory
corruption). We should where at all possible have defined behavior,
particularly in RELEASE builds, which are what typical platforms
will ship to consumers.
This patch updates CR to do the signature validation in all scenarios
to provide defined behavior from the macro. In the event of a
signature failure, CR will either 1) assert if !MDEPKG_NDEBUG and
debug asserts are enabled (existing behavior) or 2) return NULL to
indicate to the caller that signature validation failed.
There exist consumers today who already, erroneously, rely on this
behavior.
Another macro, BASE_CR, exists for callers who do not wish to perform
signature validation. Any code that wishes to avoid the signature
validation should move to this macro.
Signed-off-by: Oliver Smith-Denny <osde@linux.microsoft.com>
Diffstat (limited to 'FatPkg')
0 files changed, 0 insertions, 0 deletions