12,687,192 members (23,753 online) Sign in

articles Q&A forums lounge Search for articles, questions, tips

Secure Coding Best Practices for Memory Allocation

in C and C++
Richard Lewis, 17 May 2006 CPOL
Rate this:
3.02 (26 votes)

Straight-to-the-point reckoner for avoiding security issues when allocating memory in C and C++ by Richard Lewis

Introduction
Tomes (and I'm talking of real big tomes) are available on secure coding in C and C++. They describe the details of the language,
why C, C++ are so insecure and coding patterns and anti-patterns. They tell you what to chew and what to eschew. At the end of it
all - when you come down to writing code - how many of these best practices do you remember?

The answer to the above questions is best left to your judgement. In this secure programming series, I intend to bring before you
collections of programming best practices collected from the following sources:

1. My own experience and the invaluable experience that I have obtained when reviewing source code.
2. Numerous books available on the topic (my favourite being Secure Programming in C and C++ by Robert Seacord). I
recently picked up Exceptional C++ and More Exceptional C++ by Herb Sutter and wonder how I did without these ones!

This article gives you tips to follow when allocating and deallocating memory in C and C++. If your code does not follow them, then
you run a risk of making your programs susceptible to all types of attacks (describing the attacks does not fall in the scope of the
article).

Without wasting any more of your time (or mine), let us dig in.

Secure Memory Allocation Tips Common to C and C++

Tip 1

Use static buffers wherever possible. The compiler automatically frees such memory.

Tip 2

Previously allocated memory should be manually freed, after it is no longer required.

Don't laugh, meet someone who's making a switch from Java into C, C++ and you'll know what I'm talking about.

Tip 3
Given an option to choose between calloc/malloc or new to allocate memory, go in for the latter - use new, don't use
calloc/malloc.

Tip 4

When using C and C++ code together, if new has been used to allocate memory, use delete to free it. Do not use free.
Likewise, if malloc or calloc has been used to allocate memory, use free when deallocating. Do not use delete.

Unfortunately, many programmers feel they can get away with using free when allocation has been done by new (and vice
versa) because they discovered while debugging that new was implemented using malloc and that delete was
implemented using free! Don't fall in this trap.

Tip 5

Often a function requires to set a buffer supplied by the caller. The length of the buffer may be unknown to the caller so the caller
may not know how much memory to allocate before supplying that buffer to the function. In such cases, the function should provide
a means for the caller to determine how many bytes are required to be allocated.

A common way to do this is by allowing the caller to call the function with a special argument so that it will return the number of
bytes the caller must allocate for the buffer.

Tip 6

When shipping code libraries (or SDKs as they are called), provide wrapper functions that encapsulate new and delete. This
helps prevent single-threaded and multi-threaded runtime issues.

Tip 7

Use unsigned integer types to hold the number of bytes to be allocated, when allocating memory dynamically. This weeds out
negative numbers. Also check the length of memory allocated against a maximum value.

Tip 8

Do not allocate and deallocate memory in a loop as this may slow down the program and may sometime cause security
malfunctions.

Tip 9

Assign NULL to a pointer after freeing (or deleting) it. This prevents the program from crashing should the pointer be accidentally
freed again. Calling free or delete on NULL pointers is guaranteed not to cause a problem.

Tip 10

Compilers are known to vaporise calls to memset() that appear after all modifications to the memory location is complete for
that flow. Use SecureZeroMemory() to prevent this from happening.

Tip 11

When storing secrets such as passwords in memory, overwrite them with random data before deleting them. Need to note that
free and delete merely make previously allocated memory unavailable, they don't really 'delete' data contained in that
memory.
Tip 12

An easy way to find out if your code is leaking memory is by executing it and examining its memory usage either using Task
Manager on Windows or top on Linux.

Secure Memory Allocation Tips in C

Tip 1

Ensure that 0 (zero) bytes are not allocated using malloc. According to the documentation, behaviour for malloc() for this
case is undefined.

Tip 2

Always check the pointer to the memory returned by calloc/malloc. If this pointer turn out to be NULL, the memory
allocation should be considered unsuccessful and no operations should be performed using that pointer.

Tip 3

When allocating an array of objects, remember to free the array in a loop.

Tip 4

Do not use realloc when allocating buffers that will store sensitive data in them. The implementation of realloc copies
and moves around the data based on your reallocations. This implies that your sensitive data ends up in several other areas in
memory which you would have no means of "scrubbing".

Secure Memory Allocation Tips in C++

Tip 1

When allocating collections use...

Hide Copy Code

std::vector<thing> vt(100,thing());

rather than:

Hide Copy Code

thing* pt = new thing[100];

The vector defined above is clearly defined on the stack and therefore memory deallocation will be handled by the compiler. If the
storage needs a longer lifetime, say as part of a larger class instance, then make it a member variable and initialize the storage with
assign() when required.

Tip 2

When using new to allocate an array of objects, use the delete [ ] convention when freeing memory. Using delete
without the subscript operator [ ] will result in a memory leak.
Tip 3

Use auto_ptr more often than you currently do when allocating so that deallocation is handled automatically. Remember the
following guidelines when dealing with auto_ptrs.

An existing non-const auto_ptr can be reassigned to own a different object by using its reset() function.
The auto_ptr::reset() function deletes the existing owned object before owning the new one.
Only one auto_ptr can own an object. So after one auto_ptr (say, P1) has been assigned to another
auto_ptr (say, P2) do not use P1 any longer to call a method on the object as P1 is reset to NULL. Remember that
the copy of an auto_ptr is not equivalent to the original.
Do not put auto_ptrs into standard containers. This is because doing this creates a copy of the auto_ptr and as
mentioned above, the copy of an auto_ptr is not equivalent to the original.
Dereferencing an auto_ptr is the only allowed operation on a const auto_ptr.
auto_ptr cannot be used to manage arrays.

Tip 4

When using new, enclose it within a try-catch block. The new operator throws an exception and does not return a value. To
force the new operator to return a value, use the nothrow qualifier as shown below:

Hide Copy Code

thing * pt = new (std::nothrow) thing[100];

Finally...
I hope you enjoyed reading these tips. If you did, please vote and rate this article below. I shall wait for your comments and
feedback. I will collate comments from all of you and update the article - not to mention - and give you all credits. Please feel free to
email me at richiehere@hotmail.com. Good luck and secure programming!

Revision History
Thanks to Jerry Evans, Ogrig, Mauro H. Leggieri, SilentSilent, Darka, Rob Hemstede and Peterchen for their quality comments and
reviews that influenced the previous versions of this article.

License
This article, along with any associated source code and files, is licensed under The Code Project Open License (CPOL)

Share

About the Author

 Richard Lewis
Web Developer
India

I am a Software Security Consultant and specialize in secure code and design reviews. It is my career ambition to build a security
fabric for secure software development. I have a programming background in C, C++, device drivers and MFC. I have done a
couple of PKI deployments and have also developed a desktop encryptor, authentication SDK and cryptographic SDK.

I believe I am what I am because I choose God to make me what He wants me to be.

You may also be interested in...

Open Source Software: Security Risks and Best The Business Case for Earlier Software Defect
Practices Detection and Compliance

Allocated Memory Management in C Announcing Ubuntu and Wind River Pulsar

support with Intel IoT Developer Kit 5.0

COM in plain C 10 Ways to Boost COBOL Application

Development

Comments and Discussions

You must Sign In to use this message board.

Search Comments Go

First Prev Next

My vote of 4
bloodelf02 21-Dec-11 21:50

Tip 1
Neil_Scales 19-May-06 5:36
Tip 7 - size_t
Neil_Scales 19-May-06 5:33

Article revised
Richard Lewis 20-Apr-06 20:50

C++ != C
Jerry Evans 20-Apr-06 14:31

Tip 11
Jrgen Sigvardsson 20-Apr-06 14:12

Re: Tip 11
ogrig 20-Apr-06 14:56

Re: Tip 11
technomanceraus 1-May-06 20:19

Re: Tip 11
ogrig 1-May-06 20:43

Re: Tip 11
Richard Lewis 2-May-06 1:09

Tip 5
Mauro Leggieri 20-Apr-06 7:12

Re: Tip 5
ogrig 20-Apr-06 14:32

Re: Tip 5
Mauro Leggieri 18-May-06 3:21

Tip 13 :-D
SilentSilent 20-Apr-06 4:30

Re: Tip 13 :-D

Darka 20-Apr-06 4:52

Re: Tip 13 :-D

ogrig 20-Apr-06 14:08

Re: Tip 13 :-D

Darka 20-Apr-06 22:06

Re: Tip 13 :-D

Richard Lewis 20-Apr-06 6:39

Re: Tip 13 :-D

Rob Hemstede 20-Apr-06 10:45

Re: Tip 13 :-D

ogrig 20-Apr-06 14:26

Re: Tip 13 :-D

SilentSilent 20-Apr-06 23:13

Re: Tip 13 :-D

Richard Lewis 20-Apr-06 23:47
 instead of auto_ptr...
peterchen 20-Apr-06 3:05

Re: instead of auto_ptr...

Richard Lewis 20-Apr-06 3:47

Useful article
Darka 20-Apr-06 1:59

Refresh 1 2 Next

General News Suggestion Question Bug Answer Joke Praise Rant Admin

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.

Permalink | Advertise | Privacy | Terms of Use | Mobile

Web02 | 2.8.170113.4 | Last Updated 18 May 2006
Layout: fixed | fluid Article Copyright 2006 by Richard Lewis
Everything else Copyright CodeProject, 1999-2017