The role of program analysis in security vulnerability detection: Then and now. - Cifuentes, Cristina; Gauthier, François; Hassanshahi, Behnaz; Krishnan, Padmanabhan; McCall, Davin (Computers & Security, 2023)