Gradual Program Analysis for Null Pointers

Carnegie Mellon University, Pittsburgh, PA, USA Carnegie Mellon University, Pittsburgh, PA, USA Carnegie Mellon University, Pittsburgh, PA, USA Computer Science Department (DCC), University of Chile, Santiago, Chile FONDECYT Regular project 1190058 Jane Street, New York, NY, USA Carnegie Mellon University, Pittsburgh, PA, USA \CopyrightSam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, and Joshua Sunshine {CCSXML} <ccs2012> <concept> <concept_id>10011007.10011006.10011008</concept_id> <concept_desc>Software and its engineering General programming languages</concept_desc> <concept_significance>500</concept_significance> </concept> <concept> <concept_id>10011007.10011074.10011099</concept_id> <concept_desc>Software and its engineering Software verification and validation</concept_desc> <concept_significance>300</concept_significance> </concept> </ccs2012> \ccsdesc[500]Software and its engineering General programming languages \ccsdesc[300]Software and its engineering Software verification and validation \supplementhttps://github.com/orgs/gradual-verification/packages/container/package/ecoop21 \fundingNational Science Foundation under Grant No. CCF-1901033 and Grant No. CCF-1852260 \EventEditorsManu Sridharan and Anders Møller \EventNoEds2 \EventLongTitle35th European Conference on Object-Oriented Programming (ECOOP 2021) \EventShortTitleECOOP 2021 \EventAcronymECOOP \EventYear2021 \EventDateJuly 12–16, 2021 \EventLocationAarhus, Denmark (Virtual Conference) \EventLogo \SeriesVolume194 \ArticleNo4 \savesymbolBbbk