Skip to content

Scans the output of CBMC and produces a browsable summary of the results.

License

Notifications You must be signed in to change notification settings

vecchiot-aws/aws-viewer-for-cbmc

 
 

Repository files navigation

AWS viewer for CBMC

The AWS viewer for CBMC (aka cbmc-viewer) scans the output of CBMC and produces a browsable summary of the results in the form of a collection of html pages.

For more information, see cbmc-viewer

and the supporting tools (command-line front-ends for python modules used to implement cbmc-viewer):

For all commands, the --help option prints detailed documentation of the command line arguments.

Installation

  • Install python3:
    • On MacOS: brew install python3
    • On Ubuntu: sudo apt-get install python3
    • On Windows: download an installer from www.python.org/downloads
  • Install Exuberant Ctags:
    • On MacOS: brew install ctags
    • On Ubuntu: sudo apt-get install ctags
    • On Windows: download a zip file from ctags.sourceforge.net
  • Install cbmc-viewer as an ordinary Python pip package:
    • sudo make install

Developers of cbmc-viewer: This package can be installed in "development mode." In development mode, the scripts deployed by this package are available via PATH, but the modules themselves can be edited directly in-place in this repository. Install with

  • sudo make develop
  • export PATH=$(pwd):$PATH

and uninstall with

  • sudo make undevelop

Security

See CONTRIBUTING for more information.

License

This project is licensed under the Apache-2.0 License.

About

Scans the output of CBMC and produces a browsable summary of the results.

Resources

License

Code of conduct

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Python 93.7%
  • HTML 3.8%
  • JavaScript 1.1%
  • Other 1.4%