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

Skip to content

Commit 8e5d6ba

Browse files
hvitvedhvitved
committed
SSA: Create a new shared library pack and move implementation there
1 parent d5200ef commit 8e5d6ba

18 files changed

Lines changed: 31 additions & 2665 deletions

File tree

‎config/identical-files.json‎

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -460,12 +460,6 @@
460460
"javascript/ql/lib/IDEContextual.qll",
461461
"python/ql/lib/analysis/IDEContextual.qll"
462462
],
463-
"SSA C#": [
464-
"csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImplCommon.qll",
465-
"ruby/ql/lib/codeql/ruby/dataflow/internal/SsaImplCommon.qll",
466-
"cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll",
467-
"swift/ql/lib/codeql/swift/dataflow/internal/SsaImplCommon.qll"
468-
],
469463
"CryptoAlgorithms Python/JS/Ruby": [
470464
"javascript/ql/lib/semmle/javascript/security/CryptoAlgorithms.qll",
471465
"python/ql/lib/semmle/python/concepts/CryptoAlgorithms.qll",

‎cpp/ql/lib/qlpack.yml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,3 +5,5 @@ dbscheme: semmlecode.cpp.dbscheme
55
extractor: cpp
66
library: true
77
upgrades: upgrades
8+
dependencies:
9+
codeql/shared-all: "*"

‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ private import DataFlowUtil
44
private import DataFlowImplCommon as DataFlowImplCommon
55
private import semmle.code.cpp.models.interfaces.Allocation as Alloc
66
private import semmle.code.cpp.models.interfaces.DataFlow as DataFlow
7-
private import SsaImplCommon as SsaImplCommon
7+
private import codeql.shared.dataflow.Ssa as SsaImplCommon
88

99
private module SourceVariables {
1010
private newtype TSourceVariable =

‎csharp/ql/lib/qlpack.yml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,3 +5,5 @@ dbscheme: semmlecode.csharp.dbscheme
55
extractor: csharp
66
library: true
77
upgrades: upgrades
8+
dependencies:
9+
codeql/shared-all: "*"

‎csharp/ql/lib/semmle/code/cil/internal/SsaImpl.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
private import cil
2-
private import semmle.code.csharp.dataflow.internal.SsaImplCommon as SsaImplCommon
2+
private import codeql.shared.dataflow.Ssa as SsaImplCommon
33

44
private module SsaInput implements SsaImplCommon::InputSig {
55
class BasicBlock = CIL::BasicBlock;

‎csharp/ql/lib/semmle/code/csharp/controlflow/internal/PreSsa.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ module PreSsa {
99
private import AssignableDefinitions
1010
private import semmle.code.csharp.controlflow.internal.ControlFlowGraphImpl
1111
private import semmle.code.csharp.controlflow.internal.PreBasicBlocks as PreBasicBlocks
12-
private import semmle.code.csharp.dataflow.internal.SsaImplCommon as SsaImplCommon
12+
private import codeql.shared.dataflow.Ssa as SsaImplCommon
1313

1414
private predicate definitionAt(
1515
AssignableDefinition def, SsaInput::BasicBlock bb, int i, SsaInput::SourceVariable v

‎csharp/ql/lib/semmle/code/csharp/dataflow/internal/BaseSSA.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ import csharp
55
*/
66
module BaseSsa {
77
private import AssignableDefinitions
8-
private import semmle.code.csharp.dataflow.internal.SsaImplCommon as SsaImplCommon
8+
private import codeql.shared.dataflow.Ssa as SsaImplCommon
99

1010
/**
1111
* Holds if the `i`th node of basic block `bb` is assignable definition `def`,

‎csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
*/
44

55
import csharp
6-
private import SsaImplCommon as SsaImplCommon
6+
private import codeql.shared.dataflow.Ssa as SsaImplCommon
77
private import AssignableDefinitions
88

99
private module SsaInput implements SsaImplCommon::InputSig {

0 commit comments

Comments
 (0)