@misc{1145911, author = {David W Binkley and James R Lyle}, title = {Application of the pointer state subgraph to static program slicing:}, year = {1996}, month = {1996-01-01 05:01:00}, publisher = {, National Institute of Standards and Technology, Gaithersburg, MD}, doi = {https://doi.org/10.6028/NIST.IR.5799}, language = {en}, }