Reliable programs need to be tested and checked before problems occur. Static and dynamic analysis should be in every embedded developer's toolbox. Many developers employ code coverage tools but ...