@@ -43,7 +43,7 @@ module NormalHashFunctionFlow {
43
43
}
44
44
}
45
45
46
- module Flow = TaintTracking:: Global< Config > ;
46
+ import TaintTracking:: Global< Config >
47
47
}
48
48
49
49
/**
@@ -74,7 +74,7 @@ module ComputationallyExpensiveHashFunctionFlow {
74
74
}
75
75
}
76
76
77
- module Flow = TaintTracking:: Global< Config > ;
77
+ import TaintTracking:: Global< Config >
78
78
}
79
79
80
80
/**
@@ -83,23 +83,23 @@ module ComputationallyExpensiveHashFunctionFlow {
83
83
* merged to generate a combined path graph.
84
84
*/
85
85
module WeakSensitiveDataHashingFlow =
86
- DataFlow:: MergePathGraph< NormalHashFunctionFlow:: Flow :: PathNode ,
87
- ComputationallyExpensiveHashFunctionFlow:: Flow :: PathNode ,
88
- NormalHashFunctionFlow:: Flow :: PathGraph ,
89
- ComputationallyExpensiveHashFunctionFlow:: Flow :: PathGraph > ;
86
+ DataFlow:: MergePathGraph< NormalHashFunctionFlow:: PathNode ,
87
+ ComputationallyExpensiveHashFunctionFlow:: PathNode ,
88
+ NormalHashFunctionFlow:: PathGraph ,
89
+ ComputationallyExpensiveHashFunctionFlow:: PathGraph > ;
90
90
91
91
import WeakSensitiveDataHashingFlow:: PathGraph
92
92
93
93
from
94
94
WeakSensitiveDataHashingFlow:: PathNode source , WeakSensitiveDataHashingFlow:: PathNode sink ,
95
95
string ending , string algorithmName , string classification
96
96
where
97
- NormalHashFunctionFlow:: Flow :: flowPath ( source .asPathNode1 ( ) , sink .asPathNode1 ( ) ) and
97
+ NormalHashFunctionFlow:: flowPath ( source .asPathNode1 ( ) , sink .asPathNode1 ( ) ) and
98
98
algorithmName = sink .getNode ( ) .( NormalHashFunction:: Sink ) .getAlgorithmName ( ) and
99
99
classification = source .getNode ( ) .( NormalHashFunction:: Source ) .getClassification ( ) and
100
100
ending = "."
101
101
or
102
- ComputationallyExpensiveHashFunctionFlow:: Flow :: flowPath ( source .asPathNode2 ( ) , sink .asPathNode2 ( ) ) and
102
+ ComputationallyExpensiveHashFunctionFlow:: flowPath ( source .asPathNode2 ( ) , sink .asPathNode2 ( ) ) and
103
103
algorithmName = sink .getNode ( ) .( ComputationallyExpensiveHashFunction:: Sink ) .getAlgorithmName ( ) and
104
104
classification =
105
105
source .getNode ( ) .( ComputationallyExpensiveHashFunction:: Source ) .getClassification ( ) and
0 commit comments