cprover
xmllang

Folder xmllang

Author
Martin Brain

CPROVER has optional XML output for results and there is an XML format for goto-programs. It is used to interface to various IDEs. The xmllang/ directory contains the parser and helper functions for handling this format.

Based on grammar/tokenizer from http://www.w3.org/XML/9707/xml-in-c.tar.gz also see http://www.w3.org/XML/9707/XML-in-C.