文章预览
一看标题便知，今天推荐的论文是一篇高瞻远瞩之作，这就是来自TOSEM的最新论文 Software Security Analysis in 2030 and Beyond: A Research Roadmap 敢叫这样的名字，论文作者是有底气的——都是一众软件工程领域赫赫有名的研究人员。读这种文章，不能像读其他类型的技术论文那样钻研细节，而是要抓大放小，从字里行间去感受未来的研究趋势，然后做出自己的选择。当然不是教你亦步亦趋人云亦云，但是从社区的主流意见里面获取研究方向和研究选择，这类文章的参考价值非常重要。 论文主要分成了两个大的部分： 软件安全分析的现状 和 软件安全分析的挑战与机遇 （还是那么高瞻远瞩风格）。下面我们来学习一下 领导讲话 。 软件安全分析的现状 这部分主要总结了当前软件安全分析研究的几个热门分类，来看看你研究的是哪个方向： 形式化验证 ：这部
………………………………
