Custom Query (74 matches)

The XStream version is outdated and raises warnings regarding reflection and potential security concerns due to updates in more recent JDKs. Use more recent XStream version and address the warnings for potential security concerns.

A return statement that is can be ambiguously parsed as a template or as an expression can sometimes lead to parsing issues when template restrictions such as ifpresent are used in the return statement.

A warning shall be raised when a local definition is only used in an assignment where a value is assigned to it.

An example is as follows:

function f_Function2() {
   var boolean v_Dummy := true; // Does cause a "checkNoUnusedLocalDefinitions" warning 
}
function f_Function3() {
   var boolean v_Dummy;
   v_Dummy := true; // Does not cause a "checkNoUnusedLocalDefinitions" warning 
}

While technically v_Dummy is "used" in f_Function3, the assigned value is never referenced afterwards. T3Q shall ignore assignments as "uses" for local definitions and raise warnings when the assigned values are never used.