[codeql-go] A tool to model them all. #285
Unanswered
gagliardetto
asked this question in
Show and tell
Replies: 1 comment
-
This allows to write the generation logic for a model kind once, and then use the UI to mass-model many (if not all) Go packages that are applicable to that model. Mass-modelling for "eradicating bugs forever". |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
https://github.com/gagliardetto/codemill is a tool that helps in the creation of repetitive model kinds (TaintTracking, UntrustedFlowSource, HTTP, and possibly more) in a web UI.
Here are some images of the usage:
Beta Was this translation helpful? Give feedback.
All reactions