Frequently asked questions

Here are answers to some frequently-asked questions about CBMC. Please send us any questions you have by filing an issue with us on GitHub.

• How does CBMC work?
• What is loop unwinding?
• How do memory pointers work?
• How do function pointers work?
• How does malloc work?
• What is a proof assumption?
• How do I write a good stub?
• What do I do when CBMC won't stop?