From 8de3305c811a6f8bcfa4062131b7a81e1a94039e Mon Sep 17 00:00:00 2001
From: zhangzhenghsy <40477045+zhangzhenghsy@users.noreply.github.com>
Date: Sun, 16 Jun 2024 23:28:30 -0700
Subject: [PATCH] Update README.md

---
 README.md | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/README.md b/README.md
index 6343ca6..0e88700 100644
--- a/README.md
+++ b/README.md
@@ -1,11 +1,6 @@
-# Linux_kernel_UC_KLEE
-
-Linux_kernel_UC_KLEE is an under constraint symbolic execution engine for the Linux kernel based on [KLEE](https://github.com/klee/klee).
-
-- KLEE: v2.2
-- LLVM/Clang: 11
-- OS: Ubuntu 20.04
+# SymBisect
 
+To do
 ## Feature
 
 - handle some the Linux kernel functions, e.g., kmalloc()