docs: add note about path queries

This commit is contained in:
james
2020-04-23 20:30:28 +01:00
parent 9c12fa32e1
commit 5e87bc998e
5 changed files with 17 additions and 0 deletions

View File

@@ -188,6 +188,10 @@ Global data flow tracks data flow throughout the entire program, and is therefor
than local data flow. That is, the analysis may report spurious flows that cannot in fact happen. Moreover, global data flow analysis typically requires significantly
more time and memory than local analysis.
.. pull-quote:: Note
.. include:: ../../reusables/path-problem.rst
Using global data flow
~~~~~~~~~~~~~~~~~~~~~~