Patent ID: 8949797
Filing Date: 2015-02-03
Classification: G06F

Abstract:
1. A computer-implemented method for verifying integrity of a running application program on a computing device, said method comprising: determining entry points into an application programs processing space that potentially impact data elements of said running application; mapping the data elements reachable from said determined entry points into a memory space of a host system where the application program to verify is running; monitoring, during run-time, said memory space to verify that any modification to a data element does not breach a program state; analyzing the data elements for determining a presence of overlap in security guarantees, the presence of the overlap in the security guarantees indicating data dependency between the data elements; selecting one or more data elements having no data dependency between each other in said security guarantees; monitoring, for said security guarantees, the selected data elements having no data dependency between each other: and initiating a response to one or more of said modification to one or more of the monitored selected data elements when said one or more modification breaches said program state.