Update README.md

seclab-ucr · Jun 17, 2024 · 8de3305 · 8de3305
1 parent 6eeefa8
commit 8de3305
Showing 1 changed file with 2 additions and 7 deletions.
diff --git 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()