Scenario;
- Create C++ project with such code:

int main(int argc, char** argv) {
    int i = 1/0;
    int a[2];
    a[4] = 1;
    return 0;
}
- Select project's node and push Source|Inspect...
- Select "Use Clank to get warning and static analysis diagnostics (Experimental)"
- Press Inspect button
- Press 'Categorize' button in Inspector tab
==> On top I see 'Unknown' message

+ Unknown (2)
|+ Unknown (2)
 |+ CppApplication_3 (2)
  |+ Source Files (2)
   |+ main.cpp (2)
    |- 3:division by zero is undefined
    |- 5:array index 4 is past the end of the array (which contains 2 elements)