会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 7. 发明申请
    • OFFLINE TYPE CHECKING IN PROGRAMMING LANGUAGES
    • 编程语言中的离线类型检查
    • US20140130016A1
    • 2014-05-08
    • US13671049
    • 2012-11-07
    • Alok MenghrajaniJulien Verlaguet
    • Alok MenghrajaniJulien Verlaguet
    • G06F11/36
    • G06F11/3604G06F8/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)其他错误,如未初始化的可变访问,空值或指针取消引用。