符号执行

✍ dations ◷ 2025-07-27 08:18:06 #程序分析

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

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

相关

  • 四吡咯四吡咯(Tetrapyrroles)是一类化合物,除了其中的咕啉(corrin)之外,该种类化合物的其它物种含有4个吡咯,且这4个吡咯是经由单碳(如亚甲基或次甲基)桥进行连结,可分为线性或环状两大类。
  • 爱新觉罗载湉清朝第11位皇帝光绪帝(1871年8月14日-1908年11月14日),名载湉(满语:ᡯᠠᡳ ᡨᡳᠶᠠᠨ,穆麟德:Dzai Tiyan,太清:Zai Tiyan),爱新觉罗氏,是清朝第11位,也是自入关以来的第九位皇帝,同时是中
  • TRT World土耳其广播电视公司国际频道(土耳其语:TRT World)是土耳其广播电视公司一条24小时播放的英语国际新闻频道,于2015年5月18日试播以及在6月30日正式开播,并通过卫星电视、有线电视
  • 盖平坐标:40°24′5.52″N 122°20′58.63″E / 40.4015333°N 122.3496194°E / 40.4015333; 122.3496194盖州市是营口市的一个县级市,位于辽东半岛西北部,西临渤海湾,地处“五点一
  • 周廷欣周廷欣(1964年-),原郑州市公安局原副局长。1993年从武警部队转入郑州市公安系统工作,2008年2月开始在郑州市公安局工作,2010年3月升任郑州市公安局党委委员、副局长,工作职责为分管
  • 玻璃钥匙奖玻璃钥匙奖(Glasnyckeln),北欧文学奖,颁发给优秀的犯罪小说。小说家达许·汉密特作品《玻璃钥匙》(The Glass Key)是奖项名称的由来。Template:The Glass Key award
  • 林正盛林正盛(1959年3月31日-)是台湾电影导演,他的电影作品《放浪》与《爱你爱我》获选为柏林影展正式竞赛片,并凭借后者获得最佳导演银熊奖;并以《月光下,我记得》获得第41届金马奖最佳
  • 蛋黄酥蛋黄酥是台湾月饼的衍生品;也是一般大众所认定台式油皮月饼中的一种。内馅是咸鸭蛋黄、红豆沙,甜而不腻,香酥可口,也是中秋节时常吃的月饼之一。
  • 东南大学出版社东南大学出版社是中华人民共和国的一家出版社,成立于1985年,社址位于江苏省南京市,由中华人民共和国教育部主管,东南大学主办。现任社长为江建中。
  • 玉流矿泉玉流矿泉是一种矿泉水,泉源位于朝鲜民主主义人民共和国的首都平壤市的大同江畔。该处矿泉于1987年被发现。现时,矿泉前立有写着“玉流矿泉”的花岗石碑。有当地居民前来取水饮