
Author(s) -
Chengpeng Wang,
Qianqian Wang,
Peisen Yao,
Qingkai Shi,
Ji-Lin Zhou,
Xiao Xiao,
Charles Zhang
Publication year - 2023
Publication title -
acm transactions on software engineering and methodology
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.597
H-Index - 78
eISSN - 1557-7392
pISSN - 1049-331X
DOI - 10.1145/3565800
Subject(s) - computer science , pointer analysis , reachability , pointer (user interface) , spurious relationship , false positive paradox , static analysis , program analysis , graph , container (type theory) , control flow graph , programming language , theoretical computer science , artificial intelligence , mechanical engineering , machine learning , engineering