| 标题 |
TaintSE: Dynamic Taint Analysis Combined with Symbolic Execution and Constraint Association TaintSE:结合符号执行和约束关联的动态污点分析
相关领域
计算机科学
污点检查
约束(计算机辅助设计)
静态分析
路径分析(统计学)
集合(抽象数据类型)
路径(计算)
象征性执行
数据挖掘
机器学习
程序设计语言
数学
软件
几何学
|
| 备注 |
谢谢
|
| 网址 | |
| DOI | |
| 求助人 | |
| 下载 | 求助已完成,仅限求助人下载。 |
|
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|