منابع مشابه
H-CFA: a Simplified Approach for Pushdown Control Flow Analysis
H -CFA: A SIMPLIFIED APPROACH FOR PUSHDOWN CONTROL FLOW ANALYSIS by Fei Peng The University of Wisconsin-Milwaukee, 2016 Under the Supervision of Professor Tian Zhao In control flow analysis (CFA), call/return mismatch is a problem that reduces analysis precision. So-called k -CFA uses bounded call-strings to obtain limited call/return matching, but it has a serious performance problem due to i...
متن کاملA Linear Encoding of Pushdown Control-Flow Analysis
We describe a linear-algebraic encoding for pushdown controlflow analysis of higher-order programs. Pushdown controlflow analyses obtain a greater precision in matching calls with returns by encoding stack-actions on the edges of a Dyck state graph. This kind of analysis requires a number of distinct transitions and was not amenable to parallelization using the approach of EigenCFA. Recent work...
متن کاملPushdown Control-Flow Analysis of Higher-Order Programs
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites— a property that eliminates spurious interprocedural paths. Vardoulakis and Shivers’s recent formulation of CFA2 showed that it is possible (if expensive) to apply context-free methods to higherorder languages and gain the same boost in precision achieved over first-or...
متن کاملPushdown flow analysis with abstract garbage collection
In the static analysis of functional programs, pushdown flow analysis and abstract garbage collection push the boundaries of what we can learn about programs statically. This work illuminates and poses solutions to theoretical and practical challenges that stand in the way of combining the power of these techniques. Pushdown flow analysis grants unbounded yet computable polyvariance to the anal...
متن کاملPushdown Exception-Flow Analysis of Object-Oriented Programs
Statically reasoning in the presence of and about exceptions is challenging: exceptions worsen the well-known mutual recursion between data-flow and control-flow analysis. The recent development of pushdown control-flow analysis for the λ-calculus hints at a way to improve analysis of exceptions: a pushdown stack can precisely match catches to throws in the same way it matches returns to calls....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2016
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2914770.2837631