TY - GEN
T1 - How accurate is dynamic program slicing? An empirical approach to compute accuracy bounds
AU - Jiang, Siyuan
AU - Santelices, Raul
AU - Cai, Haipeng
AU - Grechanik, Mark
N1 - Publisher Copyright:
© 2014 IEEE.
PY - 2014/9/17
Y1 - 2014/9/17
N2 - Dynamic program slicing attempts to find runtime dependencies among statements to support security, reliability, and quality tasks such as information-flow analysis, testing, and debugging. However, it is not known how accurately dynamic slices identify statements that really affect each other. We propose a new approach to estimate the accuracy of dynamic slices. We use this approach to obtain bounds on the accuracy of multiple dynamic slices in Java software. Early results suggest that dynamic slices suffer from some imprecision and, more critically, can have a low recall whose upper bound we estimate to be 60% on average.
AB - Dynamic program slicing attempts to find runtime dependencies among statements to support security, reliability, and quality tasks such as information-flow analysis, testing, and debugging. However, it is not known how accurately dynamic slices identify statements that really affect each other. We propose a new approach to estimate the accuracy of dynamic slices. We use this approach to obtain bounds on the accuracy of multiple dynamic slices in Java software. Early results suggest that dynamic slices suffer from some imprecision and, more critically, can have a low recall whose upper bound we estimate to be 60% on average.
KW - dynamic slicing
KW - program slicing
KW - semantic dependence
KW - sensitivity analysis
UR - https://www.scopus.com/pages/publications/84908621737
U2 - 10.1109/SERE-C.2014.14
DO - 10.1109/SERE-C.2014.14
M3 - Conference contribution
AN - SCOPUS:84908621737
T3 - Proceedings - 8th International Conference on Software Security and Reliability - Companion, SERE-C 2014
SP - 3
EP - 4
BT - Proceedings - 8th International Conference on Software Security and Reliability - Companion, SERE-C 2014
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 8th International Conference on Software Security and Reliability - Companion, SERE-C 2014
Y2 - 30 June 2014 through 2 July 2014
ER -