summary refs log tree commit diff stats
path: root/classification/semantic_issues/gitlab_semantic_blsmsk
diff options
context:
space:
mode:
authorChristian Krinitsin <mail@krinitsin.com>2025-06-03 14:41:43 +0200
committerChristian Krinitsin <mail@krinitsin.com>2025-06-03 14:41:43 +0200
commitd760c82f4244dc47f5413c3c88b640bb1f0f2d9e (patch)
treeba963e9c548a5f19da2665005ce85946c601cd36 /classification/semantic_issues/gitlab_semantic_blsmsk
parent256709d2eb3fd80d768a99964be5caa61effa2a0 (diff)
downloadqemu-analysis-d760c82f4244dc47f5413c3c88b640bb1f0f2d9e.tar.gz
qemu-analysis-d760c82f4244dc47f5413c3c88b640bb1f0f2d9e.zip
move semantic_issues dir to results
Diffstat (limited to 'classification/semantic_issues/gitlab_semantic_blsmsk')
-rw-r--r--classification/semantic_issues/gitlab_semantic_blsmsk27
1 files changed, 0 insertions, 27 deletions
diff --git a/classification/semantic_issues/gitlab_semantic_blsmsk b/classification/semantic_issues/gitlab_semantic_blsmsk
deleted file mode 100644
index b950faa21..000000000
--- a/classification/semantic_issues/gitlab_semantic_blsmsk
+++ /dev/null
@@ -1,27 +0,0 @@
-x86 BLSMSK semantic bug
-Description of problem
-The result of instruction BLSMSK is different with from the CPU. The value of CF is different.
-
-Steps to reproduce
-
-Compile this code
-
-void main() {
-    asm("mov rax, 0x65b2e276ad27c67");
-    asm("mov rbx, 0x62f34955226b2b5d");
-    asm("blsmsk eax, ebx");
-}
-
-Execute and compare the result with the CPU.
-
-CPU
-
-CF = 0
-
-
-QEMU
-
-CF = 1
-
-Additional information
-This bug is discovered by research conducted by KAIST SoftSec.