10.1007_978-3-030-17465-1_22-citation.bib
automated manner. It provides class hierarchy, call-graph, points-to, and data-flow information, hence requiring analysis developers only to specify a definition of the data-flow problem. PhASAR thus hides the …
bib, 2 KB