Fig. 1From: ELAID: detecting integer-Overflow-to-Buffer-Overflow vulnerabilities by light-weight and accurate static analysisThe structure of our frameworkBack to article page