Structurally Defined Conditional Data-Flow Static Analysis

Download PDF
Open Webpage

Elena Sherman, Matthew B. Dwyer

Published: 2018, Last Modified: 22 Mar 2026TACAS (2) 2018EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Data flow analysis (DFA) is an important verification technique that computes the effect of data values propagating over program paths. While more precise than flow-insensitive analyses, such an analysis is time-consuming.