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

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