符号执行

✍ dations ◷ 2025-06-09 16:40:52 #程序分析

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

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

相关

  • 贝克曼重排贝克曼重排反应(Beckmann rearrangement)是一个由酸催化的重排反应,反应物肟在酸的催化作用下重排为酰胺。若起始物为环肟,产物则为内酰胺。此反应是由德国化学家恩斯特·奥托·
  • 吴大峻吴大峻(英语:Tai-Tsun Wu),理论物理学家,哈佛大学教授,中央研究院院士。1954年,取得哈佛大学硕士学位。 1956年,取得哈佛大学(应用)物理学博士。
  • 华强北华强北是位于中国广东省深圳市的重要电子产品商业地带,有“中国电子第一街”之称。狭义的华强北指从深南路起,到红荔路止的这一段华强北路及两侧。广义的华强北指东起燕南路,西
  • 公民凯恩《公民凯恩》(英语:Citizen Kane,又译大国民)是奥森·威尔士于1940年拍摄,1941年由美国RKO(雷电华)电影公司出品的剧情片。影片讲述报业大王查尔斯·福士特·凯恩(英语:Charles Foste
  • 硫酸银硫酸银 (Ag2SO4),相对分子质量311.80。密度5.45克/厘米3。熔点652℃,于1085℃分解。微溶于水。溶于氨水、浓硝酸、硫酸,不溶于稀硝酸、乙醇。可用来作化学试剂。硫酸银可由将硫
  • 诺日朗瀑布诺日朗瀑布位于中国四川省的九寨沟,海拔2365米,瀑宽270米,落差20米,是大型石灰华钙华瀑布之一,是九寨沟众多瀑布中最宽阔的一个,也是中国最宽的瀑布。“诺日朗”三个字为藏语的译
  • 艾美·杜辛艾美·杜辛(Ahmet Dursun,1978年01月15日-),出生于盖尔森基兴,土耳其职业足球运动员,司职前锋。像许多比锡达斯球员一样,他在德国开始他的职业生涯时,效力韦顿舒利特。 1996年,他转会
  • 小蛸枕见内文小蛸枕(学名:)是一属已灭绝的海胆,其化石分布在非洲、南极洲、欧洲及北美洲,它们是白垩纪海胆最高级形式的一种。这种心海胆的后部是尖的,并有突出的前部凹口。五条花瓣状步
  • 停电停电又称电力故障或电力事故。原因是电力供应出意外,或者有计划施行。停电一般是指有一定的地区无电力供应。有计划的停电,厂家及市民有预备,可以安排后备发电机、电筒等。不过
  • 爱德华兹堡爱德华兹堡(Fort Edwards)位于西维吉尼亚北部的Capon Bridge,距离现今的温彻斯特 (维吉尼亚州)西20哩,是维吉尼亚早期殖民者和大陆军团的堡垒,包括美国开国者华盛顿及其维吉尼