Java: `Argument.isExplicitVarargsArray()` erroneously holds for primitive array as element of generic varargs parameter
- Lingua principale
- CodeQL
- Stelle
- 10.1k
- Fork
- 2.1k
- Merge medio
- 2g 15h
- PR unite (30g)
- 141
Descrizione
### Version
CodeQL CLI version: 2.5.5
CodeQL c4f604bafe146900e5d4e7265afc1822cabfa88a
### Description
The predicate `Argument.isExplicitVarargsArray()` erroneously holds when a primitive array (e.g. `int[]`) is used as single element for a varargs parameter of generic type.
Note that a non-generic varargs parameters (i.e. `Object...`) does not seem to be affected.
Java:
```java
class VarargsTest {
void sink(T... objects) { }
void test() {
// Erroneously claims this is an explicit varargs array
sink(new int[10]);
sink(1, 2, 3);
sink("a", "b");
sink(1, "a");
Object o = null;
sink(o);
sink(o, o);
}
}
```
Query:
```ql
import java
from Argument arg
where arg.isExplicitVarargsArray()
select arg
```
Guida per i contributori
Apri la guida per i contributori
Valutazione
Questa issue non è ancora stata valutata.