符号执行

✍ dations ◷ 2024-09-20 20:24:18 #程序分析

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

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

相关

线形文字A线形文字A是一种古代克里特岛上使用的未解读文字。它的破解是考古学上的“圣杯”。它的一种关联文字，线形文字B于1950年被迈克尔·文特里斯破译，证明其为希腊语的一种古代书写
帝鳄帝鳄属（属名：Sarcosuchus）又称为肌鳄、帝王鳄，意思为“肌肉鳄鱼”，是种已灭绝鳄类。它们生存在于早白垩纪的非洲，是曾经存活过的最大型鳄类动物之一。它几乎是现今咸水鳄的2倍大，重
海洋分枝杆菌海洋分枝杆菌（学名Mycobacterium marinum）是一种存在于海水和淡水中的细菌，属分枝杆菌类，与结核杆菌同属。在28-32℃水温最为活跃，超过37℃则较难生存。所以，一旦入侵人体，只会在人
阿伯丁坐标：57°09′09″N 2°06′36″W / 57.1526°N 2.1100°W / 57.1526; -2.1100阿伯丁（英语：Aberdeen i/æbərˈdiːn/；低地苏格兰语：Aiberdeen listen 帮助·信息；苏格兰盖尔语
Chlorophytina绿藻亚门（学名：Chlorophytina）是绿藻门之下的一个分支，由下列五个纲组成：
军工复合体军事工业复合体（英语：Military-Industrial Complex，MIC），也称军事工业国会复合体（Military-Industrial-Congressional Complex，MICC），中文简称军工复合体，是指一国军队与军事工业因政
奥林帕斯山 (火星)坐标：18°24′N 226°00′E / 18.4°N 226°E / 18.4; 226 (奥林帕斯山（Olympus Mons）)奥林帕斯山（拉丁语：Olympus Mons）是火星上的盾状火山，亦为太阳系中已知最高的山，高于基准面21
小小大星球2《小小大星球2》（英语：LittleBigPlanet 2）为索尼旗下的Media Molecule所开发的动作冒险游戏，由索尼欧洲部发行，适用PlayStation 3平台。《小小大星球2》是 2008年10月推出的小小
乙酰氧基丁酸乙酯乙酰氧基丁酸乙酯（EAB）是一种挥发性化合物，在成熟菠萝的气味中占比较小，其纯净物的气味与酸的酸奶相似。它与内源性信号分子（如GHB）具有相似的化学结构，可以产生类似的镇静作用。它
哈林·哈里恩多哈林·哈里恩多·何（印尼语：Halim Haryanto Ho，1976年9月23日－），出生于西爪哇省万隆，印尼前羽毛球男子双打选手。他与前双打搭档吴俊明一起成为世界冠军和全英冠军。哈里恩多于2004