![](https://squidex.jugru.team/api/assets/srm/10788856-e537-4542-94d6-106441e19cff/dsc00623-1.jpg?cache=3600&width=74&height=74&mode=CropUpsize)
Talk type: Talk
Type Sanitizer: a way to detect violations of strict aliasing rules in C++
This talk describes a dynamic analysis tool that allows detecting strict aliasing rules violation in C++ programs. This topic covers implementation details of this tool that is implemented as a part of LLVM infrastructure. The talk requires basic knowledge of LLVM middle-end part and common ideas of sanitizers (e.g. AddressSanitizer) implementation