A tool to convert scan-build html files and jslint messages to PMD file format.