{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T03:08:12Z","timestamp":1784603292709,"version":"3.55.0"},"reference-count":82,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T00:00:00Z","timestamp":1676764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T00:00:00Z","timestamp":1676764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Pattern Anal Applic"],"published-print":{"date-parts":[[2023,8]]},"DOI":"10.1007\/s10044-023-01142-2","type":"journal-article","created":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T09:04:09Z","timestamp":1676970249000},"page":"1171-1189","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["ABSLearn: a GNN-based framework for aliasing and buffer-size information retrieval"],"prefix":"10.1007","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4837-455X","authenticated-orcid":false,"given":"Ke","family":"Liang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jim","family":"Tan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dongrui","family":"Zeng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yongzhe","family":"Huang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaolei","family":"Huang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gang","family":"Tan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,2,19]]},"reference":[{"key":"1142_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24723-4_2","volume-title":"Compiler construction. CC 2004. Lecture notes in computer science","author":"G Balakrishnan","year":"2004","unstructured":"Balakrishnan G, Reps T (2004) Analyzing Memory Accesses in x86 Executables. In: Duesterwald E (ed) Compiler construction. CC 2004. Lecture notes in computer science, vol 2985. Springer, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-540-24723-4_2"},{"key":"1142_CR2","doi-asserted-by":"publisher","unstructured":"Evans I, Long F, Otgonbaatar U, Shrobe H, Rinard M, Okhravi H, Sidiroglou-Douskos S (2015) Control jujutsu: on the weaknesses of fine-grained control flow integrity. In: Proceedings of the 22nd ACM SIGSAC conference on computer and communications security. Association for Computing Machinery, New York, p 901\u2013913. https:\/\/doi.org\/10.1145\/2810103.2813646","DOI":"10.1145\/2810103.2813646"},{"key":"1142_CR3","doi-asserted-by":"publisher","unstructured":"Zeng D, Tan G (2018) From debugging-information based binary-level type inference to CFG generation. In: Proceedings of the eighth ACM conference on data and application security and privacy. Association for Computing Machinery, New York, p 366\u2013376.https:\/\/doi.org\/10.1145\/3176258.3176309","DOI":"10.1145\/3176258.3176309"},{"key":"1142_CR4","doi-asserted-by":"publisher","unstructured":"Lu K, Hu H (2019) Where does it go? Refining indirect-call targets with multi-layer type analysis. In: Proceedings of the 2019 ACM SIGSAC conference on computer and communications security. Association for Computing Machinery, p 1867\u20131881. https:\/\/doi.org\/10.1145\/3319535.3354244","DOI":"10.1145\/3319535.3354244"},{"key":"1142_CR5","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2021.24386","author":"SH Kim","year":"2021","unstructured":"Kim SH, Sun C, Zeng D, Tan G (2021) Refining indirect call targets at the binary level. Netw Distrib Syst Secur Symp. https:\/\/doi.org\/10.14722\/ndss.2021.24386","journal-title":"Netw Distrib Syst Secur Symp"},{"issue":"1","key":"1142_CR6","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1609956.1609960","volume":"13","author":"M Abadi","year":"2009","unstructured":"Abadi M, Budiu M, Erlingsson \u00da, Ligatti J (2009) Control-flow integrity principles, implementations, and applications. ACM Trans Inf Syst Secur 13(1):40. https:\/\/doi.org\/10.1145\/1609956.1609960","journal-title":"ACM Trans Inf Syst Secur"},{"key":"1142_CR7","doi-asserted-by":"publisher","unstructured":"Zhang C, Wei T, Chen Z, Duan L, Szekeres L, McCamant S, Song D, Zou W (2013) Practical control flow integrity and randomization for binary executables. In: IEEE symposium on security and privacy (S&P). pp 559\u2013573. https:\/\/doi.org\/10.1109\/SP.2013.44","DOI":"10.1109\/SP.2013.44"},{"key":"1142_CR8","doi-asserted-by":"publisher","unstructured":"Zhang M, Sekar R (2013) Control flow integrity for COTS binaries. In: 22nd Usenix security symposium. pp 337\u2013352. https:\/\/doi.org\/10.5555\/2534766.2534796","DOI":"10.5555\/2534766.2534796"},{"key":"1142_CR9","doi-asserted-by":"publisher","unstructured":"Tice C, Roeder T, Collingbourne P, Checkoway S, Erlingsson \u00da, Lozano L, Pike G (2014) Enforcing forward-edge control-flow integrity in GCC & LLVM. In: Proceedings of the 23rd USENIX conference on Security Symposium (SEC'14). USENIX Association, USA, pp 941\u2013955. https:\/\/doi.org\/10.5555\/2671225.2671285","DOI":"10.5555\/2671225.2671285"},{"key":"1142_CR10","doi-asserted-by":"publisher","unstructured":"Niu B, Tan G (2014) Modular control-flow integrity. In: SIGPLAN Not. 49, 6 (June 2014), pp 577\u2013587. https:\/\/doi.org\/10.1145\/2666356.2594295","DOI":"10.1145\/2666356.2594295"},{"key":"1142_CR11","doi-asserted-by":"publisher","unstructured":"Niu B, Tan G (2015) Per-Input control-flow integrity. In: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security (CCS '15). 914\u2013926. https:\/\/doi.org\/10.1145\/2810103.2813644","DOI":"10.1145\/2810103.2813644"},{"key":"1142_CR12","doi-asserted-by":"publisher","unstructured":"van der Veen V, Andriesse D, G\u00f6kta\u015f E, Gras B, Sambuc L, Slowinska A, Bos H, Giuffrida C (2015) Practical context-sensitive CFI. In: Proceedings of the 22nd ACM SIGSAC conference on computer and communications security (CCS '15). Association for Computing Machinery, New York, pp 927\u2013940. https:\/\/doi.org\/10.1145\/2810103.2813673","DOI":"10.1145\/2810103.2813673"},{"key":"1142_CR13","doi-asserted-by":"publisher","unstructured":"Ge X, Talele N, Payer M, Jaeger T (2016) Fine-grained control-flow integrity for kernel software. In: IEEE European symposium on security and privacy (EuroS&P), pp 179\u2013194. https:\/\/doi.org\/10.1109\/EuroSP.2016.24","DOI":"10.1109\/EuroSP.2016.24"},{"key":"1142_CR14","doi-asserted-by":"publisher","unstructured":"van der Veen V, G \u0308oktas E, Contag M, Pawoloski A, Chen X, Rawat S, Bos H, Holz T, Athanasopoulos E, Giuffrida C (2016) A tough call: Mitigating advanced code-reuse attacks at the binary level,\u201d in IEEE Symposium on Security and Privacy (S&P). pp. 934\u2013953. https:\/\/doi.org\/10.1109\/SP.2016.60","DOI":"10.1109\/SP.2016.60"},{"key":"1142_CR15","doi-asserted-by":"publisher","unstructured":"Ding R, Qian C, Song C, Harris B, Kim T, Lee W (2017) Efficient protection of path-sensitive control security. In: 26th Usenix security symposium, pp 131\u2013148. https:\/\/doi.org\/10.5555\/3241189.3241201","DOI":"10.5555\/3241189.3241201"},{"key":"1142_CR16","doi-asserted-by":"publisher","unstructured":"Khandaker M, Naser A, Liu W, Wang Z, Zhou Y, Cheng Y (2019) Adaptive call-site sensitive control flow integrity. In: IEEE european symposium on security and privacy (EuroS&P), pp 95\u2013110. https:\/\/doi.org\/10.1109\/EuroSP.2019.00017","DOI":"10.1109\/EuroSP.2019.00017"},{"key":"1142_CR17","doi-asserted-by":"publisher","unstructured":"Khandaker MR, Liu W, Naser A, Wang Z, Yang J (2019) Origin-sensitive control flow integrity. In: 28th Usenix security symposium, pp 195\u2013211. https:\/\/doi.org\/10.5555\/33.3361338.3361353","DOI":"10.5555\/33.3361338.3361353"},{"key":"1142_CR18","doi-asserted-by":"publisher","unstructured":"Nagarakatte S, Zhao J, Martin MMK, Zdancewic S (2009) Soft-bound: highly compatible and complete spatial memory safety for C. In: ACM conference on programming language design and implementation (PLDI), pp 245\u2013258. https:\/\/doi.org\/10.1145\/1543135.1542504","DOI":"10.1145\/1543135.1542504"},{"key":"1142_CR19","doi-asserted-by":"publisher","unstructured":"Xu S, Huang W, Lie D (2021) In-fat pointer: hardware-assisted tagged-pointer spatial memory safety defense with subobject granularity protection. In: Proceedings of the 26th ACM international conference on architectural support for programming languages and operating systems, 224\u2013240. https:\/\/doi.org\/10.1145\/3445814.3446761","DOI":"10.1145\/3445814.3446761"},{"key":"1142_CR20","doi-asserted-by":"publisher","unstructured":"Serebryany K, Bruening D, Potapenko A, Vyukov D (2012) Addresssanitizer: A fast address sanity checker. In: USENIX ATC. https:\/\/doi.org\/10.5555\/2342821.2342849","DOI":"10.5555\/2342821.2342849"},{"key":"1142_CR21","doi-asserted-by":"publisher","DOI":"10.1145\/566340.566343","author":"S Zdancewic","year":"2002","unstructured":"Zdancewic S, Zheng L, Nystrom N, Myers AC (2002) Secure program partitioning. ACM Trans Comput Syst. https:\/\/doi.org\/10.1145\/566340.566343","journal-title":"ACM Trans Comput Syst"},{"key":"1142_CR22","doi-asserted-by":"publisher","unstructured":"Zheng L, Chong S, Myers A, Zdancewic S (2003) Using replication and partitioning to build secure distributed systems. In: IEEE symposium on security and privacy (S&P), pp 236\u2013250. https:\/\/doi.org\/10.1109\/SECPRI.2003.1199340","DOI":"10.1109\/SECPRI.2003.1199340"},{"key":"1142_CR23","doi-asserted-by":"publisher","unstructured":"Provos N, Friedl M, Honeyman P (2003) Preventing privilege escalation. In: 12th Usenix security symposium, pp 231\u2013242. https:\/\/doi.org\/10.5555\/1251353.1251369","DOI":"10.5555\/1251353.1251369"},{"key":"1142_CR24","unstructured":"Kilpatrick D (2003) Privman: a library for partitioning applications. In: USENIX annual technical conference, pp 273\u2013284"},{"key":"1142_CR25","doi-asserted-by":"publisher","unstructured":"Brumley D, Song D (2004) Privtrans: Automatically partitioning programs for privilege separation. In: 13th Usenix Security Symposium, pp 57\u201372. https:\/\/doi.org\/10.5555\/1251375.1251380","DOI":"10.5555\/1251375.1251380"},{"key":"1142_CR26","doi-asserted-by":"publisher","unstructured":"Chong S, Liu J, Myers A, Qi X, Vikram K, Zheng L, Zheng X (2007) Secure web applications via automatic partitioning. In: ACM SIGOPS symposium on operating systems principles (SOSP). pp 31\u201344. https:\/\/doi.org\/10.1145\/1323293.1294265","DOI":"10.1145\/1323293.1294265"},{"key":"1142_CR27","doi-asserted-by":"publisher","unstructured":"Bittau A, Marchenko P, Handley M, Karp B (2008) Wedge: splitting applications into reduced-privilege compartments. In: Proceedings of the 5th USENIX symposium on networked systems design and implementation. pp 309\u2013322. https:\/\/doi.org\/10.5555\/1387589.1387611","DOI":"10.5555\/1387589.1387611"},{"key":"1142_CR28","doi-asserted-by":"publisher","unstructured":"Krishnamurthy A, Mettler A, Wagner D (2010) Fine-grained privilege separation for web applications. In: Proceedings of the 19th international conference on world wide web, pp 551\u2013560. https:\/\/doi.org\/10.1145\/1772690.1772747","DOI":"10.1145\/1772690.1772747"},{"key":"1142_CR29","doi-asserted-by":"publisher","unstructured":"Niu B, Tan G (2012) Enforcing user-space privilege separation with declarative architectures. In: Proceedings of the sixth ACM workshop on scalable trusted computing (STC), pp 9\u201320. https:\/\/doi.org\/10.1145\/2382536.2382541","DOI":"10.1145\/2382536.2382541"},{"key":"1142_CR30","doi-asserted-by":"publisher","unstructured":"Dong X, Hu H, Saxena P, Liang Z (2013) A quantitative evaluation of privilege separation in web browser designs. In: 18th european symposium on research in computer security (ESORICS), pp 75\u201393. https:\/\/doi.org\/10.1145\/3319535.3354218","DOI":"10.1145\/3319535.3354218"},{"key":"1142_CR31","doi-asserted-by":"publisher","unstructured":"Wu Y, Sun J, Liu Y, Dong JS (2013) Automatically partition software into least privilege components using dynamic data dependency analysis. In: International conference on automated software engineering (ASE). pp 323\u2013333. https:\/\/doi.org\/10.1109\/ASE.2013.6693091.","DOI":"10.1109\/ASE.2013.6693091"},{"key":"1142_CR32","doi-asserted-by":"publisher","unstructured":"Liu Y, Zhou T, Chen K, Chen H, Xia Y (2015) Thwarting memory disclosure with efficient hypervisor-enforced intra-domain isolation. In: 22nd ACM conference on computer and communications security (CCS). pp 1607\u20131619. https:\/\/doi.org\/10.1145\/2810103.2813690","DOI":"10.1145\/2810103.2813690"},{"key":"1142_CR33","doi-asserted-by":"publisher","unstructured":"Rubinov K, Rosculete L, Mitra T, Roychoudhury A (2016) Automated partitioning of Android applications for trusted execution environments. In: International conference on software engineering (ICSE). pp 923\u2013934. https:\/\/doi.org\/10.1145\/2884781.2884817","DOI":"10.1145\/2884781.2884817"},{"key":"1142_CR34","doi-asserted-by":"publisher","DOI":"10.1145\/2883591.2883601","author":"C Jacobsen","year":"2016","unstructured":"Jacobsen C, Khole M, Spall S, Bauer S, Burtsev A (2016) Lightweight capability domains: Towards decomposing the linux kernel. SIGOPS Oper Syst Rev. https:\/\/doi.org\/10.1145\/2883591.2883601","journal-title":"SIGOPS Oper Syst Rev"},{"key":"1142_CR35","doi-asserted-by":"publisher","unstructured":"Mambretti A, Onarlioglu K, Mulliner C, Robertson W, Kirda E, Maggi F, Zanero S (2016) Trellis: privilege separation for multi-user applications made easy. In: International symposium on research in attacks, intrusions and Defenses (RAID), pp. 437\u2013456. https:\/\/doi.org\/10.1007\/978-3-319-45719-2_20","DOI":"10.1007\/978-3-319-45719-2_20"},{"key":"1142_CR36","doi-asserted-by":"publisher","unstructured":"Lind J, Priebe C, Muthukumaran D, O\u2019Keeffe D, Aublin P, Kelbert F, Reiher T, Goltzsche D, Eyers DM, Kapitza R, Fetzer C, Pietzuch PR (2017) Glamdring: automatic application partitioning for intel SGX. In: USENIX annual technical conference (ATC). pp. 285\u2013298. https:\/\/dl.acm.org\/doi\/https:\/\/doi.org\/10.5555\/3154690.3154718","DOI":"10.5555\/3154690.3154718"},{"key":"1142_CR37","doi-asserted-by":"publisher","unstructured":"Liu S, Tan G, Jaeger T (2017) PtrSplit: supporting general pointers in automatic program partitioning. In 24th ACM conference on computer and communications security (CCS), pp 2359\u20132371. https:\/\/doi.org\/10.1145\/3133956.3134066","DOI":"10.1145\/3133956.3134066"},{"key":"1142_CR38","doi-asserted-by":"publisher","unstructured":"Liu S, Zeng D, Huang Y, Capobianco F, McCamant S, Jaeger T, Tan G (2019) Program-mandering: Quantitative privilege separation. In: 26th ACM conference on computer and communications security (CCS)., pp 1023\u20131040. https:\/\/doi.org\/10.1145\/3319535.3354218","DOI":"10.1145\/3319535.3354218"},{"key":"1142_CR39","doi-asserted-by":"publisher","unstructured":"Hind M (2001) Pointer analysis: haven\u2019t we solved this problem yet? In: ACM SIGPLAN\/SIGSOFT workshop on program analysis for software tools and engineering.https:\/\/doi.org\/10.1145\/379605.379665","DOI":"10.1145\/379605.379665"},{"key":"1142_CR40","doi-asserted-by":"publisher","unstructured":"Zhang Q, Xiao X, Zhang C, Yuan H, Su Z (2014) Efficient subcubic alias analysis for c. In: ACM SIGPLAN notices. pp 829\u2013845. https:\/\/doi.org\/10.1145\/2714064.2660213","DOI":"10.1145\/2714064.2660213"},{"key":"1142_CR41","doi-asserted-by":"publisher","unstructured":"Kroes T, Koning K, van der Kouwe E, Bos H, Giuffrida C (2018) Delta pointers: Buffer overflow checks without the checks. In: Proceedings of the thirteenth eurosys conference, ser. EuroSys 18. https:\/\/doi.org\/10.1145\/3190508.3190553","DOI":"10.1145\/3190508.3190553"},{"key":"1142_CR42","doi-asserted-by":"publisher","unstructured":"Ben-Nun T, Jakobovits AS, Hoefler T (2018) Neural code comprehension: A learnable representation of code semantics. In: NeurIPS. https:\/\/doi.org\/10.5555\/3327144.3327276","DOI":"10.5555\/3327144.3327276"},{"key":"1142_CR43","doi-asserted-by":"publisher","unstructured":"Liang K, Wu S, Gu J (2021) MKA: A scalable medical knowledge assisted mechanism for generative models on medical conversation tasks. In: Computational and mathematical methods in medicine. pp. 148\u2013168. https:\/\/doi.org\/10.1155\/2021\/5294627.","DOI":"10.1155\/2021\/5294627"},{"key":"1142_CR44","doi-asserted-by":"publisher","DOI":"10.5555\/3524938.3525814","author":"KK Teru","year":"2020","unstructured":"Teru KK, Denis E, Hamilton WL (2020) Inductive relation prediction by subgraph reasoning. ICML. https:\/\/doi.org\/10.5555\/3524938.3525814","journal-title":"ICML"},{"key":"1142_CR45","doi-asserted-by":"publisher","first-page":"124289","DOI":"10.1016\/j.physa.2020.124289","volume":"553","author":"A Kumar","year":"2020","unstructured":"Kumar A, Singh SS, Singh K, Biswas B (2020) Link prediction techniques, applications, and performance: a survey. Phys A Stat Mech Appl 553:124289. https:\/\/doi.org\/10.1016\/j.physa.2020.124289","journal-title":"Phys A Stat Mech Appl"},{"key":"1142_CR46","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1140\/EPJB\/E2009-00335-8","volume":"71","author":"T Zhou","year":"2009","unstructured":"Zhou T, Liu L, Zhang YC (2009) Predicting missing links via local information. Eur Phys J 71:623\u2013630. https:\/\/doi.org\/10.1140\/EPJB\/E2009-00335-8","journal-title":"Eur Phys J"},{"key":"1142_CR47","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/S0378-8733(03)00009-1","volume":"25","author":"L Adamic","year":"2001","unstructured":"Adamic L, Adar E (2001) Friends and neighbors on the web. Social Netw 25:211\u2013230. https:\/\/doi.org\/10.1016\/S0378-8733(03)00009-1","journal-title":"Social Netw"},{"key":"1142_CR48","first-page":"241","volume":"37","author":"P Jaccard","year":"1901","unstructured":"Jaccard P (1901) Distribution de la flore alpine dans le Bassin des Dranses et dans quelques regions voisines. Bulletin de la Soci\u00e9t\u00e9 Vaudoise des Sciences Naturelles 37:241\u2013272","journal-title":"Bulletin de la Soci\u00e9t\u00e9 Vaudoise des Sciences Naturelles"},{"key":"1142_CR49","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1016\/S0378-4371(02)00736-7","volume":"311","author":"A Barabasi","year":"2002","unstructured":"Barabasi A, Jeong H, Neda Z, Ravasz E, Schubert A, Vicsek T (2002) Evolution of the social network of scientific collaborations. Phys A Stat Mech Appl 311:590\u2013614. https:\/\/doi.org\/10.1016\/S0378-4371(02)00736-7","journal-title":"Phys A Stat Mech Appl"},{"issue":"1","key":"1142_CR50","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF02289026","volume":"18","author":"L Katz","year":"1953","unstructured":"Katz L (1953) A new status index derived from sociometric analysis. Psychometrika 18(1):39\u201343. https:\/\/doi.org\/10.1007\/BF02289026","journal-title":"Psychometrika"},{"issue":"7","key":"1142_CR51","doi-asserted-by":"publisher","first-page":"1019","DOI":"10.1002\/asi.20591","volume":"58","author":"D Liben-Nowell","year":"2007","unstructured":"Liben-Nowell D, Kleinberg J (2007) The link-prediction problem for social networks. J Am Soc Inform Sci Technol 58(7):1019\u20131031. https:\/\/doi.org\/10.1002\/asi.20591","journal-title":"J Am Soc Inform Sci Technol"},{"key":"1142_CR52","doi-asserted-by":"publisher","unstructured":"Tong H, Faloutsos C, Pan JY (2006) Fast random walk with restart and its applications. In: Sixth international conference on data mining, pp 613\u2013622. IEEE. Doi: https:\/\/doi.org\/10.1109\/ICDM.2006.70","DOI":"10.1109\/ICDM.2006.70"},{"issue":"7191","key":"1142_CR53","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1038\/nature06830","volume":"453","author":"A Clauset","year":"2008","unstructured":"Clauset A, Moore C, Newman M (2008) Hierarchical structure and the prediction of missing links in networks. Nature 453(7191):98\u2013101. https:\/\/doi.org\/10.1038\/nature06830","journal-title":"Nature"},{"issue":"52","key":"1142_CR54","doi-asserted-by":"publisher","first-page":"22073","DOI":"10.1073\/pnas.0908366106","volume":"106","author":"R Guimer\u00e0","year":"2009","unstructured":"Guimer\u00e0 R, Sales-Pardo M (2009) Missing and spurious interactions and the reconstruction of complex networks. Proc Natl Acad Sci 106(52):22073\u201322078. https:\/\/doi.org\/10.1073\/pnas.0908366106","journal-title":"Proc Natl Acad Sci"},{"key":"1142_CR55","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s41109-019-0170-z","volume":"4","author":"N Stanley","year":"2019","unstructured":"Stanley N, Bonacci T, Kwitt R, Niethammer M, Mucha PJ (2019) Stochastic block models with multiple continuous attributes. Appl Netw Sci 4:1\u201322. https:\/\/doi.org\/10.1007\/s41109-019-0170-z","journal-title":"Appl Netw Sci"},{"issue":"6\u20131","key":"1142_CR56","doi-asserted-by":"publisher","first-page":"062316","DOI":"10.1103\/PhysRevE.97.062316","volume":"97","author":"T Vall\u00e8s-Catal\u00e0","year":"2018","unstructured":"Vall\u00e8s-Catal\u00e0 T, Peixoto TP, Sales-Pardo M, Guimer\u00e0 R (2018) Consistencies and inconsistencies between model selection and link prediction in networks. Phys Review E 97(6\u20131):062316. https:\/\/doi.org\/10.1103\/PhysRevE.97.062316","journal-title":"Phys Review E"},{"key":"1142_CR57","doi-asserted-by":"publisher","unstructured":"Kuo TT, Yan R, Huang YY, Kung PH, Lin SD (2013) Unsupervised link prediction using aggregative statistics on heterogeneous social networks. In Proceedings of the 19th ACM SIGKDD international conference on knowledge discovery and data mining, ser. KDD \u201913, Association for Computing Machinery, New York, pp 775\u2013783. https:\/\/doi.org\/10.1145\/2487575.2487614","DOI":"10.1145\/2487575.2487614"},{"key":"1142_CR58","doi-asserted-by":"publisher","unstructured":"Yang J, McAuley J, Leskovec J (2013) Community detection in networks with node attributes. In: IEEE 13th international conference on data mining, pp 1151\u20131156. doi: https:\/\/doi.org\/10.1109\/ICDM.2013.167","DOI":"10.1109\/ICDM.2013.167"},{"key":"1142_CR59","doi-asserted-by":"publisher","unstructured":"Perozzi B, Al-Rfou R, Skiena S (2014) Deepwalk: online learning of social representations. In: Proceedings of the 20th ACM SIGKDD international conference on knowledge discovery and data mining, ser. KDD \u201914. ACM, New York, pp 701\u2013710. https:\/\/doi.org\/10.1145\/2623330.2623732","DOI":"10.1145\/2623330.2623732"},{"key":"1142_CR60","doi-asserted-by":"publisher","unstructured":"Grover A, Leskovec J (2016) Node2vec: Scalable feature learning for networks. In: Proceedings of the 22nd ACM SIGKDD international conference on Knowledge discovery and data mining , ser. KDD \u201916. Association for Computing Machinery, New York, p 855\u2013864. https:\/\/doi.org\/10.1145\/2939672.2939754","DOI":"10.1145\/2939672.2939754"},{"key":"1142_CR61","doi-asserted-by":"publisher","unstructured":"Ribeiro L F, Saverese P H, Figueiredo D R (2017) Struc2vec: Learning node representations from structural identity. In Proceedings of the 23rd ACM SIGKDD international conference on knowledge discovery and data mining , ser. KDD \u201917. ACM, New York, pp 385\u2013394. https:\/\/doi.org\/10.1145\/3097983.3098061","DOI":"10.1145\/3097983.3098061"},{"key":"1142_CR62","doi-asserted-by":"publisher","unstructured":"Perozzi B, Kulkarni V, Chen H, Skiena S (2017) Don't Walk, Skip! Online learning of multi-scale network embeddings. In: Proceedings of the 2017 IEEE\/ACM international conference on advances in social networks analysis and mining 2017, pp 258\u2013265. https:\/\/doi.org\/10.1145\/3110025.3110086","DOI":"10.1145\/3110025.3110086"},{"key":"1142_CR63","doi-asserted-by":"crossref","unstructured":"Schlichtkrull M, Kipf T N, Bloem P, Berg R V D, Titov I, Welling M (2018) Modeling relational data with graph convolutional networks. In: European semantic web conference, Springer, Cham, pp 593\u2013607","DOI":"10.1007\/978-3-319-93417-4_38"},{"key":"1142_CR64","doi-asserted-by":"publisher","unstructured":"Hind M (2001) Pointer analysis: haven't we solved this problem yet?. In: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on program analysis for software tools and engineering, pp 54\u201361. https:\/\/doi.org\/10.1145\/379605.379665","DOI":"10.1145\/379605.379665"},{"issue":"1","key":"1142_CR65","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1561\/2500000014","volume":"2","author":"Y Smaragdakis","year":"2015","unstructured":"Smaragdakis Y, Balatsouras G (2015) Pointer analysis. Found Trends Program Lang 2(1):1\u201369. https:\/\/doi.org\/10.1561\/2500000014","journal-title":"Found Trends Program Lang"},{"key":"1142_CR66","doi-asserted-by":"publisher","unstructured":"Sui Y, Xue J (2016) SVF: interprocedural static value-flow analysis in LLVM. In: Proceedings of the 25th international conference on compiler construction, pp 265\u2013266. https:\/\/doi.org\/10.1145\/2892208.2892235","DOI":"10.1145\/2892208.2892235"},{"key":"1142_CR67","doi-asserted-by":"publisher","unstructured":"Gurfinkel A, Navas J A (2017) A context-sensitive memory model for verification of C\/C++ programs. In: International static analysis symposium. Springer, pp 148\u2013168. https:\/\/doi.org\/10.1007\/978-3-319-66706-5_8","DOI":"10.1007\/978-3-319-66706-5_8"},{"key":"1142_CR68","doi-asserted-by":"publisher","unstructured":"Xu W, DuVarney D C, Sekar R (2004) An efficient and backwards-compatible transformation to ensure memory safety of C programs. In: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on foundations of software engineering, pp 117\u2013126. https:\/\/doi.org\/10.1145\/1029894.1029913","DOI":"10.1145\/1029894.1029913"},{"key":"1142_CR69","doi-asserted-by":"publisher","unstructured":"Blanchet B, Cousot P, Cousot R, Feret J, Mauborgne L, Min\u00e9 A, Monniaux D, Rival X (2003) A static analyzer for large safety-critical software. In: Proceedings of the ACM SIGPLAN 2003 conference on programming language design and implementation, pp 196\u2013207. https:\/\/doi.org\/10.1145\/781131.781153","DOI":"10.1145\/781131.781153"},{"key":"1142_CR70","doi-asserted-by":"publisher","unstructured":"Dor N, Rodeh M, Sagiv M (2003) CSSV: Towards a realistic tool for statically detecting all buffer overflows in C. In: Proceedings of the ACM SIGPLAN 2003 conference on programming language design and implementation, pp 155\u2013167. https:\/\/doi.org\/10.1145\/781131.781149","DOI":"10.1145\/781131.781149"},{"key":"1142_CR71","unstructured":"Nethercote N, Fitzhardinge J (2004) Bounds-checking entire programs without recompiling. SPACE"},{"key":"1142_CR72","doi-asserted-by":"publisher","unstructured":"Narayanan V, Huang Y, Tan G, Jaeger T, Burtsev A (2020) Lightweight kernel isolation with virtualization and VM functions. In: Proceedings of the 16th ACM SIGPLAN\/SIGOPS international conference on virtual execution environments, pp 157\u2013171. https:\/\/doi.org\/10.1145\/3381052.3381328","DOI":"10.1145\/3381052.3381328"},{"key":"1142_CR73","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J Ferrante","year":"1987","unstructured":"Ferrante J, Ottenstein KJ, Warren JD (1987) The program dependence graph and its use in optimization. ACM Trans Program Lang Syst 9:319\u2013349. https:\/\/doi.org\/10.1145\/24039.24041","journal-title":"ACM Trans Program Lang Syst"},{"key":"1142_CR74","doi-asserted-by":"publisher","unstructured":"Gilmer J, Schoenholz S S, Riley P F, Vinyals O, Dahl G E (2017) Neural message passing for quantum chemistry. In: International conference on machine learning, ser. Proceedings of Machine Learning Research, D. Precup and Y. W. I, Eds., vol 70. PMLR, 06\u201311 Aug 2017, pp 1263\u20131272. https:\/\/doi.org\/10.5555\/3305381.3305512","DOI":"10.5555\/3305381.3305512"},{"key":"1142_CR75","unstructured":"Xu K, Hu W, Leskovec J, Jegelka S (2018) How powerful are graph neural networks? In: International conference on learning representations"},{"key":"1142_CR76","doi-asserted-by":"publisher","unstructured":"Schlichtkrull M, Kipf T N, Bloem P, Berg R V D, Titov I, Welling M (2018) Modeling relational data with graph convolutional networks. In: European semantic web conference, pp 593\u2013607. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-319-93417-4_38","DOI":"10.1007\/978-3-319-93417-4_38"},{"key":"1142_CR77","unstructured":"Veli\u010dkovi\u0107 P, Cucurull G, Casanova A, Romero A, Lio P, Bengio Y (2018) Graph attention networks.In: International conference on learning representations (ICLR). https:\/\/arxiv.org\/abs\/1710.10903"},{"key":"1142_CR78","volume-title":"Program analysis and specialization for the C programming language","author":"LO Andersen","year":"1994","unstructured":"Andersen LO (1994) Program analysis and specialization for the C programming language. University of Copenhagen, DIKU"},{"key":"1142_CR79","doi-asserted-by":"publisher","DOI":"10.1155\/2021\/5294627","author":"K Liang","year":"2021","unstructured":"Liang K, Wu S, Gu J (2021) MKA: A scalable medical knowledge-assisted mechanism for generative models on medical conversation tasks. Comput Math Methods Med. https:\/\/doi.org\/10.1155\/2021\/5294627","journal-title":"Comput Math Methods Med"},{"key":"1142_CR80","doi-asserted-by":"crossref","unstructured":"Chen J, He H, Wu F, Wang J (2021) Topology-aware correlations between relations for inductive link prediction in knowledge graphs. In: Proceedings of the AAAI Conference on Artificial Intelligence, Vol 35, No 7, pp 6271\u20136278","DOI":"10.1609\/aaai.v35i7.16779"},{"key":"1142_CR81","doi-asserted-by":"crossref","unstructured":"Mai S, Zheng S, Yang Y, Hu H (2021) Communicative message passing for inductive relation reasoning. In AAAI, pp 4294\u20134302","DOI":"10.1609\/aaai.v35i5.16554"},{"key":"1142_CR82","doi-asserted-by":"publisher","unstructured":"Liang K, Meng L, Liu M, Liu Y, Tu W, Wang S, Zhou S, Liu X, Sun F (2022) Reasoning over different types of knowledge graphs: static, temporal and multi-modal. https:\/\/doi.org\/10.48550\/arXiv.2212.05767","DOI":"10.48550\/arXiv.2212.05767"}],"container-title":["Pattern Analysis and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10044-023-01142-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10044-023-01142-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10044-023-01142-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,22]],"date-time":"2023-07-22T14:03:21Z","timestamp":1690034601000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10044-023-01142-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,19]]},"references-count":82,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,8]]}},"alternative-id":["1142"],"URL":"https:\/\/doi.org\/10.1007\/s10044-023-01142-2","relation":{},"ISSN":["1433-7541","1433-755X"],"issn-type":[{"value":"1433-7541","type":"print"},{"value":"1433-755X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,2,19]]},"assertion":[{"value":"26 April 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 January 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 February 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no competing interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}