Syntactic and Semantic Soundness of Structural Dataflow Analysis
In Proceedings of the 26th International Symposium on Static Analysis, Bor-Yuh Evan Chang (Ed), Porto, Portugal, October 8-11, 2019. LNCS 11822, pp. 96—117, © Springer, 2019.
We show that the classical approach to the soundness of dataflow analysis is with respect to a syntactic path abstraction that may be problematic with respect to a semantics trace-based specification. The fix is a rigorous abstract interpretation based approach to formally construct dataflow analysis algorithms by calculational design.
Abstract interpretation — Dataflow analysis — Model-checking — Soundness
@inproceedings{DBLP:conf/sas/Cousot19,
author = {Patrick Cousot},
title = {Syntactic and Semantic Soundness of Structural Dataflow Analysis},
booktitle = {{SAS}},
series = {Lecture Notes in Computer Science},
volume = {11822},
pages = {96--117},
publisher = {Springer},
year = {2019}
}