11.3.3 用函数模拟延迟计算
2011-10-28 21:10
323 查看
在Vine中间状态之中，程序的路径约束是一个后置条件的结合。表现形式是一系列断言，每次执行轨迹到达一个分支时，Vine生成一个记录此路径条件的后置条件变量，指引程序沿着特殊的路径执行。断言序列代表着程序执行轨迹的路径。（来源于 A case study of the application of dse real-world binary program）
本文出自 “毕兹卡的男人” 博客，转载请与作者联系！
本文出自 “毕兹卡的男人” 博客，转载请与作者联系！
内容来自用户分享和网络整理，不保证内容的准确性，如有侵权内容，可联系管理员处理 
相关文章推荐
- 11.3.3 用函数模拟延迟计算
- MATLAB中的cumsum()函数 计算…
- 用C++语言模拟实现"逢10进1"的计算法则
- Python shutil.copy 函数
- PDO 函数库详解（二） -- PDOState…
- C# 引用类型作为函数参数时
- Socket API 处理函数
- 宏定义函数指针类型&函数返回左值类值 1。宏定义不分配内存，变量定义分配内存。 2。宏名和参数的括号间不能有空格 3。宏替换只作替换，不做计算，不做表达式求解 //下面是正确的标准的写法 typedef int(FUNC1)(int in); ty
- C语言里，main 函数中 r…
- 南阳oj75 语言入门 日期计算
- Matlab fmincon函数用法
- C语言计算时间函数 & 理解linux time命令的输出中“real”“user”“sys”的真正含义
- linux 正则表达式基本函数
- HDOJ   2001   计算两点间的距离
- HDOJ  1994   利息计算
- SQL学习总结（一）【计算字段&数据处理函数】
- PDO 函数库详解（一） -- PDO PHP…
- POJ 3295 Tautology（似乎是模拟？…
- JavaScript window下面的常用函数…
- 使用" 参数化基类" 和" 成员函数指针" 模拟实现虚函数－－在实际中的应用