@inproceedings{0fdca03c27164fb68913fdde17b717fe,
title = "SWAN: A static analysis framework for swift",
abstract = "Swift is an open-source programming language and Apple's recommended choice for app development. Given the global widespread use of Apple devices, the ability to analyze Swift programs has significant impact on millions of users. Although static analysis frameworks exist for various computing platforms, there is a lack of comparable tools for Swift. While LLVM and Clang support some analyses for Swift, they are either primarily dynamic analyses or not suitable for deeper analyses of Swift programs such as taint tracking. Moreover, other existing tools for Swift only help enforce code styles and best practices. In this paper, we present SWAN, an open-source framework that allows robust program analyses of Swift programs using IBM's T.J. Watson Libraries for Analysis (WALA). To provide a wide range of analyses for Swift, SWAN leverages the well-established libraries in WALA. SWAN is publicly available at https://github.com/themaplelab/swan. We have also made a screencast available at https://youtu.be/AZwfhOGqwFs.",
keywords = "Static analysis, Swift, Taint analysis",
author = "Daniil Tiganov and Jeff Cho and Karim Ali and Julian Dolby",
note = "Publisher Copyright: {\textcopyright} 2020 ACM.; 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2020 ; Conference date: 08-11-2020 Through 13-11-2020",
year = "2020",
month = nov,
day = "8",
doi = "10.1145/3368089.3417924",
language = "English (US)",
series = "ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering",
publisher = "Association for Computing Machinery, Inc",
pages = "1640--1644",
editor = "Prem Devanbu and Myra Cohen and Thomas Zimmermann",
booktitle = "ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering",
}