SWAN: a static analysis framework for swift

Daniil Tiganov, Jeff Cho, Karim Ali, Julian Dolby

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.

BibTeX

@inproceedings{Tiganov-al:FSE20,
  author    = {Daniil Tiganov and
               Jeff Cho and
               Karim Ali and
               Julian Dolby},
  title     = {{SWAN:} a static analysis framework for swift},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {1640--1644},
  publisher = {{ACM}},
  year      = {2020},
}

SWAN: a static analysis framework for swift

Abstract

Related papers