搜索 分析 新世界 法规 图书 网址导航 更多
高级用户登录 | 登录 | |

制定语义基线
审中-实审

申请号:201480026218.2 申请日:2014-05-08
摘要:本文描述了涉及制定语义基线的各技术。基于对基线程序进行的第一静态分析推断出基线程序的正确性条件。随后将这些正确性条件插入到对基线程序的修订中。当对其中插入有正确性条件的经修订程序进行第二静态分析时,抑制从基线程序继承的警告,同时向开发者显露由这些修订引起的警告。
申请人: 微软技术许可有限责任公司
地址: 美国华盛顿州
发明(设计)人: M·范德瑞 S·拉希瑞 F·洛戈佐 S·布莱克谢尔
主分类号: G06F11/36(2006.01)I
分类号: G06F11/36(2006.01)I
  • 法律状态
2016-02-24  实质审查的生效IPC(主分类):G06F 11/36申请日:20140508
2016-01-27  公开
注:本法律状态信息仅供参考,即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
  • 其他信息
主权项  一种方法,包括:接收计算机程序的第一版本;对所述计算机程序的所述第一版本执行第一静态分析,其中执行所述第一静态分析包括:标识所述计算机程序的所述第一版本中与所述计算机程序的所述第一版本中的第一位置相对应的警告;以及推断使得所述警告在所述计算机程序的所述第一版本中被抑制的条件;接收所述计算机程序的第二版本,所述计算机程序的所述第二版本与所述计算机程序的所述第一版本不相同;以及将所述条件的假设插入所述计算机程序的所述第二版本。
公开号  105283853A
公开日  2016-01-27
专利代理机构  上海专利商标事务所有限公司 31100
代理人  罗婷婷
颁证日  
优先权  2013.05.09 US 13/890,247
国际申请  2014-05-08 PCT/US2014/037225
国际公布  2014-11-13 WO2014/182863 EN
进入国家日期  2015.11.09