符号执行

✍ dations ◷ 2025-09-12 08:31:24 #程序分析

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

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

相关

  • 希腊喜剧古希腊喜剧古希腊喜剧起源于祭祀酒神的狂欢歌舞和民间滑稽戏。喜剧(komoidia)的原意是“狂欢队伍之歌”,它同悲剧一样也是起源于酒神祭祀。古希腊喜剧也和悲剧一样保留着对白和
  • RSL坐标:55°45′07″N 37°36′35″E / 55.75194°N 37.60972°E / 55.75194; 37.60972俄罗斯国立图书馆(俄语:Российская государственная библи
  • 沈元壤沈元壤(1935年3月-),美籍华裔物理学家,上海人,伯克利加州大学荣休教授,复旦大学特聘教授。以其在非线性光学领域的研究而知名。沈元壤出生于上海,1952年毕业于上海市南洋模范中学。
  • 健力健力(英语:Powerlifting),是一种借助举起杠铃来锻炼肌肉的运动,分成深蹲、卧推、硬拉三个项目。它虽然发源自举重,但与奥林匹克举重分别为两种竞技项目,健力举起杠铃(Barbell)的动作
  • 操纵组操纵组(英语:operon,又称操纵子或操纵元)是一组关键的核苷酸序列,包括了一个操纵基因(operator),及一个或以上的结构基因被用作生产信使RNA(mRNA)的基元,受一个单一的启动子控制之下。
  • 基隆基隆车站位于台湾基隆市中山区(原基隆市仁爱区),为台铁纵贯线的铁路车站,是纵贯铁路与台铁西部干线的起点站,与高雄捷运旅运中心站、光荣码头站、真爱码头站并列全台最邻近商港
  • 姚鼐《清代学者像传》第一集之《姚鼐像》,清叶衍兰摹绘姚鼐(1732年1月17日-1815年10月15日),中国清代文学家,字姬传,一字梦谷,斋号惜抱轩,世称惜抱先生,清代安徽桐城人(今属枞阳县),是桐城派
  • 遵义遵义市,古称播州,是中华人民共和国贵州省下辖的地级市,位于贵州省北部,为贵州省第二大城市。市境北临重庆市,东接铜仁市,东南界黔东南州,南邻贵阳市、黔南州,西南连毕节市,西毗四川省
  • 卞承宪卞承宪(1566年-?年),字惺铭,四川重庆府江津县人,明朝政治人物。四川乙酉乡试举人。万历二十年壬辰科第三甲第一百二十九名进士。仕至湖广右参政,曾任河南主考
  • 簇花草属簇花草属是一类不含叶绿素的寄生植物,它们只寄生在半日花科的岩玫瑰属和欧洲半日花属的植物上面,主要生长在地中海区域、南非和马达加斯加岛。.其中和是雌雄异体体的,而是雌雄