几个基本概念辨析：流敏感，路径敏感和上下文敏感

（从这篇日志开始，恢复博客园的同步更新）

这篇日志没有什么技术含量，只是总结几个基本概念。在软件分析中，我们经常会遇到流敏感（flow-sensitive），路径敏感（path-sensitive）和上下文敏感（context-sensitive），这几个概念都主要出现在Data Flow Analysis中（或data flow的变型，如Taint Analysis等）。

简单来说，流敏感（flow-sensitive）指的是考虑程序语句执行的顺序，例如在数据流分析中的指针别名（Pointer Alias）分析中，一个非流敏感指针别名分析可能得出“变量x和y可能会指向同一位置”，而流敏感指针别名分析得出的结论类似于“在执行第20条指令后，变量x和y可能会指向同一位置” 。所以，一个非流敏感指针别名分析不考虑控制流，并认为所发现的别名在程序所有位置均成立。

路径敏感（path-sensitive）指的是依据条件分支语句的不同谓词，计算不同的分析信息，也就是说，路径敏感将跟踪程序控制流的每一个分支，以记录两个分支路径的不同程序状态。相应的，非路径敏感并不考虑分支之间的区别。简单的路径敏感存在“路径爆炸”（path explosion）或“无穷搜索空间”（infinite search space）的问题。

上下文敏感（context-sensitive）指的是在过程间分析（ Interprocedural Analysis）时，考虑函数调用的上下文信息。

以上内容主要参考了Data Flow Analysis的维基百科页面和部分论文及书籍。

转载于:https://www.cnblogs.com/quyu/archive/2013/02/14/2912638.html

几个基本概念辨析：流敏感，路径敏感和上下文敏感相关推荐

Linux中的tty、pts、pty等概念辨析
Linux中的tty.pts.pty等概念辨析基本概念 tty.pty.pts.ptmx tty(终端设备的统称):tty一词源于Teletypes,或teletypewriters,原来指的是电传 ...
数据湖概念辨析以及常见技术通览
这是大数据技术扫盲系列的第二篇[数据湖概念辨析以及常见技术通览] 全文3000字,阅读需要10分钟一.数据湖概念的起源数据湖的概念被首次提出是在2010年的Hadoop World大会上,时任Pe ...
【深度学习】基于Pytorch的线性模型概念辨析和实现(二)
[深度学习]基于Pytorch的线性模型概念辨析和实现(二) 文章目录 [深度学习]基于Pytorch的线性模型概念辨析和实现(二) 1 线性回归的从零开始实现 2 训练 3 关于with 4 关于w ...
【深度学习】基于Pytorch的线性模型概念辨析和实现(一)
[深度学习]基于Pytorch的线性模型概念辨析和实现(一) 文章目录 1 为什么要谈线性回归? 2 建立模型基本形式 3 实现3.1 损失函数3.2 解析解3.3 小批量随机梯度下降3.4 矢量化加 ...
c++I/O流的概念和流类库的结构
I/O流的概念和流类库的结构程序的输入程序的输出 C++输入输出包含以下三个方面的内容 C++的I/O对C的发展--类型安全和可扩展性与iostream类库有关的头文件在iostream头文件 ...
c++中的IO流（流的概念和流类库的结构，标准的输入输出流）
流的概念和流类库的结构程序的输入指的是从输入文件将数据传送给程序,程序的输出指的是从程序将数据传送给输出文件 c++输入输出包含以下三个方面的内容对系统指定的标准设备的输入输出.即从键盘输入数据, ...
编译型与解释型、动态语言与静态语言、强类型语言与弱类型语言概念辨析
编译型与解释型.动态语言与静态语言.强类型语言与弱类型语言概念辨析转自:https://blog.csdn.net/u010533843/article/details/76215487 编译型和解 ...
jdk，jre，ide概念辨析
jdk,jre,ide概念辨析 1.jdk是什么?里面有什么东西? jdk,英文全名是java development kit(java开发工具包).它是工具程序和文档的集合.里面有java工(.ex ...
CPU 主频,核数参数解读物理CPU，逻辑CPU，物理核概念辨析
Q1: CPU高主频好还是多核数好? 游戏需求如果是主打游戏,由于游戏需要的是最简单粗暴的计算工作,这方面多核心有点无用武之地.因此,目前主流游戏都是双核心调用,四核或者更多核心的比较少. 也就是说 ...

几个基本概念辨析：流敏感，路径敏感和上下文敏感

几个基本概念辨析：流敏感，路径敏感和上下文敏感相关推荐

最新文章

热门文章