Start of main content

Type Sanitizer: a way to detect violations of strict aliasing rules in C++

Room 3
Language -RU

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

  • #llvm
  • #компиляторы
  • #динамический_анализ