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

Merge pull request #14026 from hvitved/dataflow/stage3-call-ctx

Browse Source 
Data flow: Use call contexts in stage 3
This commit is contained in:
Tom Hvitved
2023-08-24 11:52:08 +02:00
committed by GitHub
parent 8c32919381 3810b796a0
commit 7723dbc6d7
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -2375,7 +2375,8 @@ module MakeImpl<InputSig Lang> {
ApOption apSome(Ap ap) { result = TApproxAccessPathFrontSome(ap) }
import BooleanCallContext
import Level1CallContext
import NoLocalCallContext
predicate localStep(
NodeEx node1, FlowState state1, NodeEx node2, FlowState state2, boolean preservesValue,