htmldoc: HTML processor that generates indexed HTML, PS, and PDF HTMLDOC could be made to crash or run programs if it received specially crafted HTML files.