1. {n. d.}. C++ Core Guidelines a set of tried-and-true guidelines rules and best practices about coding in C++. https://github.com/isocpp/CppCoreGuidelines (last accessed: 28-02-2019). {n. d.}. C++ Core Guidelines a set of tried-and-true guidelines rules and best practices about coding in C++. https://github.com/isocpp/CppCoreGuidelines (last accessed: 28-02-2019).
2. {n. d.}. Clang Static Analyzer a source code analysis tool that finds bugs in C C++ and Objective-C programs. https://clang-analyzer.llvm.org/ (last accessed: 28-02-2019). {n. d.}. Clang Static Analyzer a source code analysis tool that finds bugs in C C++ and Objective-C programs. https://clang-analyzer.llvm.org/ (last accessed: 28-02-2019).
3. {n. d.}. Clang-Tidy a Clang-based C++ "linter" tool. https://clang.llvm.org/extra/clang-tidy (last accessed: 28-02-2019). {n. d.}. Clang-Tidy a Clang-based C++ "linter" tool. https://clang.llvm.org/extra/clang-tidy (last accessed: 28-02-2019).
4. {n. d.}. A GitHub mirror of the official Clang repository. https://github.com/llvm-mirror/clang (last accessed: 28-02-2019). {n. d.}. A GitHub mirror of the official Clang repository. https://github.com/llvm-mirror/clang (last accessed: 28-02-2019).
5. Aliasing in Object-Oriented Programming. Types, Analysis and Verification