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

Extend CBMC Viewer to work with RBMC #33

Closed markrtuttle closed 3 years ago

markrtuttle commented 3 years ago

The current implementation of the RMC model checker for Rust provides some incomplete information that viewer depends on . This pull request makes a few changes to handle the missing information, mostly by providing placeholders for the data until it is produced.

This pull request also makes one change to reachable.py to handle a change in the json output of goto-analyzer. It changes a key name from 'file name' to 'file' in the line 

    file_name = function.get('file')
markrtuttle commented 3 years ago

This pull request replaces #31.