1. A method comprising the following computer-executable acts: generating a points-to graph based upon execution of a points-to analysis algorithm over source code in a computer-readable medium of a computing device, the points-to graph is a directed graph that comprises a first node, a second node, and a directed edge from the first node to the second node, the first node represents a first pointer in the source code, the second node represents a second pointer in the source code, and the edge indicates that an object pointer derivable from the second pointer is also derivable from the first pointer, the second pointer being a generic pointer, the generic pointer points to a data object that has a type that is unextractable from definitions corresponding to pointers in the source code; inferring the type of the data object pointed to by the second pointer in the source code based upon the points-to graph; generating a type graph based upon the inferred type of the data object pointed to by the generic pointer; performing a memory analysis over contents of memory of the computing device based upon the generated type graph, wherein performing the memory analysis comprises outputting an indication as to integrity of data in the memory.