Periodic Reporting for period 2 - CodeSan (Code Sanitization for Vulnerability Pruning and Exploitation Mitigation)

Despite enormous efforts to secure software, several hundred security bugs are reported publicly each month. Systems software is prone to low-level bugs caused by undefined behavior (e.g., memory corruption, type confusion, or API confusion). While bugs are annoying to users...