Leanpub Header

Skip to main content
Go to Leanpub.com

Guarantees For Writing Good Code in C

Improve code with guarantees.

Guarantees For Writing Good Code in C
This book is 100% completeLast updated on 2026-11-09
Joe Linhoff

Guarantees are a simple and powerful tool to help you write good code. They test critical assumptions and make them explicit and obvious. They help you, and anyone reading your code, make guarantees about the code.

Minimum price

$7.99

$12.00

You pay

Author earns

$

Also available for 1 book credit with a Reader Membership

PDF
EPUB
About

About

About the Book

Guarantee your code operates correctly using a combination of static assertions and runtime checks to make code obviously and understandably correct. This book covers ten common coding areas that every C programmer faces. Each area includes a discussion of the problems, a checklist for reviewing code in that area, and examples that make guarantees that the code operates correctly.

Share this book

Categories

C and C++

Feedback

Contact the author

Author

About the Author

Joe Linhoff

Joe Linhoff is a leader in robust, high-performance software development. He received his undergraduate Computer Science degree from the University of California at San Diego, and Law degree from University of Colorado at Boulder. In the time-before, he worked on many trail-blazing games including the sequel to Dungeon Master and the Big Buck Hunter arcade game series. He has wide-ranging experience, including Designer Developer at Midway Games and Lead at Play Mechanix, Tools Engineer at EA Games, and Game Department Chair at DePaul University. Moving from Chicago to Boulder, he worked relentlessly to apply the lessons in robust and high-performance software to the space industry, including as Components Lead and Principal Software Engineer at Blue Canyon, Principal Software Engineer at Maxar, and Lead Embedded Software Engineer at Muon Space. Presently, he is Director of Software at a Boulder satellite and drone company.

Contents

Table of Contents

Table of Contents

Table of Contents

  1. Introduction
  2. Types Of Guarantees
  3. Levels Of Guarantees
  4. Guarantees For Good Code
  5. Common Terminology and Tools
  6. Guarantee - Loops Terminate
  7. Guarantee - Array Indices Are In Bounds
  8. Guarantee - Buffer Access Is In-Bounds
  9. Guarantee - Safe Strings
  10. Guarantee - Definitions Match
  11. Guarantee - Pointers Are Not Null
  12. Guarantee - Variables Are (re)Initialized
  13. Guarantee - Balanced Resource Operations
  14. Guarantee - No Divide by Zero
  15. Guarantee - Macros Work As Expected
  16. Conclusion
  17. The Future Of C
  18. Links and References

The Leanpub 60 Day 100% Happiness Guarantee

Within 60 days of purchase you can get a 100% refund on any Leanpub purchase, in two clicks.

See full terms...

Earn $8 on a $10 Purchase, and $16 on a $20 Purchase

We pay 80% royalties on purchases of $7.99 or more, and 80% royalties minus a 50 cent flat fee on purchases between $0.99 and $7.98. You earn $8 on a $10 sale, and $16 on a $20 sale. So, if we sell 5000 non-refunded copies of your book for $20, you'll earn $80,000.

(Yes, some authors have already earned much more than that on Leanpub.)

Learn more about writing on Leanpub

Free Updates. DRM Free.

If you buy a Leanpub book, you get free updates for as long as the author updates the book! Many authors use Leanpub to publish their books in-progress, while they are writing them. All readers get free updates, regardless of when they bought the book or how much they paid (including free).

Most Leanpub books are available in PDF (for computers) and EPUB (for phones, tablets and Kindle). The formats that a book includes are shown at the top right corner of this page.

Finally, Leanpub books don't have any DRM copy-protection nonsense, so you can easily read them on any supported device.

Learn more about Leanpub's ebook formats and where to read them

Write and Publish on Leanpub

You can use Leanpub to easily write, publish and sell in-progress and completed ebooks and online courses!

Leanpub is a powerful platform for serious authors, combining a simple, elegant writing and publishing workflow with a store focused on selling in-progress ebooks.

Leanpub is a magical typewriter for authors: just write in plain text, and to publish your ebook, just click a button. (Or, if you are producing your ebook your own way, you can even upload your own PDF and/or EPUB files and then publish with one click!) It really is that easy.

Learn more about writing on Leanpub