summary refs log tree commit diff stats
path: root/classification_output/01/semantic/gitlab_semantic_blsi
diff options
context:
space:
mode:
authorChristian Krinitsin <mail@krinitsin.com>2025-06-01 21:19:55 +0200
committerChristian Krinitsin <mail@krinitsin.com>2025-06-01 21:19:55 +0200
commite5634e2806195bee44407853c4bf8776f7abfa4f (patch)
tree6c6e2503f2cd56c0edf08a55d5c8fcb3832fabd0 /classification_output/01/semantic/gitlab_semantic_blsi
parent05ed9b00104b3da2e9cb0d541b5c5bbceb027fde (diff)
downloademulator-bug-study-e5634e2806195bee44407853c4bf8776f7abfa4f.tar.gz
emulator-bug-study-e5634e2806195bee44407853c4bf8776f7abfa4f.zip
add the outputs of the first five revisions of the classifier
Diffstat (limited to 'classification_output/01/semantic/gitlab_semantic_blsi')
-rw-r--r--classification_output/01/semantic/gitlab_semantic_blsi25
1 files changed, 25 insertions, 0 deletions
diff --git a/classification_output/01/semantic/gitlab_semantic_blsi b/classification_output/01/semantic/gitlab_semantic_blsi
new file mode 100644
index 00000000..84c589fb
--- /dev/null
+++ b/classification_output/01/semantic/gitlab_semantic_blsi
@@ -0,0 +1,25 @@
+semantic: 0.983
+instruction: 0.964
+other: 0.609
+mistranslation: 0.606
+
+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.