Java Support

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.2p0

CONFIDENTIAL

CodeSecure Inc

Java

Java Support

This section describes the current state of CodeSonar support for the various Java versions.

All features supported: Java 1-19

CodeSonar parses and generates internal representation (IR) for all features from these standards; the analysis takes account of the generated IR.

Java 20

Java 20 does not introduce new permanent features, but does have two preview features.

CodeSonar does not parse these preview features when the specified framework is Java 20 (or earlier).
They are both added as permanent features in Java 21; CodeSonar does parse them when the specified framework is Java 21 or Java 22.

Preview Feature: Not Parsed for Java 20
	Record Patterns	JEP 432	Second Preview. Minimum specified framework for parsing: Java 21. For information on current handling, see JEP 440.
	Pattern Matching for switch	JEP 433	Fourth Preview. Minimum specified framework for parsing: Java 21. For information on current handling, see JEP 441.

Java 21

Java 21 introduces two new permanent features, and has three preview features.

When the specified framework is Java 21 (or later), CodeSonar will parse the two permanent features. See the following table for information about current handling.
CodeSonar does not parse the three preview features when the specified framework is Java 21 or earlier.
One of the three preview features (JEP443) is added as permanent in Java 22, and CodeSonar will parse it if the specified framework is Java 22. The other two preview features are not added as permanent in Java 22 and are not parsed, regardless of specified framework. .

Parsed and partial internal representation (IR) generated
	Record Patterns Permanent	JEP 440	Using these will cause CodeSonar to issue false positive warnings of the following classes. Generic Exception Handler (Java) : one warning for each method where record patterns are used. Instanceof Always True (Java) : at least one warning for each record class in a complex pattern.
Parsed only
	Pattern Matching for switch Permanent	JEP 441	Pattern expressions and references do not contribute to code metrics. Using the feature may cause some non-blocking exceptions to be recorded in the analysis log. Some switch cases may be incorrectly identified as unreachable, causing CodeSonar to issue false positive warnings of various classes.
Preview Features: Not Parsed for Java 21
	String Templates	JEP 430	Preview. Not parsed, regardless of specified framework.
	Unnamed Patterns and Variables	JEP 443	Preview. Minimum specified framework for parsing: Java 22. For information on current handling, see JEP 456.
	Unnamed Classes and Instance Main Methods	JEP 445	Preview. Not parsed, regardless of specified framework.

Java 22

Java 22 introduces one new permanent feature, and has three preview features. CodeSonar parses all of these features, but generates internal representation (IR) for only one of them, and analysis checks do not fully account for any of them.

When the specified framework is Java 22, CodeSonar will parse the permanent feature and handle it as described in the following table.
CodeSonar does not parse the two preview features, regardless of specified framework.

Parsed and full internal representation (IR) generated
	Unnamed Variables & Patterns Permanent	JEP 456	Unnamed variables and patterns are parsed but currently analyzed as classical named local variables. Using them will cause CodeSonar to issue a false positive Unused Value: Variable (Java) warning for each use.
Preview Features: Not Parsed for Java 22
	Statements before super(...)	JEP 447	Preview. Not parsed, regardless of specified framework.
	String Templates	JEP 459	Second Preview. Not parsed, regardless of specified framework.
	Implicitly Declared Classes and Instance Main Methods	JEP 463	Second Preview.

To report problems with this documentation, please visit https://support.codesecure.com/.