Dynamic Tracematches and Unread Memory Detection for C/C++