符号执行

✍ dations ◷ 2025-05-20 11:29:30 #程序分析

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

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

相关

旺代战争1795年6月24日 - 1796年3月29日 1799年10月15日 - 1800年1月18日旺代战争（法语：Guerre de Vendée），又称旺代暴动（法语：Révolte Vendéenne）、旺代叛乱（法语：Rébellion Vendéenne
阿尔及利亚华人，是阿尔及利亚人口一部分，约有40000人。他们因商贸和支援基建项目等原因来到阿尔及利亚。但华商与当地人关系紧张，因此在2009年8月在首都阿尔及尔市郊爆发冲突。引发了100
衣冠冢衣冠冢主要是指只埋有死亡者的衣冠而无死亡者尸体的坟墓。修建衣冠冢一般情况为尸体无法寻回，或处于避免尸体被发掘破坏的纪念或掩护性质。在珠峰脚下就有一片衣冠冢，由于登山
紫外线天文学紫外线天文学是研究天体紫外线辐射的天文学分支学科；观测电磁波波长大约在100到3200埃之间。波长更短和能量更高的电磁波则属X射线天文学和伽马射线天文学的范围。因为这个
新盲鳚属新盲鳚属（Neomyxine）是盲鳗科的一属。该属的分类:
斯特罗齐家族斯特罗齐家族（意大利语：Strozzi）文艺复兴时期欧洲著名家族之一。这个家族及其银行都是佛罗伦萨的美迪奇家族的主要竞争对手。他们建立了一个给人印象深刻的商业帝国。
费尔菲尔德费尔菲尔德（Fairfield, California）是美国加利福尼亚州索拉诺县县治。面积97.6平方公里，2006年人口104,897人。1859年建立，城名纪念创建者的家乡、康乃狄克州的费尔菲尔德。190
苏格拉底的申辩《苏格拉底的申辩》（古希腊语：）是柏拉图《对话录》的其中一篇；柏拉图记录了苏格拉底接受审判时的个人申辩词。苏格拉底辩驳对于他 "腐化青年, 不信仰众神而新立神祇的种种控诉"
格拉多格拉多（意大利语：Grado），是意大利戈里齐亚省的一个市镇。总面积114.06平方公里，人口8614人，人口密度75.5人/平方公里（2009年）。ISTAT代码为031009。
赤色分子《赤色分子》（英语：）是一部发行于1981年的美国剧情片，由沃伦·比蒂执导，主演为沃伦·比蒂和黛安·基顿。除了比蒂和基顿，爱德华·赫尔曼、杰克·尼科尔森、保罗·索尔维诺、莫林·