A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version)

Aleksandar S. Dimovski, Sven Apel, Axel Legay

Lifted (family-based) static analysis by abstract interpretation is capable of analyzing all variants of a program family simultaneously, in a single run without generating any of…