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

Dataflow: Simplify.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2024-05-02 10:24:23 +02:00
parent 5ac96d009a
commit f6eb82ee15
1 changed files with 7 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -2552,11 +2552,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
CcNoCall getCallContextReturn(DataFlowCallable c, DataFlowCall call) { any() }
}
private signature module Level1CallContextInputSig {
predicate reducedViableImplInReturn(DataFlowCallable c, DataFlowCall call);
}
private module Level1CallContext<Level1CallContextInputSig Input> {
private module Level1CallContext {
class Cc = CallContext;
class CcCall = CallContextCall;
@@ -2608,12 +2604,12 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
ApOption apSome(Ap ap) { result = TBooleanSome(ap) }
private module Level1CallContextInput implements Level1CallContextInputSig {
private module Level1CallContextInput {
import CachedCallContextSensitivity
}
import Level1CallContextInput
import Level1CallContext<Level1CallContextInput>
import Level1CallContext
import NoLocalCallContext
bindingset[node1, state1]
@@ -2887,7 +2883,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
ApOption apSome(Ap ap) { result = TApproxAccessPathFrontSome(ap) }
additional module Level1CallContextInput implements Level1CallContextInputSig {
additional module Level1CallContextInput {
private module CallContextSensitivityInput implements CallContextSensitivityInputSig {
predicate relevantCallEdgeIn = PrevStage::relevantCallEdgeIn/2;
@@ -2904,7 +2900,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
}
import Level1CallContextInput
import Level1CallContext<Level1CallContextInput>
import Level1CallContext
import NoLocalCallContext
predicate localStep(
@@ -3280,7 +3276,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
ApOption apSome(Ap ap) { result = TAccessPathApproxSome(ap) }
additional module Level1CallContextInput implements Level1CallContextInputSig {
additional module Level1CallContextInput {
private module CallContextSensitivityInput implements CallContextSensitivityInputSig {
predicate relevantCallEdgeIn = PrevStage::relevantCallEdgeIn/2;
@@ -3297,7 +3293,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
}
import Level1CallContextInput
import Level1CallContext<Level1CallContextInput>
import Level1CallContext
import LocalCallContext
predicate localStep(