Spinellis, Louridas, 2007. A framework for the static verification of api calls 80.. https://doi.org/10.1016/j.jss.2006.09.040