File tree Expand file tree Collapse file tree 6 files changed +10
-10
lines changed
codeql/quantum/experimental Expand file tree Collapse file tree 6 files changed +10
-10
lines changed Original file line number Diff line number Diff line change 1
- import codeql.experimental.quantum.Model
1
+ private import cpp as Language
2
2
import semmle.code.cpp.dataflow.new.DataFlow
3
- private import cpp as Lang
3
+ import codeql.quantum.experimental.Model
4
4
5
- module CryptoInput implements InputSig< Lang :: Location > {
5
+ module CryptoInput implements InputSig< Language :: Location > {
6
6
class DataFlowNode = DataFlow:: Node ;
7
7
8
- class LocatableElement = Lang :: Locatable ;
8
+ class LocatableElement = Language :: Locatable ;
9
9
10
- class UnknownLocation = Lang :: UnknownDefaultLocation ;
10
+ class UnknownLocation = Language :: UnknownDefaultLocation ;
11
11
12
12
LocatableElement dfn_to_element ( DataFlow:: Node node ) {
13
13
result = node .asExpr ( ) or
@@ -26,7 +26,7 @@ module CryptoInput implements InputSig<Lang::Location> {
26
26
}
27
27
}
28
28
29
- module Crypto = CryptographyBase< Lang :: Location , CryptoInput > ;
29
+ module Crypto = CryptographyBase< Language :: Location , CryptoInput > ;
30
30
31
31
module ArtifactFlowConfig implements DataFlow:: ConfigSig {
32
32
predicate isSource ( DataFlow:: Node source ) {
Original file line number Diff line number Diff line change @@ -7,8 +7,8 @@ library: true
7
7
upgrades : upgrades
8
8
dependencies :
9
9
codeql/dataflow : ${workspace}
10
- codeql/experimental : ${workspace}
11
10
codeql/mad : ${workspace}
11
+ codeql/quantum : ${workspace}
12
12
codeql/rangeanalysis : ${workspace}
13
13
codeql/ssa : ${workspace}
14
14
codeql/typeflow : ${workspace}
Original file line number Diff line number Diff line change 1
- private import codeql.experimental.quantum.Model
2
1
private import java as Language
3
2
private import semmle.code.java.security.InsecureRandomnessQuery
4
3
private import semmle.code.java.security.RandomQuery
5
4
private import semmle.code.java.dataflow.DataFlow
6
5
private import semmle.code.java.dataflow.FlowSources
6
+ private import codeql.quantum.experimental.Model
7
7
8
8
private class UnknownLocation extends Language:: Location {
9
9
UnknownLocation ( ) { this .getFile ( ) .getAbsolutePath ( ) = "" }
Original file line number Diff line number Diff line change @@ -7,8 +7,8 @@ library: true
7
7
upgrades : upgrades
8
8
dependencies :
9
9
codeql/dataflow : ${workspace}
10
- codeql/experimental : ${workspace}
11
10
codeql/mad : ${workspace}
11
+ codeql/quantum : ${workspace}
12
12
codeql/rangeanalysis : ${workspace}
13
13
codeql/regex : ${workspace}
14
14
codeql/threat-models : ${workspace}
File renamed without changes.
Original file line number Diff line number Diff line change 1
- name : codeql/experimental
1
+ name : codeql/quantum
2
2
version : 0.0.0-dev
3
3
groups : shared
4
4
library : true
You can’t perform that action at this time.
0 commit comments