Skip to content

Commit 983055b

Browse files
committed
JS: Use shared CryptographicOperation concept and implement BlockMode getBlockMode()
1 parent e5dfbe2 commit 983055b

File tree

6 files changed

+121
-52
lines changed

6 files changed

+121
-52
lines changed

javascript/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/EndpointCharacteristics.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -387,7 +387,7 @@ private class CryptographicOperationFlowCharacteristic extends NotASinkCharacter
387387
CryptographicOperationFlowCharacteristic() { this = "CryptographicOperationFlow" }
388388

389389
override predicate appliesToEndpoint(DataFlow::Node n) {
390-
any(CryptographicOperation op).getInput() = n
390+
any(CryptographicOperation op).getAnInput() = n
391391
}
392392
}
393393

javascript/ql/lib/semmle/javascript/Concepts.qll

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -110,3 +110,10 @@ abstract class PersistentWriteAccess extends DataFlow::Node {
110110
*/
111111
abstract DataFlow::Node getValue();
112112
}
113+
114+
/**
115+
* Provides models for cryptographic things.
116+
*/
117+
module Cryptography {
118+
import semmle.javascript.internal.ConceptsShared::Cryptography
119+
}

0 commit comments

Comments
 (0)