Software birthmark; Abstract interpretation; API trace; Program Semantics; Credibility; Resilience;
机译:基于抽象解释的软件胎记语义框架
机译:类不变量作为轨迹语义的抽象解释
机译:类分析作为跟踪语义的抽象解释
机译:通过抽象解释指定API跟踪胎记
机译:自动化抽象机器的抽象解释
机译:使用蜜蜂(Apis mellifera)作为生物指标评估痕量元素浓度的时空变化
机译:基于apI调用结构的二进制可执行文件的静态胎记