Selective context-sensitivity guided by impact pre-analysis
We present a method for selectively applying context-sensitivity during interprocedural
program analysis. Our method applies context-sensitivity only when and where doing so is …
program analysis. Our method applies context-sensitivity only when and where doing so is …
Access-based localization with bypassing
We present an extension of access-based localization technique to mitigate a substantial
inefficiency in handling procedure calls. Recently, access-based localization was proposed …
inefficiency in handling procedure calls. Recently, access-based localization was proposed …
Large spurious cycle in global static analyses and its algorithmic mitigation
H Oh - Asian Symposium on Programming Languages and …, 2009 - Springer
We present a simple algorithmic extension of the classical call-strings approach to mitigate
substantial performance degradation caused by spurious interprocedural cycles. Spurious …
substantial performance degradation caused by spurious interprocedural cycles. Spurious …
An algorithmic mitigation of large spurious interprocedural cycles in static analysis
We present a simple algorithmic extension of the approximate call‐strings approach to
mitigate substantial performance degradation caused by spurious interprocedural cycles …
mitigate substantial performance degradation caused by spurious interprocedural cycles …
Access-based abstract memory localization in static analysis
On-the-fly localization of abstract memory states is vital for economical abstract interpretation
of imperative programs. Such localization is sometimes called “abstract garbage collection” …
of imperative programs. Such localization is sometimes called “abstract garbage collection” …
Selective conjunction of context‐sensitivity and octagon domain toward scalable and precise global static analysis
We present a practical technique for achieving a scalable and precise global static analysis
by selectively applying context‐sensitivity and the octagon relational domain. For precise …
by selectively applying context‐sensitivity and the octagon relational domain. For precise …
함수호출을구별하는분석에서가짜경로를없애는한방법
허기홍， 오학주， 이광근 - 한국정보과학회학술발표논문집, 2011 - dbpia.co.kr
함수 호출 문맥을 요약하는 프로그램 분석은 가짜 경로 문제로 인해 심각한 성능저하를 겪기
마련이다. 이는 함수 호출 문맥이 요약되면서 분석 정보를 어디로 흘려보내야 할지 정확히 알 수 …
마련이다. 이는 함수 호출 문맥이 요약되면서 분석 정보를 어디로 흘려보내야 할지 정확히 알 수 …
[PDF][PDF] Large Spurious Cycles in Global Static Analyses and Their Algorithmic Mitigation
H Oh - 2009 - rosaec.snu.ac.kr
We present a simple algorithmic extension of the classical call-strings approach to mitigate
substantial performance degradation caused by spurious interprocedural cycles. Spurious …
substantial performance degradation caused by spurious interprocedural cycles. Spurious …