SWAN: A Static Analysis Framework for Swift (Video, ESEC/FSE 2020)
"SWAN: A Static Analysis Framework for Swift (Video, ESEC/FSE 2020)
Daniil Tiganov, Jeff Cho, Karim Ali, and Julian Dolby
(University of Alberta, Canada; University of Alberta, Canada; University of Alberta, Canada; IBM Research, USA)
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 • SWAN - A static analysis framework fo... .
Article: https://doi.org/10.1145/3368089.3417924
Submitted to the conference by Daniil Tiganov on 2020-10-30
Video Tags: Swift, static analysis, taint analysis, fse20demo-p10-p, DOI: 10.1145/3368089.3417924
Presentation at the ESEC/FSE 2020 conference, November 8–13, 2020, https://2020.esec-fse.org/
Sponsored by ACM SIGSOFT, https://www.sigsoft.org/
Twitter: / fseconf
Reddit: / esecfse "
ISSTA 2021: Panels Celebrating 30 editions of ISSTA (statements from panel in timeband 1)
ISSTA 2021: Panels Celebrating 30 editions of ISSTA (statements from panel in timeband 3)