Nielson F, Nielson HR. Interprocedural Control Flow Analysis (Extended version). DPB [Internet]. 1998 Dec. 1 [cited 2024 Apr. 28];27(538). Available from: https://tidsskrift.dk/daimipb/article/view/7071