Copper is a software model checker. It enables you to verify properties against C source code. Copper is also fairly versatile in the kinds of claims it can check. On one hand, it can look for simple ...