Back in Black Towards Formal, Black Box Analysis of Sanitizers and Filters