A CBMC viewer
Project description
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.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Hashes for cbmc_viewer-2.9-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1eaa9a6c1cd9f3a73d112bdeaa39bd216ed86b1aed706b85b54a3a5fa7dd2031 |
|
MD5 | 8c73ba6f5ac3a0bcc154b58cb0255ec5 |
|
BLAKE2b-256 | fa18422c72eb0ed970343124fb46873981d40a63cb6935b974301bd97b84509b |