SWAN: a static analysis framework for swift.

Daniil Tiganov Jeff Cho Karim Ali Julian Dolby

Published in: ESEC/SIGSOFT FSE (2020)

Keyphrases

static analysis
databases
main contribution
dynamic analysis
knowledge base
probabilistic model
test generation
reasoning engine