Software Security Analysis in 2030 and Beyond: A Research Roadmap
arxiv.org