search

model-checking / cbmc-viewer

CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
https://model-checking.github.io/cbmc-viewer/
Apache License 2.0
32 stars 11 forks source link

Escape function name to allow < and > #41

Closed vecchiot-aws closed 3 years ago

vecchiot-aws commented 3 years ago

Issue #, if available:

Description of changes:

Currently when CBMC-viewer encounters a name like <Sheep as Animal>::noise (a Rust name), the angled brackets are treated as HTML tags, causing the name to be displayed incorrectly in viewer traces. This patch escapes HTML characters in the function names to avoid this issue in the future.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

vecchiot-aws commented 3 years ago

Current status: In coverage reports, < and > are displayed as &lt; and &gt;. Need to find where else this could be happening and fix.

vecchiot-aws commented 3 years ago

Fixed issue with coverage reports; have not found issue present anywhere else.

vecchiot-aws commented 3 years ago

Removed dependency on source-language-flag PR.