File tree Expand file tree Collapse file tree 1 file changed +16
-2
lines changed
cpp/ql/src/experimental/campaigns/nccoe-pqc-migration/QuantumVulnerableDiscovery/WinCng Expand file tree Collapse file tree 1 file changed +16
-2
lines changed Original file line number Diff line number Diff line change @@ -33,14 +33,28 @@ predicate vulnProviderLiteral(StringLiteral lit) {
33
33
* Argument at index 0 of call to BCryptSignHash
34
34
*/
35
35
class BCryptSignHashArgumentSink extends BCryptOpenAlgorithmProviderSink {
36
- BCryptSignHashArgumentSink ( ) { isCallArgument ( "BCryptSignHash" , this .asExpr ( ) , 0 ) }
36
+ int index ;
37
+ string funcName ;
38
+
39
+ BCryptSignHashArgumentSink ( ) {
40
+ index = 0 and
41
+ funcName = "BCryptSignHash" and
42
+ isCallArgument ( funcName , this .asExpr ( ) , index )
43
+ }
37
44
}
38
45
39
46
/**
40
47
* Argument at index 0 of call to BCryptEncrypt
41
48
*/
42
49
class BCryptEncryptArgumentSink extends BCryptOpenAlgorithmProviderSink {
43
- BCryptEncryptArgumentSink ( ) { isCallArgument ( "BCryptEncrypt" , this .asExpr ( ) , 0 ) }
50
+ int index ;
51
+ string funcName ;
52
+
53
+ BCryptEncryptArgumentSink ( ) {
54
+ index = 0 and
55
+ funcName = "BCryptEncrypt" and
56
+ isCallArgument ( funcName , this .asExpr ( ) , index )
57
+ }
44
58
}
45
59
46
60
// ----------------- Default SOURCES -----------------------
You can’t perform that action at this time.
0 commit comments