Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Sun 13 Jan 2019 16:30 - 17:00 at Sala III - Abstract Interpretation (2) Chair(s): Mihaela Sighireanu

Traditional machine-based static analyses use a worklist algorithm to explore the analysis state space, and compare each state in the worklist against a set of seen states as part of their fixed-point computation. This may require many state comparisons, which gives rise to a computational overhead. Even an analysis with a global store has to clear its set of seen states each time the store updates because of allocation or side-effects, which results in more states being reanalyzed and compared.

In this work we present a static analysis technique, ModF, that does not rely on a set of seen states, and apply it to a machine-based analysis with global-store widening. ModF analyzes one function execution at a time to completion while tracking read, write, and call effects. These effects trigger the analysis of other function executions, and the analysis terminates when no new effects can be discovered.

We compared ModF to a traditional machine-based analysis implementation on a set of 20 benchmark programs and found that ModF is faster for 17 programs with speedups ranging between 1.4x and 12.3x. Furthermore, ModF exhibits similar precision as the traditional analysis and yields state graphs that are comparable in size.

Sun 13 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

16:00 - 17:30: Abstract Interpretation (2)VMCAI at Sala III
Chair(s): Mihaela SighireanuIRIF, University Paris Diderot and CNRS, France
16:00 - 16:30
Demand Control-Flow Analysis
Kimball GermaneUniversity of Utah, Jay McCarthyUniversity of Massachusetts Lowell, Michael D. AdamsUniversity of Utah, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
16:30 - 17:00
Effect-driven Flow Analysis
Jens NicolayVrije Universiteit Brussel, Belgium, Quentin StiévenartVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
17:00 - 17:30
Relatively Complete Pushdown Analysis of Escape Continuations
Kimball GermaneUniversity of Utah, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School