diff options
| author | Christian Krinitsin <mail@krinitsin.com> | 2025-07-03 19:39:53 +0200 |
|---|---|---|
| committer | Christian Krinitsin <mail@krinitsin.com> | 2025-07-03 19:39:53 +0200 |
| commit | dee4dcba78baf712cab403d47d9db319ab7f95d6 (patch) | |
| tree | 418478faf06786701a56268672f73d6b0b4eb239 /results/classifier/zero-shot/118/ppc/2298 | |
| parent | 4d9e26c0333abd39bdbd039dcdb30ed429c475ba (diff) | |
| download | emulator-bug-study-dee4dcba78baf712cab403d47d9db319ab7f95d6.tar.gz emulator-bug-study-dee4dcba78baf712cab403d47d9db319ab7f95d6.zip | |
restructure results
Diffstat (limited to 'results/classifier/zero-shot/118/ppc/2298')
| -rw-r--r-- | results/classifier/zero-shot/118/ppc/2298 | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/results/classifier/zero-shot/118/ppc/2298 b/results/classifier/zero-shot/118/ppc/2298 new file mode 100644 index 00000000..1c538e25 --- /dev/null +++ b/results/classifier/zero-shot/118/ppc/2298 @@ -0,0 +1,42 @@ +ppc: 0.806 +graphic: 0.543 +semantic: 0.444 +device: 0.213 +vnc: 0.193 +socket: 0.168 +network: 0.139 +register: 0.136 +performance: 0.126 +x86: 0.108 +i386: 0.102 +boot: 0.087 +files: 0.085 +virtual: 0.075 +peripherals: 0.074 +architecture: 0.072 +VMM: 0.065 +hypervisor: 0.065 +mistranslation: 0.056 +KVM: 0.052 +user-level: 0.050 +permissions: 0.046 +kernel: 0.043 +debug: 0.033 +PID: 0.027 +arm: 0.026 +assembly: 0.022 +TCG: 0.019 +risc-v: 0.018 + +Invariant result in opts-visitor.c +Description of problem: +Expressions: +1) val2 <= INT64_MAX +2) INT64_MIN <= val2 +in line [431](https://github.com/qemu/qemu/blob/62dbe54c24dbf77051bafe1039c31ddc8f37602d/qapi/opts-visitor.c#L431) are always true. + +Seems like this checks are redundant. + +Found by Linux Verification Center (portal.linuxtesting.ru) with SVACE. + +Author A. Burke. |