Processing of CrySL syntax element "elements()"

[AndreSonntag]

For long time ago, we introduced the new CrySL syntax element „elements“ which gets an array object as parameter. In following, we can see an example :

SPEC javax.net.ssl.SSLParameters
OBJECTS
	Java.lang.String[] protocols;

EVENTS
        …

ORDER
	…

CONSTRAINTS
	elements(protocols) in {„TLSv1.2“, „TLSv1.1“};
	…

SSLParameters rule

Currently, the analysis is not able to process the syntax element.

I don’t know if it matter but we figured out that Boomerang defines the allocation site of an array as a newarray statement. The individual elements of the array will be defined after the newarray statement.

$stack4 = newarray (java.lang.String)[1]
$stack4[0] = "Test";