退出
我的积分:
中文文献批量获取
外文文献批量获取
鲍铁匀; 高凤娟; 周严; 李游; 王林章; 李宣东;
计算机软件新技术国家重点实验室(南京大学);
江苏省软件新技术与产业化协同创新中心;
南京大学计算机科学与技术系;
符号执行; 缓冲区溢出; 警报确认; 目标制导;
机译:使用静态符号执行来检测缓冲区溢出
机译:用于静态分析警告确认的定向动态符号执行
机译:有关可操作的警报识别技术的系统文献综述,用于自动静态代码分析
机译:使用符号执行和SMT自动生成缓冲区溢出快速修复
机译:基于控制与基于制导的培训和显示,用于自动垂直飞行制导。
机译:基于神经科学文献挖掘技术的自动目标验证
机译:结合静态分析和目标符号执行,可在应用程序二进制文件中进行可扩展的错误查找
机译:自动目标识别上下文中静态目标高分辨率极化数据分析。
机译:基于静态分析和符号执行的环境数据优化
机译:基于静态分析和符号执行的环境数据细化
机译:基于手持式半自动成像的条形码阅读系统,其中基于LED的照明子系统会在照明的自动范围内自动照亮目标对象,并在照明的目标区域照亮目标对象的照明目标。触发开关的手动激活
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。