parse pan verification reports
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
LICENSE.txt
README.txt
makefile
parsepan
parsepan.1
parsepan.html
parsepan.pdf
summary.pp

README.txt

parsepan 0.9
19 April 2014

parsepan is a Python script to parse the results of SPIN's pan verifier,
and to selectively retrieve information from verification reports.

See parsepan.html for detailed documentation.
See also SPIN: http://spinroot.com/

files:
    parsepan        the Python script
    parsepan.1      manual page for parsepan
    parsepan.pdf    generated PDF file from parsepan.1
    parsepan.html   generated HTML file from parsepan.1
    makefile        makefile to build documentation
    summary.pp      sample keyfile (corresponds to --summary)
    LICENSE.txt     Apache 2.0 license
    README.txt      this file