Improve CVE-2014-6271 coverage