1. Infer: An Automatic Program Verifier for Memory Safety of C Programs
2. Xiang Chen. 2023. Real-world CWE680: Integer Overflow to Buffer Overflow (IO2BO) vulnerability collections. GitHub. https://github.com/cascades-sjtu/rw-io2bo
3. The MITRE Corporation. 2023. CWE-190: Integer Overflow or Wraparound. The MITRE Corporation. Retrieved October 26, 2023 from https://cwe.mitre.org/data/definitions/190.html
4. The MITRE Corporation. 2023. CWE-680: Integer Overflow to Buffer Overflow. The MITRE Corporation. Retrieved October 26, 2023 from https://cwe.mitre.org/data/definitions/680.html