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

Source language flag #42

Closed vecchiot-aws closed 3 years ago

vecchiot-aws commented 3 years ago

Issue #, if available:

Description of changes:

This PR introduces the ability to specify a source file language in order to have language-specific functionality. The language is set with a flag, and defaults to C to allow currently existing uses of cbmc-viewer to continue functioning the same as before.

This PR additionally introduces language-specific regex patterns for pretty names in order to fix some issues with trace visualizations in Rust.

The two changes are coupled together in a single PR in order to discuss the design of the new Language class.

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

markrtuttle commented 3 years ago

Please consider a simpler solution https://github.com/awslabs/aws-viewer-for-cbmc/pull/48 and try it out on Rust.

markrtuttle commented 3 years ago

Closing in favor of https://github.com/awslabs/aws-viewer-for-cbmc/pull/48