Write a Blog >>
Thu 12 Nov 2020 08:39 - 08:40 at Virtual room 1 - Analysis 4

We propose a novel fine-grained integration of pointer analysis with
dynamic analysis, including dynamic symbolic execution. This is
achieved via past-sensitive pointer analysis, an on-demand
pointer analysis instantiated with an abstraction of the dynamic
state on which it is invoked.
We evaluate our technique in three application scenarios: chopped
symbolic execution, symbolic pointer resolution, and
write integrity testing.
Our preliminary results show that the approach can have a significant
impact in these scenarios, by effectively improving the precision of
standard pointer analysis with only a modest performance overhead.

Thu 12 Nov

Displayed time zone: (UTC) Coordinated Universal Time change

08:30 - 09:00
08:30
2m
Talk
Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization
Research Papers
Dirk Beyer LMU Munich, Germany, Karlheinz Friedberger LMU Munich, Germany
DOI Pre-print Media Attached
08:33
1m
Talk
Inherent Vacuity for GR(1) Specifications
Research Papers
Shahar Maoz Tel Aviv University, Israel, Rafi Shalom Tel Aviv University, Israel
DOI
08:35
1m
Talk
Interval Counterexamples for Loop Invariant Learning
Research Papers
Rongchen Xu Tsinghua University, China, Fei He Tsinghua University, Bow-Yaw Wang Academia Sinica
DOI
08:37
1m
Talk
Modular Collaborative Program Analysis in OPAL
Research Papers
Dominik Helm TU Darmstadt, Germany, Florian Kübler TU Darmstadt, Germany, Michael Reif TU Darmstadt, Germany, Michael Eichberg TU Darmstadt, Germany, Mira Mezini TU Darmstadt, Germany
DOI
08:39
1m
Talk
Past-Sensitive Pointer Analysis for Symbolic Execution
Research Papers
David Trabish Tel Aviv University, Israel, Timotej Kapus Imperial College London, UK, Noam Rinetzky Tel Aviv University, Cristian Cadar Imperial College London, UK
DOI Pre-print Media Attached
08:41
19m
Talk
Conversations on Analysis 4
Paper Presentations
David Trabish Tel Aviv University, Israel, Dominik Helm TU Darmstadt, Germany, Rafi Shalom Tel Aviv University, Israel, Rongchen Xu Tsinghua University, China, Shahar Maoz Tel Aviv University, Israel, M: Rachel Tzoref-Brill IBM Research