符号执行

✍ dations ◷ 2025-07-04 21:21:30 #程序分析

符号执行 (Symbolic Execution)是一种程序分析技术。其可以通过分析程序来得到让特定代码区域执行的输入。使用符号执行分析一个程序时,该程序会使用符号值作为输入,而非一般执行程序时使用的具体值。在达到目标代码时,分析器可以得到相应的路径约束,然后通过约束求解器来得到可以触发目标代码的具体值。

符号模拟技术(symbolic simulation)则把类似的思想用于硬件分析。符号计算(Symbolic computation)则用于数学表达式分析。

相关

  • 步行步行,是指人或其他两足动物使用比跑步慢的速度行。在人类或其他两足动物中,一般来说,步行是用脚步进行的,且在步行阶段中,仅单脚离开地面。相反,在跑步的中开跑的时候,一般均是双脚
  • 卡诺热机卡诺热机是一个依卡诺循环运作的虚拟引擎,其基本架构是由尼古拉·卡诺在1824年建立,在1834年时埃米尔·克拉佩龙扩充了卡诺热机的概念,在1857及1866年提出熵的概念时,鲁道夫·克
  • 平壤城之战釜山镇 – 多大浦 – 东莱城 – 尚州 – 忠州弹琴台 – 玉浦 – 泗川 – 临津江 – 唐浦 – 唐项浦 – 闲山岛 – 龙仁 – 梨峙 – 平壤 – 釜山浦 – 北关
  • 美利坚合众国总统议长:南希·裴洛西(民主党) 多数党领袖(英语:Party leaders of the United States House of Representatives):斯坦利·霍耶(民主党) 少数党领袖(英语:Party leaders of the United Sta
  • 立方吉米体积(英语:Volume)是物件占有多少空间的量。体积的国际单位制是立方米。一件固体物件的体积是一个数值用以形容该物件在空间所占有的空间。一维空间物件(如线)及二维空间物件(如正
  • 第1周期元素第1周期元素是元素周期表中第一行(即周期)的元素,仅有两个元素:
  • 门部门部,为汉字索引中的部首之一,康熙字典214个部首中的第一百六十九个(八划的则为第三个)。就繁体中,门部归于八划部首,而简体中文则归在三划。门部只以上方包围为部字。且无其他部
  • 大阪站大阪站(日语:大阪駅〔大阪驛〕/おおさかえき〔おほさかえき〕  */?)是一座位于日本大阪府大阪市北区,由西日本旅客铁道(JR西日本)所经营管理的铁路车站,也是日本关西地区最大都会
  • 先进战斗光学瞄准镜先进战斗光学瞄准镜(英语:Advanced Combat Optical Gunsight,简称:ACOG)是一种由Trijicon公司研制及生产的光学瞄准镜系统。ACOG光学瞄准镜装置在设计上是用在M16系列步枪(即是M4
  • 义本义本(琉球语:義本/ギフン  ?;1206年-?)据《中山世谱》中记载,是琉球国舜天王朝第三代王,也是该王朝的末代国王。1249年至1259年在位。先代国王舜马顺熙之子。义本王在位期间,琉球天