@@ -83,30 +83,20 @@ private class NumericFieldsInheritTaint extends TaintInheritingContent,
83
83
NumericFieldsInheritTaint ( ) {
84
84
exists ( string className , string fieldName |
85
85
(
86
- (
87
- className = "FixedWidthInteger" and
88
- fieldName = [ "littleEndian" , "bigEndian" ]
89
- )
86
+ className = "FixedWidthInteger" and
87
+ fieldName = [ "littleEndian" , "bigEndian" ]
90
88
or
91
- (
92
- className = "FloatingPoint" and
93
- fieldName = [ "exponent" , "significand" ]
94
- )
89
+ className = "FloatingPoint" and
90
+ fieldName = [ "exponent" , "significand" ]
95
91
or
96
- (
97
- className = "BinaryInteger" and
98
- fieldName = "words"
99
- )
92
+ className = "BinaryInteger" and
93
+ fieldName = "words"
100
94
or
101
- (
102
- className = "Numeric" and
103
- fieldName = [ "magnitude" , "byteSwapped" ]
104
- )
95
+ className = "Numeric" and
96
+ fieldName = [ "magnitude" , "byteSwapped" ]
105
97
or
106
- (
107
- className = "BinaryFloatingPoint" and
108
- fieldName = [ "binade" , "exponentBitPattern" , "significandBitPattern" ]
109
- )
98
+ className = "BinaryFloatingPoint" and
99
+ fieldName = [ "binade" , "exponentBitPattern" , "significandBitPattern" ]
110
100
) and
111
101
exists ( FieldDecl fieldDecl , Decl declaringDecl , TypeDecl namedTypeDecl |
112
102
namedTypeDecl .getFullName ( ) = className and
0 commit comments