hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Dataflow: Minor cleanup.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-01-30 11:55:20 +01:00
parent b4197b08aa
commit e0cb70a492
2 changed files with 2 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -246,7 +246,6 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
predicate revFlow(Nd node); predicate revFlow(Nd node);
bindingset[node]
predicate revFlow(Nd node, Ap ap); predicate revFlow(Nd node, Ap ap);
predicate callMayFlowThroughRev(DataFlowCall call); predicate callMayFlowThroughRev(DataFlowCall call);
@@ -361,8 +360,6 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
bindingset[cc] bindingset[cc]
LocalCc getLocalCc(Cc cc); LocalCc getLocalCc(Cc cc);
bindingset[node1]
bindingset[node2]
predicate localStep( predicate localStep(
Nd node1, Nd node2, boolean preservesValue, Typ t, LocalCc lcc, string label Nd node1, Nd node2, boolean preservesValue, Typ t, LocalCc lcc, string label
); );
@@ -1504,8 +1501,6 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
} }
/** Holds if `node1` can step to `node2` in one or more local steps. */ /** Holds if `node1` can step to `node2` in one or more local steps. */
bindingset[node1]
bindingset[node2]
signature predicate localStepSig( signature predicate localStepSig(
Nd node1, Nd node2, boolean preservesValue, DataFlowType t, LocalCallContext lcc, Nd node1, Nd node2, boolean preservesValue, DataFlowType t, LocalCallContext lcc,
string label string label
@@ -2582,8 +2577,6 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
import CachedCallContextSensitivity import CachedCallContextSensitivity
import NoLocalCallContext import NoLocalCallContext
bindingset[node1]
bindingset[node2]
predicate localStep( predicate localStep(
Nd node1, Nd node2, boolean preservesValue, Typ t, LocalCc lcc, string label Nd node1, Nd node2, boolean preservesValue, Typ t, LocalCc lcc, string label
) { ) {
@@ -2668,25 +2661,14 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
import CallContextSensitivity<CallContextSensitivityInput> import CallContextSensitivity<CallContextSensitivityInput>
import NoLocalCallContext import NoLocalCallContext
bindingset[node1]
bindingset[node2]
private predicate localStepInput(
Nd node1, Nd node2, boolean preservesValue, DataFlowType t, LocalCallContext lcc,
string label
) {
localStep1(node1, node2, preservesValue, t, lcc, label)
}
additional predicate localFlowBigStep( additional predicate localFlowBigStep(
Nd node1, Nd node2, boolean preservesValue, DataFlowType t, LocalCallContext lcc, Nd node1, Nd node2, boolean preservesValue, DataFlowType t, LocalCallContext lcc,
string label string label
) { ) {
PrevStage::LocalFlowBigStep<localStepInput/6>::localFlowBigStep(node1, node2, PrevStage::LocalFlowBigStep<localStep1/6>::localFlowBigStep(node1, node2, preservesValue, t,
preservesValue, t, lcc, label) lcc, label)
} }
bindingset[node1]
bindingset[node2]
predicate localStep( predicate localStep(
Nd node1, Nd node2, boolean preservesValue, Typ t, LocalCc lcc, string label Nd node1, Nd node2, boolean preservesValue, Typ t, LocalCc lcc, string label
) { ) {

1
shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll
View File

@@ -88,7 +88,6 @@ module MakeImplStage1<LocationSig Location, InputSig<Location> Lang> {
predicate revFlow(Nd node); predicate revFlow(Nd node);
bindingset[node]
predicate revFlow(Nd node, Ap ap); predicate revFlow(Nd node, Ap ap);
predicate callMayFlowThroughRev(DataFlowCall call); predicate callMayFlowThroughRev(DataFlowCall call);