-
Notifications
You must be signed in to change notification settings - Fork 122
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
Added more documentation to checks #26
Conversation
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.
Looks good, some minor issues. Once fixed, I'll merge!
@@ -28,5 +28,9 @@ uninstall: | |||
cd plugins/cwe_checker_type_inference; make uninstall; cd ../.. | |||
cd plugins/cwe_checker_type_inference_print; make uninstall; cd ../.. | |||
|
|||
documentation: |
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.
make doc ?
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.
make doc doesn't work. Or at least I haven't found a way to escape the @doc
in the build command in a way such that it doesn't collide with make doc.
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.
ok, then leave it as it is
|
||
Just run `make all` to compile and register the plugin with BAP. You can run the test suite via `make test`. | ||
Just run `make all` to compile and register the plugin with BAP. You can run the test suite via `make test`. Documentation can be built via `make documentation`. |
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.
make doc?
Looks fine, merging 👍 |
I haven't figured out how to escape the
@
character indune build @doc
for inclusion into to the makefile. I also need to figure out how to change the build directory for the documentation without causing dune to segfault. But the generated documentation already looks quite nice!