Get the latest tech news
LLVM Merges TySan As Sanitizer For Type-Based Aliasing Violations
The LLVM compiler stack offers a number of sanitizers like the AddressSanitizer, MemorySanitizer, UndefinedBehaviorSanitizer, and others for detecting different coding issues like data races, memory addressing issues, use of uninitialized memory, and more
"C/C++ have type-based aliasing rules, and LLVM's optimizer can exploit these given TBAA metadata added by Clang. The merge request dates back almost one year exactly and contains more background and discussion on this new LLVM Type Sanitizer for those interested. The idea for the Type Sanitizer isn't new but was started back in 2017 by Hal Finkel at Argonne National Laboratory.
Or read this on Phoronix
