Talk type: Talk

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

  • Talk in Russian

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
  • #динамический_анализ
  • #компиляторы