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

Static analyses make the increasingly tenuous assumption that all source codeis available for analysis; for example, large libraries often call into nativecode that cannot be analyzed. We propose a points-to analysis that initiallymakes optimistic assumptions about missing code, and then inserts runtimechecks that report counterexamples to these assumptions that occur duringexecution. Our approach guarantees eventual soundness, i.e., the staticanalysis is sound for the available code after some finite number ofcounterexamples. We implement Optix, an eventually sound points-to analysis forAndroid apps, where the Android framework is missing. We show that the runtimechecks added by Optix incur low overhead on real programs, and demonstrate howOptix improves a client information flow analysis for detecting Androidmalware.

Eventually Sound Points-To Analysis with Missing Code