Memory Leak Detection in IoT Program Based on an Abstract Memory Model SeqMM

Dong, Yukun; Yin, Wenwu; Wang, Shudong; Zhang, Li; Sun, Lin

doi:10.1109/access.2019.2951168

Cited by 2 publications

(2 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The reduction of the frame square, in which duplicate frame square copies are eliminated and record squares are isolated, is another option that can be considered for better deduplication process [26]. To eliminate duplicates, data is transferred to the farthest possible server in a serverside subtraction [27]. This tactic allows for the accumulation of more things without exceeding some kind of data transfer cap.…”

Section: Proposed Methodsmentioning

confidence: 99%

Efficient Memory Handling Model with Consistent Video Frame Duplication Removal with Precise Compression

Sameerunnisa,

Jabez

2023

RIA

View full text Add to dashboard Cite

Massive amounts of videos are being made and shared online as mobile devices and social networks gain popularity in recent years. The enormous expansion in the amount of video data created has made storing and quickly searching it all quite difficult. Because many movies are duplicates or near-duplicates in practice, recognizing these copies has become a critical strategy for decreasing the amount of storage with duplicate removal models. Video compression is an important part of Internet video delivery for efficient memory management. Deep learning's growth has sparked a revival in video compression, with many frameworks offering comparable or even higher performance than traditional video codecs presented in recent years. Despite the advancement in rate-distortion, these models are substantially slower and need more memory, limiting their practical application. The exponentially increasing volume of video data created has presented enormous problems to video deduplication technologies. People are interested in uploading and sharing information in photo and video formats in this digital era. This expansion has resulted in increased storage capacity, which contains a large amount of redundant multimedia material. Many deduplication algorithms are being rapidly developed nowadays, although they are often slow and have rather imprecise identification processes. Deduplication is one of the emerging ways for coping with redundant data stored in several locations. When more than a copy of the same data is detected, a single copy is preserved, and the other data is replaced by pointers pointing to the preserved copy and also duplicate frames will be removed by segmenting the video for memory efficiency. Storage can be utilised to effectively store a large amount of other data. While there are many other types of deduplication algorithms, picture and video deduplication strategies and implementations receive a lot of attention since they are difficult to implement. In this research a Consistent Video Frame Duplication Removal with Precise Compression (CVFDR-PC) model for efficient memory handling is proposed. This research provides a versatile and efficient video frame deduplication framework with compression model that effectively handles the memory. The proposed model when contrasted with the existing methods exhibit better performance levels.

show abstract

Section: Proposed Methodsmentioning

confidence: 99%

Efficient Memory Handling Model with Consistent Video Frame Duplication Removal with Precise Compression

Sameerunnisa,

Jabez

2023

RIA

View full text Add to dashboard Cite

show abstract

“…In this paper, we focus on important challenges including memory leaks for embedded systems' memory usage [22]. The software suffers because of it.…”

Section: Introductionmentioning

confidence: 99%

Efficient and linear static approach for finding the memory leak in C

Desai

Jariwala

2023

IJECE

View full text Add to dashboard Cite

Code analysis has discovered that memory leaks are common in the C programming language. In the literature, there exist various approaches for statically analyzing and detecting memory leaks. The complexity and diversity of memory leaks make it difficult to find an approach that is both effective and simple. In embedded systems, costly resources like memory become limited as the system’s size diminishes. As a result, memory must be handled effectively and efficiently too. To obtain precise analysis, we propose a novel approach that works in a phase-wise manner. Instead of examining all possible paths for finding memory leaks, we use a program slicing to check for a potential memory leak. We introduce a source-sink flow graph (SSFG) based on source-sink properties of memory allocation-deallocation within the C code. To achieve simplicity in analysis, we also reduce the complexity of analysis in linear time. In addition, we utilize a constraint solver to improve the effectiveness of our approach. To evaluate the approach, we perform manual scanning on various test cases: link list applications, Juliet test cases, and common vulnerabilities and exposures found in 2021. The results show the efficiency of the proposed approach by preparing the SSFG with linear complexity.

show abstract

Memory Leak Detection in IoT Program Based on an Abstract Memory Model SeqMM

Cited by 2 publications

References 29 publications

Efficient Memory Handling Model with Consistent Video Frame Duplication Removal with Precise Compression

Efficient Memory Handling Model with Consistent Video Frame Duplication Removal with Precise Compression

Efficient and linear static approach for finding the memory leak in C

Contact Info

Product

Resources

About