SWAN

SWAN

Can I detect security vulnerabilities in my Swift app? In this work, we have been developing SWAN, a program analysis framework for Swift programs based on SPDS . The framework enables various deep static analyses, from finding API misuses using typestate analysis to detecting security vulnerabilities using taint analysis.

[1, 2, 3, 4]

Related Publications

2023

  1. MSR
    Energy Consumption Estimation of API-usage in Mobile Apps via Static Analysis
    Abdul Ali Bangash, Kalvin Eng, Qasim Jamal, Karim Ali, and Abram Hindle
    In International Conference on Mining Software Repositories, May 2023

2021

  1. Designing UIs for Static Analysis Tools: Evaluating Tool Design Guidelines with SWAN
    Daniil Tiganov, Lisa Nguyen Quang Do, and Karim Ali
    ACM Queue, May 2021
  2. ICSME
    Energy Efficient Guidelines for iOS Core Location Framework
    Abdul Ali Bangash, Daniil Tiganov, Karim Ali, and Abram Hindle
    In International Conference on Software Maintenance and Evolution, Jun 2021

2020

  1. ESEC/FSE
    SWAN: A Static Analysis Framework for Swift
    Daniil Tiganov, Jeff Cho, Karim Ali, and Julian Dolby
    In ACM International Conference on the Foundations of Software Engineering, Aug 2020