1 files changed, 0 insertions, 28 deletions
diff --git a/results/classifier/03/semantic/gitlab_semantic_blsi b/results/classifier/03/semantic/gitlab_semantic_blsi
deleted file mode 100644
index 38f775a07..000000000
--- a/results/classifier/03/semantic/gitlab_semantic_blsi
+++ /dev/null
@@ -1,28 +0,0 @@
-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.