diff options
| author | Anatoly Trosinenko <atrosinenko@accesssoftek.com> | 2025-03-25 21:45:02 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-03-25 21:45:02 +0300 |
| commit | b6b40e9ac980518d7270b4ac880496b91efc8ca5 (patch) | |
| tree | 3f864cd567336841158f600db4f76b0536ea6ce9 /clang/unittests/Basic/SourceManagerTest.cpp | |
| parent | f7f5aa217a81f2ec036fee765124bd2057531d86 (diff) | |
| download | llvm-b6b40e9ac980518d7270b4ac880496b91efc8ca5.zip llvm-b6b40e9ac980518d7270b4ac880496b91efc8ca5.tar.gz llvm-b6b40e9ac980518d7270b4ac880496b91efc8ca5.tar.bz2 | |
[BOLT] Gadget scanner: reformulate the state for data-flow analysis (#131898)
In preparation for implementing support for detection of non-protected
call instructions, refine the definition of state which is computed for
each register by data-flow analysis.
Explicitly marking the registers which are known to be trusted at
function entry is crucial for finding non-protected calls. In addition,
it fixes less-common false negatives for pac-ret, such as `ret x1` in
`f_nonx30_ret_non_auted` test case.
Diffstat (limited to 'clang/unittests/Basic/SourceManagerTest.cpp')
0 files changed, 0 insertions, 0 deletions