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

Dataflow: Rename prunedViableImplInCallContext to viableImplCallContextReduced

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2024-05-01 15:31:33 +02:00
parent ace369faa8
commit aa87243e3a
2 changed files with 4 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -2553,8 +2553,6 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
}
private signature module Level1CallContextInputSig {
DataFlowCallable prunedViableImplInCallContext(DataFlowCall call, CallContextSpecificCall ctx);
bindingset[call, ctx]
predicate noPrunedViableImplInCallContext(DataFlowCall call, CallContext ctx);
@@ -2579,10 +2577,6 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
CcCall ccSomeCall() { result instanceof CallContextSomeCall }
DataFlowCallable viableImplCallContextReduced(DataFlowCall call, CcCall ctx) {
result = Input::prunedViableImplInCallContext(call, ctx)
}
bindingset[call, ctx]
predicate viableImplNotCallContextReduced(DataFlowCall call, Cc ctx) {
Input::noPrunedViableImplInCallContext(call, ctx)

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

@@ -543,7 +543,7 @@ module MakeImplCommon<LocationSig Location, InputSig<Location> Lang> {
* makes a difference.
*/
pragma[nomagic]
DataFlowCallable prunedViableImplInCallContext(DataFlowCall call, CallContextSpecificCall ctx) {
DataFlowCallable viableImplCallContextReduced(DataFlowCall call, CallContextCall ctx) {
exists(DataFlowCall outer | ctx = TSpecificCall(outer) |
result = viableImplInCallContextExtIn(call, outer) and
Input2::reducedViableImplInCallContext(call, _, outer)
@@ -570,7 +570,7 @@ module MakeImplCommon<LocationSig Location, InputSig<Location> Lang> {
*/
bindingset[call, cc]
DataFlowCallable resolveCall(DataFlowCall call, CallContext cc) {
result = prunedViableImplInCallContext(call, cc)
result = viableImplCallContextReduced(call, cc)
or
noPrunedViableImplInCallContext(call, cc) and
relevantCallEdgeIn(call, result)
@@ -883,8 +883,8 @@ module MakeImplCommon<LocationSig Location, InputSig<Location> Lang> {
import Impl2
cached
DataFlowCallable prunedViableImplInCallContext(DataFlowCall call, CallContextSpecificCall ctx) {
result = Impl2::prunedViableImplInCallContext(call, ctx)
DataFlowCallable viableImplCallContextReduced(DataFlowCall call, CallContextCall ctx) {
result = Impl2::viableImplCallContextReduced(call, ctx)
}
cached