符号执行

✍ dations ◷ 2025-08-21 17:53:54 #程序分析

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

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

相关

UNAIDS行政总监联合国艾滋病规划署（英语：Joint United Nations Programme on HIV and AIDS，缩写UNAIDS）是全球范围内组织、推广及协调世界艾滋病运动的机构。规划署旨在唤起全球对艾滋
布里斯托尔大学布里斯托大学（University of Bristol），位于英格兰西部布里斯托市的一所英国大学，其历史可追溯到1876年建立的布里斯托大学学院。该校是英国老牌顶尖大学“红砖”高等学府之一，也
维尼纶维尼纶（英语：Vinylon或Vinalon），也称维纶，是一种合成纤维。维尼纶纤维的主要成分聚乙烯醇缩甲醛（polyvinylalcohol dimethylformal，有时简称为PVDF）。其生产过程是先将聚醋酸乙烯酯
披甲战士披甲战士(Man-at-arms，armsman 或 coistrel），用来指中世纪中期到文艺复兴时期的一名精通武艺，披全套盔甲乘马战斗的战士。他可能是骑士或贵族，也可能指他们的随从，或是他们指挥官
欧洲质量改善系统欧洲品质改善系统（European Quality Improvement System，EQUIS）是针对全球商学院进行认证的制度，由欧洲管理发展基金会（European Foundation for Management Development，EFMD）负责
张士柏张士柏，1973年出生，美籍华人企业家。浙江宁波人。在台湾出生成长，12岁时，随全家迁居美国。1987年2月12日，当时14岁的张士柏作为美国少年游泳队的队员，参加例行训练，以迎接比赛。训
赣县区赣县区是中国江西省赣州市所辖的一个市辖区。2016年10月11日确认赣县撤县设区已经获批，区名未公布；15日确认改名为赣县区，编号为国函〔2016〕156号。赣县下辖12个镇7个乡。梅林
荷兰战役德军决定性胜利2,332人死亡 7,000人受伤荷兰战役（荷兰语：Slag om Nederland）是黄色方案（德语：Fall Gelb）的一部分，德军在1940年5月10日采取入侵低地三国和法国的军事行动。荷兰的主
黑色直升机黑色直升机是美国一则介于都市传说和阴谋论之间的传言故事，类似黑衣人概念，其版本已经多不胜数同时真假难分，但不可否认在美国形成一种流行文化和俚语。现在公众媒体或名人有时
希布甘杰乌帕齐拉 (博格拉县)希布甘杰乌帕齐拉（孟加拉语：শিবগঞ্জ উপজেলা）是孟加拉国的一个乌帕齐拉，位于拉杰沙希专区的博格拉县，创建于1983年。希布甘杰乌帕齐拉总面积为314.92平方公里（121.59