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

Data flow: Update QL doc

Browse Source
This commit is contained in:
Tom Hvitved
2023-08-21 12:56:37 +02:00
parent 81ed72c96a
commit 1b4520b058
2 changed files with 10 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -2057,7 +2057,7 @@ module MakeImpl<InputSig Lang> {
}
DataFlowCallable viableImplCallContextReducedReverse(DataFlowCall call, CcNoCall ctx) {
result = prunedViableImplInCallContextReverse(call, ctx)
call = prunedViableImplInCallContextReverse(result, ctx)
}
predicate viableImplNotCallContextReducedReverse(CcNoCall ctx) {

17
shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll
View File

@@ -774,17 +774,18 @@ module MakeImplCommon<InputSig Lang> {
}
/**
* Gets a viable run-time dispatch target for the call `call` in the
* context `ctx`. This is restricted to those calls and results for which
* the return flow from the result to `call` restricts the possible context
* `ctx`.
* Gets a viable call site for the return from `callable` in call context
* `ctx`. This is restricted to those callables and contexts for which
* the possible call sites are restricted.
*/
cached
DataFlowCallable prunedViableImplInCallContextReverse(DataFlowCall call, CallContextReturn ctx) {
DataFlowCall prunedViableImplInCallContextReverse(
DataFlowCallable callable, CallContextReturn ctx
) {
exists(DataFlowCallable c0, DataFlowCall call0 |
callEnclosingCallable(call0, result) and
callEnclosingCallable(call0, callable) and
ctx = TReturn(c0, call0) and
c0 = viableImplInCallContextExt(call0, call) and
c0 = viableImplInCallContextExt(call0, result) and
reducedViableImplInReturn(c0, call0)
)
}
@@ -1305,7 +1306,7 @@ module MakeImplCommon<InputSig Lang> {
predicate resolveReturn(CallContext cc, DataFlowCallable callable, DataFlowCall call) {
cc instanceof CallContextAny and callable = viableCallableExt(call)
or
callable = prunedViableImplInCallContextReverse(call, cc)
call = prunedViableImplInCallContextReverse(callable, cc)
}
/**