diff options
| author | Wladimir J. van der Laan <laanwj@protonmail.com> | 2020-07-22 16:00:07 +0200 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2020-07-28 12:57:35 +0800 |
| commit | 65d0f1a53354fb25c8152ee5b430cf57e6508594 (patch) | |
| tree | 29c37f2d26cbfa6855b64379fe604713d045ddcb /src/optional.h | |
| parent | 2e9e6377f10ab1ca5021f6ec964d22161469ba60 (diff) | |
devtools: Add security check for separate_code
Check that sections are appropriately separated in virtual memory,
based on their (expected) permissions. This checks for missing
-Wl,-z,separate-code and potentially other problems.
Co-authored-by: fanquake <fanquake@gmail.com>
Diffstat (limited to 'src/optional.h')
0 files changed, 0 insertions, 0 deletions