1. Allen, F.E.: Control flow analysis. ACM SIGPLAN Not. 5(7), 1–19 (1970)
2. Andersen, L.O.: Program analysis and specialization for the C programming language. PhD thesis, Datalogisk Institut, Københavns Universitet (1994)
3. Arceri, V., Cortesi, A., Ferrara, P., Olliaro, M. (eds.): Challenges of Software Verification 2022. Intelligent Systems Reference Library, vol. 238. Springer, Berlin (2023)
4. Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., Le Traon, Y., Octeau, D., McDaniel, P.: Flowdroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps. ACM SIGPLAN Not. 49(6), 259–269 (2014)
5. Barnett, M., Leino, K.R.M., Schulte, W.: The spec# programming system: an overview. In: International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, pp. 49–69. Springer, Berlin (2004)