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