符号执行

✍ dations ◷ 2024-12-23 10:46:17 #程序分析

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

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

相关

供暖暖气狭义上是指一种集中供暖设施。它由管道（即暖气管）将锅炉产生的蒸汽或热水输送到房间或车体内的散热器（即暖气片），散出热量，使室温增高，然后流回锅炉重新加热、循环。有时也将“
普瑞德威利症候群普瑞德威利综合征（俗称小胖威利症，英文名Prader-Willi syndrome，PWS）是一种肇因于特定基因功能丧失的遗传性疾病。新生儿患者会出现包括肌肉无力（英语：Hypotonia）、进食不良及发育
阴茎雕塑right|200px|thumb|2005年旧金山游行中的一个菲勒斯装扮菲勒斯（希腊语：Φαλλός，直译：阴茎；拉丁语：Phallus）是一个源自希腊语的词语，指勃起的男性生殖器的图腾，亦是父权的隐喻和
海底高原海底高原，也称“海台”，是海底的大型平坦区域，相对较周围海床的水平高。虽然许多海底高原由大陆地壳组成，但是一些高原是海底大型火成岩的遗迹。地质学家认为火成岩海底高原是发
保罗·史塔曼兹保罗·史塔曼兹（英文：Paul Stamets，1955年7月17日－）是美国的一名真菌学家、作家与真菌修复和药用真菌（英语：Medicinal fungi）的提倡者。保罗·史塔曼兹于1979年毕业于长青州立大学（英
十一面体在几何学中，十一面体（英语：Hendecahedron）是指具有十一个面的多面体。没有任何十一面体是正十一面体，也就是说找不到面由正多边形组成且每个面全等、每个角相等的十一面体。十一
Gew 41步枪Gew 41步枪（Gewehr 41），常被称作Gew 41或G 41，是一款第二次世界大战期间纳粹德国国防军所使用的半自动步枪。由毛瑟（Mauser）与瓦尔特（Walther）参与研发，于1941年推出的设计，瓦尔特（Walt
费奥多尔一世费奥多尔一世·伊万诺维奇（俄语：Фёдор I Иоа́ннович）（1557年5月31日－1598年1月17日），是1584年－1598年在位的俄国沙皇。他是伊凡四世之子。母亲为安娜斯塔西亚·罗曼
DB-3轰炸机伊留申 ДБ-3，中文译做“德勃3”轰炸机，直译为“远程轰炸机-3”，苏联第二次世界大战前研发装备的主力轰炸机。双发、下单翼，1935年首飞，1939年改型为Il-4(当时称DB-3F)。谢尔盖
西尔维乌·库尔蒂恰努西尔维乌·库尔蒂恰努（罗马尼亚语：Silviu Curticeanu；1933年10月15日－），法学家，罗马尼亚共产党中央政治执行委员会候补委员、中央书记处书记、中央办公厅主任。被外界视为尼古拉·