专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20140130016A1 OFFLINE TYPE CHECKING IN PROGRAMMING LANGUAGES 有权
标题翻译：编程语言中的离线类型检查
公开(公告)号：US20140130016A1
公开(公告)日：2014-05-08
申请号：US13671049
申请日：2012-11-07
申请人： Alok Menghrajani , Julien Verlaguet
发明人： Alok Menghrajani , Julien Verlaguet
IPC分类号： G06F11/36
CPC分类号： G06F11/3604 , G06F8/437
摘要： Disclosed is a method and system for detecting errors in source code of an application without executing the source code. Embodiments of the disclosed technique include detecting an error generating change at a specific location in source code of an application without executing the source code. The detection includes detecting an error in the changed portion of the source code as well dependencies of the changed portion of the source code. After the error detection, an error message containing information of the error is generated and stored in a storage unit. The information on the error includes (a) an indication of the change in source code, (b) the specific location, or (c) reason for the error. The types of error detected can include (i) a data type mismatch error, (ii) a syntax error, and (iii) other errors such as uninitialized variable access, null value or pointer dereference.
摘要翻译：公开了一种用于在不执行源代码的情况下检测应用的源代码中的错误的方法和系统。所公开的技术的实施例包括在不执行源代码的情况下检测在应用的源代码中的特定位置处的错误生成改变。检测包括检测源代码的改变部分中的错误以及源代码的改变部分的依赖性。在错误检测之后，生成包含错误信息的错误消息并将其存储在存储单元中。关于错误的信息包括（a）源代码变化的指示，（b）特定位置，或（c）错误的原因。检测到的错误类型可能包括（i）数据类型不匹配错误，（ii）语法错误，和（iii）其他错误，如未初始化的可变访问，空值或指针取消引用。

IPRDB

热门服务

关于我们

友情链接

联系方式