A Systemic Review of Static Memory Analysis
C++;Java;pattern matching;Python;SharpChecker;static memory analysis;symbolic execution
out of scope for the interests of ICLR
Submission Desk Rejected by Program Chairs
@misc{
solomon2024a,
title={A Systemic Review of Static Memory Analysis},
author={Enoch Solomon},
year={2024},
url={https://openreview.net/forum?id=Mphd6Sf6z4}
}
This review aims to evaluate and compare various static analysis tools across multiple programming languages for memory management. The tools and techniques under scrutiny include pattern matching, symbolic execution, CppCheck, SharpChecker, FindBugs, CheckStyle, and Pylint. When examining the methods, pattern-matching, and symbolic execution, we identified implementations using pattern-matching and symbolic execution for each programming language. We focus on understanding the full scope of their capabilities and effectiveness in managing internal and external memory  components such as RAM, SRAM, PROM, Cache, Optical Drive, etc. While static analysis tools do not directly analyze physical memory components, they are crucial in enhancing memory behavior. By detecting and addressing memory-related issues early in the development process, these tools contribute significantly to the overall quality of software systems. This review will thoroughly examine the strengths and weaknesses of each static analysis tool, aiding in selecting the most suitable tool or combination of tools for effective memory management across diverse programming environments.
I certify that there is no URL (e.g., github page) that could be used to find authors’ identity.
~Enoch_Solomon2
Enoch Solomon
I acknowledge that I and all co-authors of this work have read and commit to adhering to the ICLR Code of Ethics.
C++ Java pattern matching Python SharpChecker static memory analysis symbolic execution
I certify that there is no acknowledgement section in this submission for double blind review.
solomon|a_systemic_review_of_static_memory_analysis
/pdf/05455ad6459ee8ef37b07f3e5454d491cad82bad.pdf
infrastructure, software libraries, hardware, systems, etc.
I understand the reciprocal reviewing requirement as described on https://iclr.cc/Conferences/2025/CallForPapers. If none of the authors are registered as a reviewer, it may result in a desk rejection at the discretion of the program chairs. To request an exception, please complete this form at https://forms.gle/Huojr6VjkFxiQsUp6.
I certify that this submission complies with the submission instructions as described on https://iclr.cc/Conferences/2025/AuthorGuide.
A Systemic Review of Static Memory Analysis
ICLR 2025 Conference Desk Rejected Submission
ICLR.cc/2025/Conference/Desk_Rejected_Submission