符号执行

✍ dations ◷ 2025-02-23 15:02:10 #程序分析

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

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

相关

布鲁斯·艾姆斯布鲁斯·艾姆斯（英语：Bruce Ames，1928年12月16日－），美国生物化学学家，加州大学生物化学与分子生物学系教授。Template:加拿大盖尔德纳国际奖获得者 Template:Authority control
Csub4/subHsub8/subMgNsub2/subOsub4/sub&g甘氨酸镁是镁的甘氨酸盐，化学式为C4H8MgN2O4。可由金属镁和甘氨酸反应得到。硝酸镁和甘氨酸在液氨中反应也能得到产物。甘氨酸镁可以用作营养补充剂或用于饲料。医学导航：营养
性交后忧郁性交后忧郁（post-coital tristesse）是心理学上对于一种性交后感到忧郁、甚或伴随强烈的焦虑感觉的一种症状。这种问题在男性出现的频率高于女性，一般在性行为后五分钟到两小时
大通片赣语大通片，赣语九个方言片之一。其通行于湖北的大冶、咸安、嘉鱼、赤壁、崇阳、通城、通山、阳新、监利（部分），和湖南的临湘（部分）、岳阳（部分）、华容等地。大通片共有六个声调。古
社保基金会全国社会保障基金理事会标志1999年规定：国家行政机关内设机构或直属单位的印章，直径不大于4.5厘米，中央刊五角星，由中华人民共和国财政部制发。全国社会保障基金理事会，简称社保
自私DNA自私DNA指不对生物体的基因型产生作用，以永远留在基因组内，为唯一功能的一种DNA序列。在各种生物体内普遍存在，对物种的进化起着重要作用。自私DNA是各类基因序列中含量最丰富
硫化铈 (消歧义)硫化铈是铈的硫化物，有下列几种：
卢循卢循（？－411年），字于先，小名元龙，范阳郡涿县（今河北省涿州市）人，是西晋司空从事中郎卢谌的曾孙。东晋末年孙恩以五斗米道起事，败死。卢循统孙恩余众继续反抗晋廷，世称“孙恩卢循之乱”。
巴风特巴风特（英语：Baphomet，或译巴弗灭）是有名的基督宗教恶魔之一，是现今为人所熟知的羊头恶魔，也是撒旦的代名词。这个名字的起源尚无定论，它最早出现于12世纪晚期一首与穆罕默德有关的
拉巴尔拉巴尔（El Raval）是西班牙巴塞罗那的一个社区，位于旧城区的西部。该社区北到加泰罗尼亚广场、佩拉约街（Carrer de Pelai）和大学广场，东到兰布拉大道，毗邻哥特区，西面和南面的边界为