summary refs log tree commit diff stats
path: root/results/classifier/003/semantic/gitlab_semantic_blsi
diff options
context:
space:
mode:
authorChristian Krinitsin <mail@krinitsin.com>2025-06-03 12:04:13 +0000
committerChristian Krinitsin <mail@krinitsin.com>2025-06-03 12:04:13 +0000
commit256709d2eb3fd80d768a99964be5caa61effa2a0 (patch)
tree05b2352fba70923126836a64b6a0de43902e976a /results/classifier/003/semantic/gitlab_semantic_blsi
parent2ab14fa96a6c5484b5e4ba8337551bb8dcc79cc5 (diff)
downloadqemu-analysis-256709d2eb3fd80d768a99964be5caa61effa2a0.tar.gz
qemu-analysis-256709d2eb3fd80d768a99964be5caa61effa2a0.zip
add new classifier result
Diffstat (limited to 'results/classifier/003/semantic/gitlab_semantic_blsi')
-rw-r--r--results/classifier/003/semantic/gitlab_semantic_blsi28
1 files changed, 28 insertions, 0 deletions
diff --git a/results/classifier/003/semantic/gitlab_semantic_blsi b/results/classifier/003/semantic/gitlab_semantic_blsi
new file mode 100644
index 000000000..38f775a07
--- /dev/null
+++ b/results/classifier/003/semantic/gitlab_semantic_blsi
@@ -0,0 +1,28 @@
+semantic: 0.983
+instruction: 0.964
+boot: 0.678
+network: 0.672
+other: 0.609
+mistranslation: 0.606
+KVM: 0.412
+
+x86 BLSI and BLSR semantic bug
+Description of problem
+The result of instruction BLSI and BLSR is different from the CPU. The value of CF is different.
+
+Steps to reproduce
+
+Compile this code
+
+
+void main() {
+    asm("blsi rax, rbx");
+}
+
+
+
+Execute and compare the result with the CPU. The value of CF is exactly the opposite. This problem happens with BLSR, too.
+
+
+Additional information
+This bug is discovered by research conducted by KAIST SoftSec.