hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 17:25:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Dataflow: Tweak qldoc.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2024-08-26 15:12:37 +02:00
parent cbb58d0041
commit d8c8bcd386
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
View File

@@ -1466,8 +1466,8 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
* Holds if `node` is reachable with access path `ap` from a source.
*
* The call context `cc` records whether the node is reached through an
* argument in a call, and if so, `summaryCtx` and `argAp` record the
* corresponding parameter position and access path of that argument, respectively.
* argument in a call, and if so, `summaryCtx` records the
* corresponding parameter position and access path of that argument.
*/
pragma[nomagic]
additional predicate fwdFlow(