SWAN: A Static Analysis Framework for Swift (Teaser, ESEC/FSE 2020)

147 Просмотры
Издатель
SWAN: A Static Analysis Framework for Swift (Teaser, 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 https://youtu.be/AZwfhOGqwFs.

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

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: https://twitter.com/fseconf
Reddit: https://www.reddit.com/r/ESECFSE
Категория
Язык программирования Swift
Комментариев нет.