Verification Bugs (VRF) Examples

CVE-2001-1585

BF Taxonomy

BF Description

CVE Description

Analysis

Source Code

CVE-2015-2141

BF Taxonomy

BF Description

CVE Description

Analysis

Source Code

References

    [1] Bojanova, I., Black, P. E., Yesha, Y., Wu, Yan, Evans, Z., Poster: The Bugs Framework (BF) – First Classes: Buffer Overflow (BOF), Injection (INJ), Control of Interaction Frequency (CIF), STC 2017, NIST, Gaithersburg, MD, USA.
    [2] The MITRE Corporation, CVE Common Vulnerabilities and Exposures, CVE-2001-1585.