performance: 0.690
architecture: 0.565
semantic: 0.532
device: 0.507
network: 0.491
graphic: 0.396
mistranslation: 0.238
arm: 0.201
permissions: 0.168
hypervisor: 0.133
VMM: 0.106
user-level: 0.103
debug: 0.101
peripherals: 0.085
register: 0.072
socket: 0.062
virtual: 0.059
assembly: 0.059
vnc: 0.057
TCG: 0.052
boot: 0.048
PID: 0.031
files: 0.029
ppc: 0.025
risc-v: 0.024
KVM: 0.015
kernel: 0.007
i386: 0.005
x86: 0.003

INTEGER_OVERFLOW in nios2.c