退出
我的积分:
中文文献批量获取
外文文献批量获取
周林; 孙玉龙; 甘水滔; 秦晓军;
数学工程与先进计算国家重点实验室,河南郑州450001;
值集分析; 静态分析; 抽象解释; 符号执行; 脆弱点; 控制流程图;
机译:使用抽象解释为嵌入式二进制代码生成测试用例
机译:通过抽象解释进行基于语义的代码混淆
机译:一种基于抽象解释的实时编译跟踪模型
机译:一种基于抽象解释的二进制控制流重构框架
机译:基于比特可靠性的非二进制代码的二进制映射和里德-所罗门代码的软判决解码算法。
机译:基于四倍的非二进制代码的半定界
机译:IKOs:基于抽象解释的静态分析框架(工具文件)。
机译:一种以代码字为单位的数据编码器接口二进制的方法。一种以代码字为单位的编码器接口数据二进制的设备以及将代码字转换为数据块的解码器设备。
机译:在虚拟机环境中使用解释代码的抽象模块共享本机代码模块
机译:用于执行与平台无关的程序代码的数据载体具有用于执行代码的处理器和用于代码解释的至少部分解释器,该解释器允许执行至少部分压缩的代码
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。