发明名称 A Method for validating run-time references
摘要 A method, apparatus and computer program for identifying conflicting declared invalid runtime references of overlaid data structures of a shared memory area as declared in a program listing, the method comprising the steps of: responsive to identifying a first data structure and a parameter list in a program listing, identifying a first routine call and the first routine call's sequential flow of execution through the program listing in order to write data to the shared memory area; responsive to identifying a second data structure and a second parameter list in the program listing, identifying a second routine call and the second routine call's sequential flow of execution through the program listing in order to write data to the shared memory area; and determining if the second routine call is attempting to overwrite data of the first routine call with the data of the second routine call in the shared memory area.
申请公布号 GB2500349(A) 申请公布日期 2013.09.18
申请号 GB20130011746 申请日期 2011.10.25
申请人 INTERNATIONAL BUSINESS MACHINES CORPORATION 发明人 ANDREW WRIGHT;PHILIP ROBERT LEE;PEGGY ANNE DEVAL;EDWARD ALAN ADDISON
分类号 G06F9/00 主分类号 G06F9/00
代理机构 代理人
主权项
地址