Fig. 5From: ELAID: detecting integer-Overflow-to-Buffer-Overflow vulnerabilities by light-weight and accurate static analysisE.g., definition of global function pointer variableBack to article page