File tree Expand file tree Collapse file tree
java/ql/src/utils/model-generator Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1111
1212def printHelp ():
1313 print ("""Usage:
14- GenerateFlowModel.py <library-database> <simpleName > [--with-sinks] [--with-sources] [--with-summaries]
14+ GenerateFlowModel.py <library-database> <outputQll > [--with-sinks] [--with-sources] [--with-summaries]
1515
1616This generates summary, source and sink models for the code in the database.
17- The files will be placed in `java/ql/lib/semmle/code/java/frameworks/generated/<simpleName>/`
17+ The files will be placed in `java/ql/lib/semmle/code/java/frameworks/<outputQll>` where
18+ outputQll is the name (and path) of the output QLL file. Usually, models are grouped by their
19+ respective frameworks.
1820
19- A simple name is used for the generated target files (e.g. `simpleName.qll`).
2021Which models are generated is controlled by the flags:
2122 --with-sinks
2223 --with-sources
2324 --with-summaries
2425If none of these flags are specified, all models are generated.
2526
27+ Example invocations:
28+ $ GenerateFlowModel.py /tmp/dbs/apache_commons-codec_45649c8 "apache/Codec.qll"
29+ $ GenerateFlowModel.py /tmp/dbs/jdk15_db "javase/jdk_sinks.qll" --with-sinks
30+
2631Requirements: `codeql` should both appear on your path.
2732""" )
2833
You can’t perform that action at this time.
0 commit comments