English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Statically reasoning in the presence of and about exceptions is challenging:exceptions worsen the well-known mutual recursion between data-flow andcontrol-flow analysis. The recent development of pushdown control-flow analysisfor the {\lambda}-calculus hints at a way to improve analysis of exceptions: apushdown stack can precisely match catches to throws in the same way it matchesreturns to calls. This work generalizes pushdown control-flow analysis toobject-oriented programs and to exceptions. Pushdown analysis of exceptionsimproves precision over the next best analysis, Bravenboer and Smaragdakis'sDoop, by orders of magnitude. By then generalizing abstract garbage collectionto object-oriented programs, we reduce analysis time by half over pure pushdownanalysis. We evaluate our implementation for Dalvik bytecode on standardbenchmarks as well as several Android applications.

Pushdown Exception-Flow Analysis of Object-Oriented Programs