#
# Print the CFG from the query in ./PrintCFG.ql
# 

#* Add codeql binary PATH
export PATH=$HOME/local/codeql-2.7.6/codeql:"$PATH"

#* Graph in dgml format 
cd ~/local/codeql-sample-polkit/
codeql database analyze                                 \
       ./db/polkit-0.119.db                             \
       ./PrintCFG.ql                                    \
       --rerun                                          \
       -j8 -v --ram=16000                               \
       --search-path $HOME/local/codeql-2.7.6/ql        \
       --format=dgml                                    \
       --output=PrintCFG.dgml

PRE=PrintCFG.dgml/cpp/example/polkit/cfg

# Clean up the dgml (xml) output
tidy -xml $PRE.dgml | sponge $PRE.dgml

# Convert dgml to dot
./dgml2dot < $PRE.dgml > $PRE.dot

# Produce the layed-out DAG
# Render -- slow steps:
dot -Tsvg < $PRE.dot > $PRE.svg &
dot -Tpdf < $PRE.dot > $PRE.pdf &

# View
open -a safari $PRE.svg
open $PRE.pdf

# Faster than dot, as sanity check:
sfdp -Tpdf < $PRE.dot > $PRE.sfdp.pdf
open $PRE.sfdp.pdf

#* Full dot graph from codeql
# 
# The dot output from this was broken on [Mar- 3-2022]; use the above.
# 

# cd ~/local/codeql-sample-polkit/
# codeql database analyze                                 \
#        ./db/polkit-0.119.db                             \
#        ./PrintCFG.ql                                    \
#        -j8 -v --ram=16000                               \
#        --search-path $HOME/local/codeql-2.7.6/ql        \
#        --format=dot                                     \
#        --output=PrintCFG.dot

# # Query-produced .bqrs file
# ls db/polkit-0.119.db/results/cpp-polkit-argv/PrintCFG.bqrs 

# # Query-produced .dot file
# ls PrintCFG.dot/cpp/example/polkit/cfg.dot 

# # Generate SVG
# cd ~/local/codeql-sample-polkit/PrintIR-pkexec.dot/cpp/example/
# dot -Tsvg ./polkit-ir.dot > polkit-ir.svg