SWAN: A static analysis framework for swiftDaniil TiganovJeff Choet al.2020ESEC/FSE 2020Conference paper