abstract interpretation; binary program analysis; virus detection; virus signatures extraction;
机译:通过抽象解释在逻辑程序中进行多态类型分析
机译:行星高光谱数据集的自动处理以提取弱矿物特征并将其应用于火星上水合硅酸盐的CRISM观测
机译:一种用于多态恶意软件检测的增强型自动签名生成算法
机译:使用抽象解释自动提取多态病毒签名
机译:自动化抽象机器的抽象解释
机译:飞行时间二次离子质谱数据自动解释和提取地形信息
机译:使用抽象解释自动提取多态性病毒签名