@inproceedings{65e3069002db489786cac2150eb3fd5c,
title = "A binary decision tree abstract domain functor",
abstract = "We present an abstract domain functor whose elements are binary decision trees. It is parameterized by decision nodes which are a set of boolean tests appearing in the programs and by a numerical or symbolic abstract domain whose elements are the leaves. We first define the branch condition path abstraction which forms the decision nodes of the binary decision trees. It also provides a new prospective on partitioning the trace semantics of programs as well as separating properties in the leaves. We then discuss our binary decision tree abstract domain functor by giving algorithms for inclusion test, meet and join, transfer functions and extrapolation operators. We think the binary decision tree abstract domain functor may provide a flexible way of adjusting the cost/precision ratio in path-dependent static analysis.",
author = "Junjie Chen and Patrick Cousot",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2015.; 22nd International Static Analysis Symposium, SAS 2015 ; Conference date: 09-09-2015 Through 11-09-2015",
year = "2015",
doi = "10.1007/978-3-662-48288-9_3",
language = "English (US)",
isbn = "9783662482872",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "36--53",
editor = "Sandrine Blazy and Thomas Jensen",
booktitle = "Static Analysis- 22nd International Symposium, SAS 2015, Proceedings",
}