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
22import semmle.code.cpp.dataflow.new.DataFlow
3- private import cpp as Lang
3+ import codeql.quantum.experimental.Model
44
5- module CryptoInput implements InputSig< Lang :: Location > {
5+ module CryptoInput implements InputSig< Language :: Location > {
66 class DataFlowNode = DataFlow:: Node ;
77
8- class LocatableElement = Lang :: Locatable ;
8+ class LocatableElement = Language :: Locatable ;
99
10- class UnknownLocation = Lang :: UnknownDefaultLocation ;
10+ class UnknownLocation = Language :: UnknownDefaultLocation ;
1111
1212 LocatableElement dfn_to_element ( DataFlow:: Node node ) {
1313 result = node .asExpr ( ) or
@@ -26,7 +26,7 @@ module CryptoInput implements InputSig<Lang::Location> {
2626 }
2727}
2828
29- module Crypto = CryptographyBase< Lang :: Location , CryptoInput > ;
29+ module Crypto = CryptographyBase< Language :: Location , CryptoInput > ;
3030
3131module ArtifactFlowConfig implements DataFlow:: ConfigSig {
3232 predicate isSource ( DataFlow:: Node source ) {
Original file line number Diff line number Diff line change @@ -7,8 +7,8 @@ library: true
77upgrades : upgrades
88dependencies :
99 codeql/dataflow : ${workspace}
10- codeql/experimental : ${workspace}
1110 codeql/mad : ${workspace}
11+ codeql/quantum : ${workspace}
1212 codeql/rangeanalysis : ${workspace}
1313 codeql/ssa : ${workspace}
1414 codeql/typeflow : ${workspace}
Original file line number Diff line number Diff line change 1- private import codeql.experimental.quantum.Model
21private import java as Language
32private import semmle.code.java.security.InsecureRandomnessQuery
43private import semmle.code.java.security.RandomQuery
54private import semmle.code.java.dataflow.DataFlow
65private import semmle.code.java.dataflow.FlowSources
6+ private import codeql.quantum.experimental.Model
77
88private class UnknownLocation extends Language:: Location {
99 UnknownLocation ( ) { this .getFile ( ) .getAbsolutePath ( ) = "" }
Original file line number Diff line number Diff line change @@ -7,8 +7,8 @@ library: true
77upgrades : upgrades
88dependencies :
99 codeql/dataflow : ${workspace}
10- codeql/experimental : ${workspace}
1110 codeql/mad : ${workspace}
11+ codeql/quantum : ${workspace}
1212 codeql/rangeanalysis : ${workspace}
1313 codeql/regex : ${workspace}
1414 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
22version : 0.0.0-dev
33groups : shared
44library : true
You can’t perform that action at this time.
0 commit comments