会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 6. 发明授权
    • System and method for checking for dynamic resource misuse in a computer
program
    • 用于检查计算机程序中动态资源滥用的系统和方法
    • US5764883A
    • 1998-06-09
    • US623353
    • 1996-03-28
    • Wade J. SatterfieldSamuel C. Sands
    • Wade J. SatterfieldSamuel C. Sands
    • G06F11/36G06F11/00
    • G06F11/3604
    • A system and method for identifying dynamic resource misuses via inspection that may result in problems like corrupted heap memory and memory leaks in a target program. The parameters and variable are marked with a particular state type. The target program is then analyzed one function at a time via symbolic execution so as to interpret each function based on the states of the variable and parameters and the operations performed by the basic blocks comprising the function. A state transition table is utilized to define the new state of a destination based on the operation and current state. Coding violations identified by the state transition table are reported and a signature of the function created for use when analyzing other functions that call the current function being analyzed.
    • 用于通过检查来识别动态资源滥用的系统和方法,其可能导致诸如目标程序中的堆内存和内存泄漏损坏的问题。 参数和变量用特定的状态类型标记。 然后通过符号执行一次分析目标程序,以便基于变量和参数的状态以及由包括该功能的基本块执行的操作来解释每个功能。 利用状态转换表根据操作和当前状态来定义目的地的新状态。 报告由状态转换表识别的编码违例,并且在分析调用正在分析的当前功能的其他功能时创建的功能的签名。