Static Detection to Dynamic Memory Errors

There are many dynamic memory management errors in programs written by languages that support dynamic memory operation such as C, C++. There will be dynamic memory errors if some dynamic memory management default exists in a program. On the static analysis of programs, by using the path alias analysis discussed in this paper, the path alias relations of dynamic memory variables within a procedure and between procedures can be detected, then the alias set can be made. Under this condition, the states that disobey the dynamic memory management style can be found, and the dynamic memory errors can be detected.