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
-
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
-
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
-
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
-
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