Fig. 4From: ELAID: detecting integer-Overflow-to-Buffer-Overflow vulnerabilities by light-weight and accurate static analysisE.g. definitions of function pointer in a struct fieldBack to article page