[DeviceASAN] Enhance out-of-bound by checking shadow bounds on global memory

[AllanZyne]

Record the boundary of mapped shadow memory (VA), so that we can check if the accessed unknown address address is an out-of-bound access.

Usage:

clang++ -fsycl -Xarch_device -fsanitize=address -Xarch_device -mllvm=-asan-spir-shadow-bounds=1 demo.cpp

Misc.

• Runtime option detect_locals and detect_privates has been deprecated. Just using compiler flag to disable these checkings is enough

[Copilot]

Pull Request Overview

Enhances the Device AddressSanitizer (DeviceASAN) to detect arbitrary out-of-bounds memory access on global memory by adding shadow memory boundary checks.

• Adds GLOBAL and GENERIC memory types to MemoryType enum for better memory classification
• Implements shadow memory lower/upper bounds tracking to catch out-of-bounds accesses
• Reorders shadow memory update to occur before kernel launch preparation

Reviewed Changes

Copilot reviewed 7 out of 7 changed files in this pull request and generated 1 comment.

Show a summary per file

File	Description
sanitizer_libdevice.hpp	Refactors MemoryType enum to use bitfield values and adds GLOBAL/GENERIC memory types
asan_shadow.hpp	Adds ShadowLowerBound and ShadowUpperBound tracking fields
asan_shadow.cpp	Updates shadow bounds when mapping virtual memory pages
asan_libdevice.hpp	Adds GlobalShadowLowerBound and GlobalShadowUpperBound to AsanRuntimeData
asan_interceptor.cpp	Reorders shadow memory update and adds bounds to launch data logging
arbitary_access.cpp	Adds test case for arbitrary out-of-bounds access detection
asan_rtl.cpp	Implements shadow boundary checks in MemToShadow functions

[AllanZyne]

lit test is also passed.

llvm-lit --param sycl_devices=level_zero:gpu--param cxx_flags="-Xarch_device -mllvm=-asan-spir-shadow-bounds=1" -sv .
Total Discovered Tests: 58
  Unsupported      :  5 (8.62%)
  Passed           : 52 (89.66%)
  Expectedly Failed:  1 (1.72%)

llvm-lit --param sycl_devices=opencl:cpu --param cxx_flags="-Xarch_device -mllvm=-asan-spir-shadow-bounds=1" -sv . 
Total Discovered Tests: 58
  Unsupported      :  5 (8.62%)
  Passed           : 52 (89.66%)
  Expectedly Failed:  1 (1.72%)

[AllanZyne]

@intel/dpcpp-sanitizers-review @intel/unified-runtime-reviewers please review, thanks!

[Copilot]

Pull Request Overview

Copilot reviewed 13 out of 13 changed files in this pull request and generated 5 comments.

Comments suppressed due to low confidence (1)

unified-runtime/source/loader/layers/sanitizer/asan/asan_interceptor.cpp:188

• Semicolon should be removed after the closing brace. This appears to be a stray semicolon that makes the code syntactically incorrect.

    }