首页
程序开发
写作辅助
多媒体
实用工具
博客
当前分类:
symbolic-execution
pointers - llvm中有符号执行工具吗?
haskell - 有状态计算上 "keep turning the crank"的有效方法
testing - 无需模型检查即可实现符号执行
static-analysis - 可达性和符号执行
haskell - 越界 `select` 即使我 `constrain` 索引
validation - 符号执行和模型检查
security - 符号执行和污点分析之间有什么差距?
testing - 现代符号执行技术
validation - 符号执行的应用
testing - 静态分析和符号执行中的错误检测
validation - 实现中的静态分析与符号执行
testing - 如何为特定语言实现符号执行引擎?
testing - 在concolic测试中, "concrete execution"是什么意思?
«
1
»
热门标签:
编程
数据结构与算法
其他