Systematic Identification of HTTP TRACE

Automated identification of XST and method-level leaks