TY - GEN
T1 - SLR
T2 - 15th International Static Analysis Symposium, SAS 2008
AU - Balakrishnan, Gogul
AU - Sankaranarayanan, Sriram
AU - Ivančić, Franjo
AU - Wei, Ou
AU - Gupta, Aarti
PY - 2008
Y1 - 2008
N2 - We present a technique for detecting semantically infeasible paths in programs using abstract interpretation. Our technique uses a sequence of path-insensitive forward and backward runs of an abstract interpreter to infer paths in the control flow graph that cannot be exercised in concrete executions of the program. We then present a syntactic language refinement (SLR) technique that automatically excludes semantically infeasible paths from a program during static analysis. SLR allows us to iteratively prove more properties. Specifically, our technique simulates the effect of a path-sensitive analysis by performing syntactic language refinement over an underlying path-insensitive static analyzer. Finally, we present experimental results to quantify the impact of our technique on an abstract interpreter for C programs.
AB - We present a technique for detecting semantically infeasible paths in programs using abstract interpretation. Our technique uses a sequence of path-insensitive forward and backward runs of an abstract interpreter to infer paths in the control flow graph that cannot be exercised in concrete executions of the program. We then present a syntactic language refinement (SLR) technique that automatically excludes semantically infeasible paths from a program during static analysis. SLR allows us to iteratively prove more properties. Specifically, our technique simulates the effect of a path-sensitive analysis by performing syntactic language refinement over an underlying path-insensitive static analyzer. Finally, we present experimental results to quantify the impact of our technique on an abstract interpreter for C programs.
UR - http://www.scopus.com/inward/record.url?scp=48949085922&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=48949085922&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-69166-2_16
DO - 10.1007/978-3-540-69166-2_16
M3 - Conference contribution
AN - SCOPUS:48949085922
SN - 3540691634
SN - 9783540691631
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 238
EP - 254
BT - Static Analysis - 15th International Symposium, SAS 2008, Proceedings
Y2 - 16 July 2008 through 18 July 2008
ER -