![[Jenkins]](/ci/static/a01a62b1/images/svgs/logo.svg){kind=logo}
File JavaFxMediaPlayer.java
Overview
Severities Distribution
Reference Comparison
Modified vs. Unchanged
History
Details
| Category | Total | New | Distribution |
|---|---|---|---|
| CORRECTNESS | 1 | 1 | |
| MT_CORRECTNESS | 1 | 1 | |
| Total | 2 | 2 |
| Type | Total | New | Distribution |
|---|---|---|---|
| NP_NULL_ON_SOME_PATH | 1 | 1 | |
| IS2_INCONSISTENT_SYNC | 1 | 1 | |
| Total | 2 | 2 |
| Details | File | Package | Category | Type | Severity | Age | Hiddendetails |
|---|