孙全(1993-),男,安徽淮南人,硕士,主要研究领域为安卓数据竞争检测;夏昕濛(1993-),男,博士生,主要研究领域为程序分析;许蕾(1978-),女,博士,副教授,CCF专业会员,主要研究领域为Web程序设计语言分析,Web应用恶意代码识别分析;张卫丰(1974-),男,博士,教授,CCF高级会员,主要研究领域为代码仓库,持续集成,程序分析.
许蕾,E-mail:xlei@nju.edu.cn
TP311
国家重点基础研究发展计划(973)(2014CB340702);国家自然科学基金(61272080,91418202,61403187);江苏省自然科学基金(BK20140611)
National Program on Key Basic Research Project of China (973) (2014CB340702); National Natural Science Foundation of China (61272080, 91418202, 61403187); Natural Science Foundation of Jiangsu Province (BK20140611)
孙全,许蕾,夏昕濛,张卫丰.使用共享变量分析和约束求解检测安卓应用数据竞争.软件学报,2019,30(11):3281-3296
复制