Detecting type errors and secure coding in C/C++ applications

The programming languages such as C/C++ suffer from memory management and security of code especially when their codes are used in critical systems. Therefore, we need an efficient mechanism to detect memory and type errors. Some researches have been done and many tools have been developed to detect these errors and to secure C/C++ code. However, theses tools have some drawbacks such as memory management and leak, and type errors in static and dynamic analysis. Generally speaking, this paper proposes a dynamic analysis mechanism to detect type errors in modules of C/C++ code using aspect-oriented programming. We illustrate problems by examples and discuss their solutions.