hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Update docs/codeql/codeql-language-guides/using-flow-labels-for-precise-data-flow-analysis.rst

Browse Source 
Co-authored-by: Erik Krogh Kristensen <erik-krogh@github.com>
This commit is contained in:
Asger F
2024-12-03 11:49:34 +01:00
committed by GitHub
parent 5e27257405
commit 89849fae87
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/codeql/codeql-language-guides/using-flow-labels-for-precise-data-flow-analysis.rst
View File

@@ -250,7 +250,7 @@ Similarly, we update ``isSink`` and require the base of the property read to hav
)
}
Our definition of ``isAdditionalFlowStep`` now needs to specify two flow state, a
Our definition of ``isAdditionalFlowStep`` now needs to specify two flow states, a
predecessor state ``predState`` and a successor state ``succState``. In addition to specifying flow from
the predecessor node ``pred`` to the successor node ``succ``, it requires that ``pred`` has state
``state1``, and adds state ``succState`` to ``succ``. In our case, we use this to add both the