Broad Mapping: JPL

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: JPL

This table contains broad mappings between JPL rule numbers and CodeSonar warning classes.

The close mapping from JPL rule numbers to CodeSonar warning classes is shown in JPL Checks.

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

JPL

C/C++ Warning Classes

JPL:1 Do not stray outside the language definition.

closely mapped	C++ Comment in C GNU Extension GNU Typeof Microsoft Extension

JPL:2 Compile with all warnings enabled; use static source code analyzers.

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

JPL:3 Use verifiable loop bounds for all loops meant to be terminating.

closely mapped	Potential Unbounded Loop

JPL:4 Do not use direct or indirect recursion.

closely mapped	Recursion

JPL:5 Do not use dynamic memory allocation after task initialization.

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

JPL:7 Do not use task delays for task synchronization.

closely mapped	Task Delay Function

JPL:9 Place restrictions on the use of semaphores and locks.

closely mapped	Conflicting Lock Order Lock/Unlock Mismatch Locked Twice Missing Lock Acquisition Missing Lock Release Nested Locks Unknown Lock

JPL:11 Do not use goto, setjmp or longjmp.

closely mapped	Goto Statement Use of <setjmp.h> Use of longjmp Use of setjmp

JPL:12 Do not use selective value assignments to elements of an enum list.

closely mapped	Inconsistent Enumerator Initialization

JPL:13 Declare data objects at smallest possible level of scope.

closely mapped	Non-distinct Identifiers: Nested Scope Scope Could Be File Static Scope Could Be Local Static

JPL:14 Check the return value of non-void functions, or explicitly cast to (void).

closely mapped	Ignored Return Value

JPL:15 Check the validity of values passed to functions.

closely mapped	Unchecked Parameter Dereference

JPL:16 Use static and dynamic assertions as sanity checks.

closely mapped	Not Enough Assertions

JPL:17 Use U32, I16, etc instead of predefined C data types such as int, short, etc.

closely mapped	Basic Numerical Type Used

JPL:18 Make the order of evaluation in compound expressions explicit.

closely mapped	Indeterminate Order of Evaluation Missing Parentheses

JPL:19 Do not use expressions with side effects.

closely mapped

also related

JPL:20 Make only very limited use of the C pre-processor.

closely mapped

JPL:21 Do not define macros within a function or a block.

closely mapped	Macro Defined in Function Body Macro Undefined in Function Body

JPL:22 Do not undefine or redefine macros.

closely mapped	Macro Undefinition of Reserved Name Use of #undef

JPL:23 Place #else, #elif, and #endif in the same file as the matching #if or #ifdef.

closely mapped	No Matching #endif No Matching #if

JPL:24 Place no more than one statement or declaration per line of text.

closely mapped	Multiple Declarations On Line Multiple Statements On Line

JPL:25 Use short functions with a limited number of parameters.

closely mapped	Ellipsis Function Too Long Too Many Parameters

JPL:26 Use no more than two levels of indirection per declaration.

closely mapped	Too Much Indirection in Declaration

JPL:27 Use no more than two levels of dereferencing per object reference.

closely mapped	Too Many Dereferences

JPL:28 Do not hide dereference operations inside macros or typedefs.

closely mapped	Macro Uses -> Operator Macro Uses Unary * Operator Macro Uses [] Operator Pointer Type Inside Typedef

JPL:30 Do not cast function pointers into other types.

closely mapped	Conversion from Function Pointer Function Pointer Conversion

JPL:31 Do not place code or declarations before an #include directive.

closely mapped	Code Before #include