Section 2.7.1 "Sanitizers": Also describe other mechanisms to detect memory errors

Such as software-based ones (static analysis, library and buffer hardening) and hardware-based ones, e.g. PAuth-based pointer integrity schemes, MTE etc.

See TODO in text.