|
1
|
融合静态程序分析与集成学习的Android代码异味共存检测 |
王祯启
边奕心
马偌楠
毕博宇
王金鑫
|
《计算机应用研究》
北大核心
|
2025 |
0 |
|
|
2
|
UEFI的启发式逆向分析与模糊测试方法 |
林欣康
顾匡愚
赵磊
|
《软件学报》
EI
CSCD
北大核心
|
2024 |
2
|
|
|
3
|
异常信息敏感的框架API生命周期模型构造 |
燕季薇
黄进豪
杨恒钦
严俊
|
《计算机学报》
EI
CAS
CSCD
北大核心
|
2024 |
0 |
|
|
4
|
程序分析研究进展 |
张健
张超
玄跻峰
熊英飞
王千祥
梁彬
李炼
窦文生
陈振邦
陈立前
蔡彦
|
《软件学报》
EI
CSCD
北大核心
|
2019 |
50
|
|
|
5
|
一种路径敏感的静态缺陷检测方法 |
肖庆
宫云战
杨朝红
金大海
王雅文
|
《软件学报》
EI
CSCD
北大核心
|
2010 |
29
|
|
|
6
|
程序静态分析技术与工具 |
杨宇
张健
|
《计算机科学》
CSCD
北大核心
|
2004 |
26
|
|
|
7
|
面向Android应用隐私泄露检测的多源污点分析技术 |
王蕾
周卿
何冬杰
李炼
冯晓兵
|
《软件学报》
EI
CSCD
北大核心
|
2019 |
10
|
|
|
8
|
基于稀疏框架的静态污点分析优化技术 |
王蕾
何冬杰
李炼
冯晓兵
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2019 |
9
|
|
|
9
|
程序理解:现状与未来 |
金芝
刘芳
李戈
|
《软件学报》
EI
CSCD
北大核心
|
2019 |
14
|
|
|
10
|
JUTA:一个Java自动化单元测试工具 |
严俊
郭涛
阮辉
玄跻峰
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2010 |
14
|
|
|
11
|
提高路径敏感缺陷检测方法的效率及精度研究 |
赵云山
宫云战
刘莉
肖庆
杨朝红
|
《计算机学报》
EI
CSCD
北大核心
|
2011 |
9
|
|
|
12
|
软件安全漏洞的静态检测技术 |
张林
曾庆凯
|
《计算机工程》
CAS
CSCD
北大核心
|
2008 |
41
|
|
|
13
|
基于约束分析与模型检测的代码安全漏洞检测方法研究 |
王雷
陈归
金茂忠
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2011 |
6
|
|
|
14
|
Android应用软件功能泄露漏洞挖掘工具的设计与实现 |
方喆君
刘奇旭
张玉清
|
《中国科学院大学学报（中英文）》
CAS
CSCD
北大核心
|
2015 |
8
|
|
|
15
|
基于k近邻最弱前置条件的程序多路径验证方法 |
郭曦
王盼
王建勇
张焕国
|
《计算机学报》
EI
CSCD
北大核心
|
2015 |
5
|
|
|
16
|
基于程序静态分析和故障树的软件故障检测 |
叶俊民
张涛
董威
齐治昌
|
《计算机工程》
CAS
CSCD
北大核心
|
2008 |
2
|
|
|
17
|
缓冲区溢出漏洞检测技术研究进展 |
张保稳
施军
张晖
|
《计算机应用与软件》
CSCD
北大核心
|
2006 |
4
|
|
|
18
|
一种C程序内存访问缺陷自动化检测方法研究 |
杨飏
张焕国
王后珍
|
《计算机科学》
CSCD
北大核心
|
2010 |
3
|
|
|
19
|
基于静力虚拟变形法的结构损伤识别研究 |
李宏男
林世伟
伊廷华
|
《建筑科学与工程学报》
CAS
北大核心
|
2016 |
6
|
|
|
20
|
基于值依赖分析的空指针解引用检测 |
马森
赵文
习翔宇
王栋伟
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2015 |
4
|
|
