-
Notifications
You must be signed in to change notification settings - Fork 468
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add doc, fix output bugs #1769
Add doc, fix output bugs #1769
Conversation
@@ -9,6 +9,7 @@ Manticore is a symbolic execution tool for analysis of binaries and smart contra | |||
:maxdepth: 2 | |||
:caption: Contents: | |||
|
|||
verifier |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This may need to be CLI-tools
And then inside that we should have manpage-like documentation on how to use the commandline tools for each tool. (So far we have plain manticore and manticore-verifier )
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for the PR! I suggested a few spelling fixes, but overall the docs looks like a pretty comprehensive introduction to the verifier. If we intend for this to be used externally, I think it'd also be worth adding a section to the README with a sentence or two about manticore-verifier
and a link to the documentation on RTD.
Co-authored-by: Eric Hennenfent <eric.hennenfent@trailofbits.com>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM! Thanks for adding the README link.
* master: Create a model for strncpy (#1770) Add doc, fix output bugs (#1769) Update EVM usage example (#1772) New working model of strlen (#1725) Typo (#1768) Specialized iterative serialization for Array (#1756) Enable nightly uploads to PyPI (#1757) Manticore 0.3.4 (#1720) Manticore verifier (#1717) Nightly MacOS Tests (#1614) Remove/procrastinate solver query in ether leak detector (#1727) Fix constant folding & constraint set slicing (#1706)
Readme updated to link to manticore-verifier documentation
Typos and output cleanups