SoK - Sanitizing for Security

Explore a comprehensive overview of sanitizers and their crucial role in identifying security vulnerabilities in C and C++ programming languages. Learn about the taxonomy of available tools, their coverage of various security issues, and their performance and compatibility characteristics. Gain insights into the multi-pronged approach developers use to find security problems, including manual, static, and dynamic program analysis. Understand how sanitizers, as dynamic bug-finding tools, observe actual program execution to detect incorrect behavior. Discover the trade-offs involved in using different sanitizers and their importance in securing notoriously insecure yet indispensable programming languages.