中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共5条，第1-5条 帮助

已选(0)清除 条数/页：   排序方式：
Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 卷号: 50, 期号: 9, 页码: 2379-2397
作者:  Shi, Chenghang;  Li, Haofeng;  Sui, Yulei;  Lu, Jie;  Li, Lian;  Xue, Jingling
收藏  |  浏览/下载：1/0  |  提交时间：2024/12/06
Production  Standards  Termination of employment  Redundancy  Optimization  Heuristic algorithms  Symbols  Program analysis  CFL-reachability  constraint solving  transitive relations  
Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 卷号: 50, 期号: 5, 页码: 1144-1162
作者:  Li, Haofeng;  Tan, Tian;  Li, Yue;  Lu, Jie;  Meng, Haining;  Cao, Liqing;  Huang, Yongheng;  Li, Lian;  Gao, Lin;  Di, Peng;  Lin, Liang;  Cui, Chenxi
收藏  |  浏览/下载：2/0  |  提交时间：2024/12/06
Sensitivity  Receivers  Java  Resource management  Codes  Software  Benchmark testing  Pointer analysis  generic programming  context sensitivity  
面向Android应用隐私泄露检测的多源污点分析技术 期刊论文
软件学报, 2019, 卷号: 30.0, 期号: 002, 页码: 211
作者:  王蕾;  周卿;  何冬杰;  李炼;  冯晓兵
收藏  |  浏览/下载：13/0  |  提交时间：2023/12/04
程序分析  污点分析  软件安全  静态分析  Android  
污点分析技术的原理和实践应用 期刊论文
软件学报, 2017, 卷号: 28.0, 期号: 004, 页码: 860
作者:  王蕾;  李丰;  李炼;  冯晓兵
收藏  |  浏览/下载：19/0  |  提交时间：2023/12/04
污点分析  信息流分析  软件安全  静态分析与动态分析  Android  Web  
无权访问的条目 学位论文
作者:  黎炼
Adobe PDF(3475Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2015/06/25