Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 656c765

Browse files
yoffyoff
committed
Merge branch 'master' of github.com:github/codeql into SharedDataflow
To sync dataflow files
2 parents 13bb971 + 7a5aae7 commit 656c765

67 files changed

Lines changed: 598 additions & 333 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎change-notes/1.25/analysis-javascript.md‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -20,6 +20,7 @@
2020
- [sqlite](https://www.npmjs.com/package/sqlite)
2121
- [ssh2-streams](https://www.npmjs.com/package/ssh2-streams)
2222
- [ssh2](https://www.npmjs.com/package/ssh2)
23+
- [webpack-dev-server](https://www.npmjs.com/package/webpack-dev-server)
2324

2425
* TypeScript 3.9 is now supported.
2526

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2564,7 +2564,7 @@ private module FlowExploration {
25642564

25652565
private newtype TPartialAccessPath =
25662566
TPartialNil(DataFlowType t) or
2567-
TPartialCons(TypedContent tc, int len) { len in [1 .. 5] }
2567+
TPartialCons(TypedContent tc, int len) { len in [1 .. accessPathLimit()] }
25682568

25692569
/**
25702570
* Conceptually a list of `TypedContent`s followed by a `Type`, but only the first

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2564,7 +2564,7 @@ private module FlowExploration {
25642564

25652565
private newtype TPartialAccessPath =
25662566
TPartialNil(DataFlowType t) or
2567-
TPartialCons(TypedContent tc, int len) { len in [1 .. 5] }
2567+
TPartialCons(TypedContent tc, int len) { len in [1 .. accessPathLimit()] }
25682568

25692569
/**
25702570
* Conceptually a list of `TypedContent`s followed by a `Type`, but only the first

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2564,7 +2564,7 @@ private module FlowExploration {
25642564

25652565
private newtype TPartialAccessPath =
25662566
TPartialNil(DataFlowType t) or
2567-
TPartialCons(TypedContent tc, int len) { len in [1 .. 5] }
2567+
TPartialCons(TypedContent tc, int len) { len in [1 .. accessPathLimit()] }
25682568

25692569
/**
25702570
* Conceptually a list of `TypedContent`s followed by a `Type`, but only the first

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2564,7 +2564,7 @@ private module FlowExploration {
25642564

25652565
private newtype TPartialAccessPath =
25662566
TPartialNil(DataFlowType t) or
2567-
TPartialCons(TypedContent tc, int len) { len in [1 .. 5] }
2567+
TPartialCons(TypedContent tc, int len) { len in [1 .. accessPathLimit()] }
25682568

25692569
/**
25702570
* Conceptually a list of `TypedContent`s followed by a `Type`, but only the first

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2564,7 +2564,7 @@ private module FlowExploration {
25642564

25652565
private newtype TPartialAccessPath =
25662566
TPartialNil(DataFlowType t) or
2567-
TPartialCons(TypedContent tc, int len) { len in [1 .. 5] }
2567+
TPartialCons(TypedContent tc, int len) { len in [1 .. accessPathLimit()] }
25682568

25692569
/**
25702570
* Conceptually a list of `TypedContent`s followed by a `Type`, but only the first

‎cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2564,7 +2564,7 @@ private module FlowExploration {
25642564

25652565
private newtype TPartialAccessPath =
25662566
TPartialNil(DataFlowType t) or
2567-
TPartialCons(TypedContent tc, int len) { len in [1 .. 5] }
2567+
TPartialCons(TypedContent tc, int len) { len in [1 .. accessPathLimit()] }
25682568

25692569
/**
25702570
* Conceptually a list of `TypedContent`s followed by a `Type`, but only the first

‎cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2564,7 +2564,7 @@ private module FlowExploration {
25642564

25652565
private newtype TPartialAccessPath =
25662566
TPartialNil(DataFlowType t) or
2567-
TPartialCons(TypedContent tc, int len) { len in [1 .. 5] }
2567+
TPartialCons(TypedContent tc, int len) { len in [1 .. accessPathLimit()] }
25682568

25692569
/**
25702570
* Conceptually a list of `TypedContent`s followed by a `Type`, but only the first

‎cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2564,7 +2564,7 @@ private module FlowExploration {
25642564

25652565
private newtype TPartialAccessPath =
25662566
TPartialNil(DataFlowType t) or
2567-
TPartialCons(TypedContent tc, int len) { len in [1 .. 5] }
2567+
TPartialCons(TypedContent tc, int len) { len in [1 .. accessPathLimit()] }
25682568

25692569
/**
25702570
* Conceptually a list of `TypedContent`s followed by a `Type`, but only the first

‎cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2564,7 +2564,7 @@ private module FlowExploration {
25642564

25652565
private newtype TPartialAccessPath =
25662566
TPartialNil(DataFlowType t) or
2567-
TPartialCons(TypedContent tc, int len) { len in [1 .. 5] }
2567+
TPartialCons(TypedContent tc, int len) { len in [1 .. accessPathLimit()] }
25682568

25692569
/**
25702570
* Conceptually a list of `TypedContent`s followed by a `Type`, but only the first

0 commit comments

Comments
 (0)