@article{journals/tocs/ZuoWHSZLDWLWX21,
added-at = {2022-11-18T00:00:00.000+0100},
author = {Zuo, Zhiqiang and Wang, Kai and Hussain, Aftab and Sani, Ardalan Amiri and Zhang, Yiyu and Lu, Shenming and Dou, Wensheng and Wang, Linzhang and Li, Xuandong and Wang, Chenxi and Xu, Guoqing Harry},
biburl = {https://www.bibsonomy.org/bibtex/23e1ea93971eb54ecb37a983dab027fad/dblp},
ee = {https://doi.org/10.1145/3466820},
interhash = {1da83a74d7745cb34fe08e63b490c573},
intrahash = {3e1ea93971eb54ecb37a983dab027fad},
journal = {ACM Trans. Comput. Syst.},
keywords = {dblp},
number = {1-2},
pages = {4:1-4:39},
timestamp = {2024-04-08T15:36:04.000+0200},
title = {Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan.},
url = {http://dblp.uni-trier.de/db/journals/tocs/tocs38.html#ZuoWHSZLDWLWX21},
volume = 38,
year = 2020
}