会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Execution failure investigation using static analysis
    • 使用静态分析执行故障调查
    • US07526758B2
    • 2009-04-28
    • US11171745
    • 2005-06-30
    • Damian HasseKshitiz K. SharmaThushara K. Wijeratna
    • Damian HasseKshitiz K. SharmaThushara K. Wijeratna
    • G06F9/44
    • G06F11/366
    • When, during debugging, a program failure occurs, the location of the failure is determined. First the address in the stack related to the program failure is found. Then static analysis is performed in order to determine a possible culprit for the failure. For example, when a security cookie has been overwritten, indicating a probable overflow, the location of the security cookie on the stack is determined, and proximate storage structures (such as arrays) which may have overflowed onto the location of the security cookie are determined. Then static analysis is used to determine probable sources (e.g. functions or instructions in a function) for this error. In this way, the root cause of a buffer overflow or similar problem can be identified easily, rather than requiring extensive time and knowledge regarding the working of the compiler, the security cookie, the stack, static analysis, and the source code.
    • 当在调试期间发生程序故障时,确定故障的位置。 首先找到与程序故障相关的堆栈中的地址。 然后执行静态分析,以确定故障的可能罪魁祸首。 例如,当安全性cookie被覆盖时,指示可能的溢出,确定堆栈上的安全cookie的位置,并且确定可能溢出到安全cookie的位置的接近的存储结构(例如数组) 。 然后使用静态分析来确定该错误的可能来源(例如函数中的函数或指令)。 以这种方式,可以容易地识别缓冲区溢出或类似问题的根本原因,而不是需要对编译器,安全cookie,堆栈,静态分析和源代码的工作的广泛的时间和知识。