CodeCheck Documentation
CodeCheck Documentation - The Power of Ten

Standard: The Power of Ten

"The Power of 10: Rules for Developing Safety-Critical Code" standard by Gerald Holzmann

This standard was presented by Gerald Holzmann at NASA's Jet Propulsion Laboratory. The rules are few in number so that developers are likely to remember them all. They are strict to improve the quality of the code, analysis results, and ultimately the program.

Check IDCheck NameSupported
POWER_OF_TEN_011 Simple Control FlowYes
POWER_OF_TEN_022 Loops with Fixed LimitsYes
POWER_OF_TEN_033 No Dynamic Memory AllocationYes
POWER_OF_TEN_044 Short FunctionsYes
POWER_OF_TEN_055 Use Assertion StatementsYes
POWER_OF_TEN_066 Declarations at Lowest ScopeYes
POWER_OF_TEN_07_A7A Check Parameters and Return Values - Ignored Return ValuesYes
POWER_OF_TEN_07_B7B Check Parameters and Return Values - Unchecked Parameters and Return ValuesYes
POWER_OF_TEN_088 Limit Preprocessor UsageYes
POWER_OF_TEN_09_A9A Restrict Pointer Usage - Multiple DereferencesYes
POWER_OF_TEN_09_B9B Restrict Pointer Usage - OtherYes
POWER_OF_TEN_1010 All Compiler WarningsYes