符号执行

✍ dations ◷ 2025-11-30 06:54:40 #程序分析

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

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

相关

胞外腺苷酸环化酶胞外腺苷酸环化酶（英语：Extracellular adenylate cyclase）百日咳杆菌（Bordetella pertussis）产生的腺苷酸环化酶。EC 1.1/2/3/4/5/6/7/8/9/10/11/12/13/14/15/16/17/18/19/20/21/
曹天钦曹天钦（1920年12月5日－1995年1月8日），生于北平，籍贯河北束鹿，中国生物化学家，中国科学院院士。他是中国现代蛋白质研究的奠基人之一，肌球蛋白轻链的发现者。祖籍河北束鹿，1920年出生
来孙孙是指子女的子女，男性称孙儿或孙子，女性称孙女。在父系社会，儿子的子女称为“内孙”或者“孙”，女儿的子女称为“外孙”。而自己的孙或外孙就称自己为祖父母或外祖父母。另外，闽
端宗朝鲜端宗（朝鲜语：조선 단종／朝鮮端宗 Jeseon Danjong；1441年阴历七月廿三－1457年阴历十二月廿四），讳李弘
元宝区元宝区是中国辽宁省丹东市下辖的一个市辖区。面积90.27平方千米，人口19.12万。邮政编码118000。区人民政府驻新柳街8号。下辖6个街道办事处、1个镇：
乔治·阿克洛夫乔治·亚瑟·阿克洛夫（英语：George Arthur Akerlof，1940年6月17日－），生于美国康乃迪克州纽黑文市，经济学家，柏克莱加州大学经济学教授。他与迈克尔·斯彭斯、约瑟夫·斯蒂格利茨一起
艾尔佛列·古曼·吉尔曼艾尔佛列·古曼·吉尔曼（英语：Alfred Goodman Gilman，1941年7月1日－2015年12月23日），美国药学和生物化学家。因发现G蛋白与马丁·罗德贝尔一起分享1994年诺贝尔生理学或医学奖。19
全世界最繁忙的机场全世界最繁忙的机场，根据国际机场协会（ACI）的定义，最繁忙的机场可按客运量、货运量、飞机的起降量决定。
amuletoamuleto（日语：アミュレート）为日本的声优事务所。为MAGES.（日语：MAGES.）旗下的艺能事务所。旧商号为ARKRAY（日语：アークレイ）。
前震前震（Foreshock）是指在一个地震序列中，发生在主震之前的地震。前震可以发生在主震前几分钟、几天甚至数年。例如，2002年苏门答腊地震被认为是2004年印度洋大地震的前震，两者之间