Project Zephyr
| Project name | Zephyr |
|---|---|
| Top directory | /builds/swquality/zephyr-auditable/ |
| Timestamp | 2023-05-10 14:40:39.051 |
| Selection | |
| Variant |
| Kind | Count |
|---|---|
| parser | 1 |
| reporter | 2 |
| rule | 152 |
| tool | 3 |
| Kind | Count |
|---|---|
| CLEAN | 1 |
| OBJECT | 45 |
| UNIT | 271 |
| PROGRAM | 56 |
| PROJECT | 1 |
| COMMAND | 388 |
| END | 1 |
| Kind | Count |
|---|---|
| source | 297 |
| object | 248 |
| ecl | 11 |
| main | 117 |
| Kind | Count |
|---|---|
| caution | 1958 |
| error | 0 |
| information | 1300 |
| violation | 40921 |
software verification done right.