File tree Expand file tree Collapse file tree 1 file changed +2
-3
lines changed
swift/ql/lib/codeql/swift/security Expand file tree Collapse file tree 1 file changed +2
-3
lines changed Original file line number Diff line number Diff line change 22
33import swift
44private import codeql.swift.dataflow.DataFlow
5+ private import codeql.swift.dataflow.TaintTracking
56private import codeql.swift.frameworks.AEXML
67private import codeql.swift.frameworks.Libxml2
78private import codeql.swift.dataflow.ExternalFlow
@@ -182,9 +183,7 @@ private class Libxml2XxeSink extends XxeSink {
182183 * including bitwise operations, accesses to `.rawValue`, and casts to `Int32`.
183184 */
184185private predicate lib2xmlOptionLocalTaintStep ( DataFlow:: Node source , DataFlow:: Node sink ) {
185- DataFlow:: localFlowStep ( source , sink )
186- or
187- source .asExpr ( ) = sink .asExpr ( ) .( BitwiseOperation ) .getAnOperand ( )
186+ TaintTracking:: localTaintStep ( source , sink )
188187 or
189188 exists ( MemberRefExpr rawValue | rawValue .getMember ( ) .( VarDecl ) .getName ( ) = "rawValue" |
190189 source .asExpr ( ) = rawValue .getBase ( ) and sink .asExpr ( ) = rawValue
You can’t perform that action at this time.
0 commit comments