Download now Free registration required
The explicit memory management of the C programming language is one of its key features. However, it spawns insidious programming errors that may lead to critical security flaws. Both static and dynamic analyses have been used for the automated detection of memory errors in C code. Static analysis operates during program compilation; it is sound but suffers from undecidability limitations. On the other hand, dynamic analysis operates during program execution; it is precise, but suffers from performance issue. Some other hybrid approaches combine static and dynamic analyses for memory safety. Binary incompatibility and significant modification of the source code are their main shortcomings.
- Format: PDF
- Size: 707.94 KB