GitHub repository: tiganov/swan
Primary language: C++
Description: A Swift Program Analysis Framework