# 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](https://github.com/model-checking/cbmc-training/issues)
on GitHub.

* [How does CBMC work?](cbmc.md)
* [What is loop unwinding?](loop-unwinding.md)
* [How do memory pointers work?](memory-model.md)
* [How do function pointers work?]()
* [How does malloc work?](malloc.md)
* [What is a proof assumption?](proof-assumptions.md)
* [How do I write a good stub?]()
* [What do I do when CBMC won't stop?](termination.md)