Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis. - Panagiotis Diamantakis; Thanassis Avgerinos; Yannis Smaragdakis (CoRR, 2025)