Skip to content

Commit 1d2f1b6

Browse files
committed
Address comments
1 parent e0e3a1d commit 1d2f1b6

File tree

8 files changed

+8
-0
lines changed

8 files changed

+8
-0
lines changed

cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1144,6 +1144,7 @@ module Impl<FullStateConfigSig Config> {
11441144
module Stage<StageParam Param> implements StageSig {
11451145
import Param
11461146

1147+
/* Begin: Stage logic. */
11471148
pragma[nomagic]
11481149
private predicate flowIntoCallApa(
11491150
DataFlowCall call, ArgNodeEx arg, ParamNodeEx p, boolean allowsFieldFlow, ApApprox apa

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1144,6 +1144,7 @@ module Impl<FullStateConfigSig Config> {
11441144
module Stage<StageParam Param> implements StageSig {
11451145
import Param
11461146

1147+
/* Begin: Stage logic. */
11471148
pragma[nomagic]
11481149
private predicate flowIntoCallApa(
11491150
DataFlowCall call, ArgNodeEx arg, ParamNodeEx p, boolean allowsFieldFlow, ApApprox apa

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1144,6 +1144,7 @@ module Impl<FullStateConfigSig Config> {
11441144
module Stage<StageParam Param> implements StageSig {
11451145
import Param
11461146

1147+
/* Begin: Stage logic. */
11471148
pragma[nomagic]
11481149
private predicate flowIntoCallApa(
11491150
DataFlowCall call, ArgNodeEx arg, ParamNodeEx p, boolean allowsFieldFlow, ApApprox apa

go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1144,6 +1144,7 @@ module Impl<FullStateConfigSig Config> {
11441144
module Stage<StageParam Param> implements StageSig {
11451145
import Param
11461146

1147+
/* Begin: Stage logic. */
11471148
pragma[nomagic]
11481149
private predicate flowIntoCallApa(
11491150
DataFlowCall call, ArgNodeEx arg, ParamNodeEx p, boolean allowsFieldFlow, ApApprox apa

java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1144,6 +1144,7 @@ module Impl<FullStateConfigSig Config> {
11441144
module Stage<StageParam Param> implements StageSig {
11451145
import Param
11461146

1147+
/* Begin: Stage logic. */
11471148
pragma[nomagic]
11481149
private predicate flowIntoCallApa(
11491150
DataFlowCall call, ArgNodeEx arg, ParamNodeEx p, boolean allowsFieldFlow, ApApprox apa

python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1144,6 +1144,7 @@ module Impl<FullStateConfigSig Config> {
11441144
module Stage<StageParam Param> implements StageSig {
11451145
import Param
11461146

1147+
/* Begin: Stage logic. */
11471148
pragma[nomagic]
11481149
private predicate flowIntoCallApa(
11491150
DataFlowCall call, ArgNodeEx arg, ParamNodeEx p, boolean allowsFieldFlow, ApApprox apa

ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1144,6 +1144,7 @@ module Impl<FullStateConfigSig Config> {
11441144
module Stage<StageParam Param> implements StageSig {
11451145
import Param
11461146

1147+
/* Begin: Stage logic. */
11471148
pragma[nomagic]
11481149
private predicate flowIntoCallApa(
11491150
DataFlowCall call, ArgNodeEx arg, ParamNodeEx p, boolean allowsFieldFlow, ApApprox apa

swift/ql/lib/codeql/swift/dataflow/internal/DataFlowImpl.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1144,6 +1144,7 @@ module Impl<FullStateConfigSig Config> {
11441144
module Stage<StageParam Param> implements StageSig {
11451145
import Param
11461146

1147+
/* Begin: Stage logic. */
11471148
pragma[nomagic]
11481149
private predicate flowIntoCallApa(
11491150
DataFlowCall call, ArgNodeEx arg, ParamNodeEx p, boolean allowsFieldFlow, ApApprox apa

0 commit comments

Comments
 (0)