hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 11:45:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: General comment on dataflow

Browse Source 
between SSA variables and control flow nodes
This commit is contained in:
Rasmus Lerchedahl Petersen
2020-06-18 07:52:29 +02:00
parent d283919b92
commit 1562f5c69a
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
python/ql/src/experimental/dataflow/internal/DataFlowPublic.qll
View File

@@ -9,8 +9,12 @@ private import DataFlowPrivate
* IPA type for data flow nodes.
*
* Flow between SSA variables are computed in `Essa.qll`
* Flow from SSA variables to control flow nodes is as in
* `EssaTaintTracking`.
*
* Flow from SSA variables to control flow nodes are generally via uses.
*
* Flow from control flow nodes to SSA variables are generally via assignments.
*
* The current implementation of these cross flows can be seen in `EssaTaintTracking`.
*/
newtype TNode =
/** A node corresponding to an SSA variable. */