cbmc-viewer icon indicating copy to clipboard operation
cbmc-viewer copied to clipboard

Uniformly escape text used in html markup

Open markrtuttle opened this issue 4 years ago • 0 comments

The functions link_text_to_file and link_text_to_line should take an option "escape=True" argument and invoke html.escape on the text strings when escape is true.

The invocation of html.escape in format_srcloc should be removed.

markrtuttle avatar Jun 22 '21 14:06 markrtuttle