符号执行

✍ dations ◷ 2025-10-19 22:22:57 #程序分析

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

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

相关

日常生活活动日常生活活动（英语：Activities of daily living、(ADLs 或 ADL)）是用于医疗照护的用语，特别用在年长者的照顾上。日常生活活动是指在日常生活普遍会进行的活动，包含表现自我照顾（
查图加县查图加县 (Chattooga County, Georgia)是美国乔治亚州西北部的一个县，西邻阿拉巴马州。面积812平方公里。根据美国2000年人口普查估计，共有人口25,470人。2005年增加至26,570
让·雷诺阿让·雷诺阿（法语：Jean Renoir，1894年9月15日－1979年2月12日）是一位法国著名电影导演，印象派画家皮埃尔-奥古斯特·雷诺阿的次子，法国电影自然主义的代表人物。他于1945年凭《南方人
类人猿下目类人猿下目（学名：Simiiformes）是一类高等灵长类，由旧世界猴及猿组成。它们比原猴亚目的要大。类人猿下目分成三类。阔鼻小目于约4000万年前分支出来，只余下狭鼻小目留在旧世界。
安德鲁·洛伊·韦布安德鲁·劳埃德·韦伯，劳埃德-韦伯男爵（英语：Andrew Lloyd Webber, Baron Lloyd-Webber，1948年3月22日－），生于英国伦敦，英国音乐剧作曲家。他的弟弟是大提琴家朱利安·劳埃德·韦伯
文化资本文化资本（）是一种已被广为接受的社会学概念，由皮耶·布迪厄首先提出。布迪厄和让–克洛德·帕斯隆于《文化再制与社会再制》一书中首次使用到了此一名词。在本书中，他试图去说明
2019年东南亚运动会2019年东南亚运动会（全称第30届东南亚运动会），是一项从2019年11月30日至12月10日于菲律宾马尼拉举办的区域性综合运动会。这是菲律宾第四次举办东南亚运动会，也是该国自2005年以
莱曼极限莱曼极限是氢的莱曼系最短的波长，结束在91.2奈米。它相当于一个电子从氢的基态逃逸到电位势障壁（也就是创造一个氢离子）所需要的能量。这个能量等同于里德伯常量。
温山病温山病是发生在韩国蔚山市蔚州郡温山邑（朝鲜语：온산읍）的一种疾病。在1980年代时出现，由工厂排放的重金属引起。让韩国大众开始着重环境的相关议题。
AM/PM (专辑)《am/pm》是张敬轩的第四张个人专辑，于2004年11月24日推出。其中收录的歌曲《Blessing》的粤语版是黄霑生前最后一份填词作品。