Broad Mapping: Power of Ten

JavaScript is not currently enabled, but is required for full CodeSonar manual search and browse functionality.

If you are viewing this file in your hub's Web GUI, enable JavaScript in your browser: you will also need it for GUI functionality.

If you opened this file directly from disk, your browser may be directly suppressing JavaScript functionality: certain browsers perform this suppression on local files (but not files delivered by web servers) for security reasons.

If you access the manual through the hub's Web GUI, the functionality will not be suppressed because the hub is a web server.
Alternatively, your browser may allow you to explicitly disable the security setting that suppresses functionality. See the CodeSonar FAQ for more information.

CodeSonar^® 9.0p0 Hot Tips

CONFIDENTIAL

CodeSecure Inc

Broad Mapping: Power of Ten

This table contains broad mappings between Power of Ten rule numbers and CodeSonar warning classes.

The close mapping from Power of Ten rule numbers to CodeSonar warning classes is shown in "Power of Ten" Checks.

A CSV version of this table is provided in POW10-mapping-broad.csv

POW10

C/C++ Warning Classes

POW10:1 Restrict to simple control flow constructs.

closely mapped	Goto Statement Initialization Cycle Recursion Unordered Initialization Use of <setjmp.h> Use of longjmp Use of setjmp

POW10:2 Give all loops a fixed upper-bound.

closely mapped	Potential Unbounded Loop

POW10:3 Do not use dynamic memory allocation after initialization.

closely mapped	Dynamic Allocation After Initialization Use of <stdlib.h> Allocator/Deallocator Use of <stdlib.h> Allocator/Deallocator Macro

POW10:4 Limit functions to no more than 60 lines of text.

closely mapped	Function Too Long

POW10:5 Use minimally two assertions per function on average.

closely mapped	Not Enough Assertions

POW10:6 Declare data objects at the smallest possible level of scope.

closely mapped	Scope Could Be File Static Scope Could Be Local Static

POW10:7 Check the return value of non-void functions, and check the validity of function parameters.

closely mapped	Ignored Return Value Unchecked Parameter Dereference

POW10:8 Limit the use of the preprocessor to file inclusion and simple macros.

closely mapped

also related

Function-Like Macro

POW10:9 Limit the use of pointers. Use no more than two levels of dereferencing per expression.

closely mapped	Function Pointer Macro Uses -> Operator Macro Uses Unary * Operator Macro Uses [] Operator Pointer Type Inside Typedef Too Many Dereferences

POW10:10 Compile with all warnings enabled, and use one or more source code analyzers.

closely mapped	Not All Warnings Are Enabled Warnings Not Treated As Errors