Memory leak detection using Heap Object Flow Graph (HOFG)-Reference-Cited by-同舟云学术

Memory leak detection using Heap Object Flow Graph (HOFG)

Published:2023-02-23 Issue: Volume: Page:
ISSN:
Container-title:16th Innovations in Software Engineering Conference
language:
Short-container-title:

Author:

Madhav C Haritha¹^ORCID,Cheramangalath Unnikrishnan¹^ORCID

Affiliation:

1. Computer Science and Engineering, Indian Institute of Technology Palakkad, India

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3578527.3578528

Reference33 articles.

1. N. Bjorner and L. de Moura. 2007. Z3: An efficient SMT solver. http://research.microsoft.com/projects/Z3. N. Bjorner and L. de Moura. 2007. Z3: An efficient SMT solver. http://research.microsoft.com/projects/Z3.

2. Mozilla Bugzilla. [n. d.]. Bugs in Mozilla. https://bugzilla.mozilla.org/buglist.cgi?quicksearch=memory+leak. Mozilla Bugzilla. [n. d.]. Bugs in Mozilla. https://bugzilla.mozilla.org/buglist.cgi?quicksearch=memory+leak.

3. Infer: An Automatic Program Verifier for Memory Safety of C Programs

4. Eyasu Getahun Chekole Unnikrishnan Cheramangalath Sudipta Chattopadhyay Martin Ochoa and Guo Huaqun. 2018. Taming the War in Memory: A Resilient Mitigation Strategy Against Memory Safety Attacks in CPS. arXiv preprint arXiv:1809.07477(2018). Eyasu Getahun Chekole Unnikrishnan Cheramangalath Sudipta Chattopadhyay Martin Ochoa and Guo Huaqun. 2018. Taming the War in Memory: A Resilient Mitigation Strategy Against Memory Safety Attacks in CPS. arXiv preprint arXiv:1809.07477(2018).

5. CVE [n. d.]. CVE for Memory Leaks. https://cve.mitre.org/cgi-bin/cvekey.cgi?keyword=memory+leak. CVE [n. d.]. CVE for Memory Leaks. https://cve.mitre.org/cgi-bin/cvekey.cgi?keyword=memory+leak.