Software Security Analysis in 2030 and Beyond: A Research Roadmap. - Böhme, Marcel; Bodden, Eric; Bultan, Tevfik; Cadar, Cristian; Liu, Yang; Scanniello, Giuseppe (CoRR, 2024)