htmldoc: HTML processor that generates indexed HTML, PS, and PDF HTMLDOC could be made to denial of service if it received a specially crafted HTML file.