diff options
Diffstat (limited to 'results/classifier/108/other/2619')
| -rw-r--r-- | results/classifier/108/other/2619 | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/results/classifier/108/other/2619 b/results/classifier/108/other/2619 new file mode 100644 index 000000000..dad8338a1 --- /dev/null +++ b/results/classifier/108/other/2619 @@ -0,0 +1,16 @@ +performance: 0.690 +semantic: 0.532 +device: 0.507 +network: 0.491 +graphic: 0.396 +permissions: 0.168 +debug: 0.101 +socket: 0.062 +vnc: 0.057 +boot: 0.048 +PID: 0.031 +files: 0.029 +other: 0.017 +KVM: 0.015 + +INTEGER_OVERFLOW in nios2.c |