swan: deep dataflow analysis for Swift applications