diff --git a/clang/docs/BSC/BiShengCLanguageUserManual.md b/clang/docs/BSC/BiShengCLanguageUserManual.md
index fedc62494df58eae32ba1b278d2fff5cbd0c2a77..12b4ba1c0e10acffff1839825bd2eb88fb3868a4 100644
--- a/clang/docs/BSC/BiShengCLanguageUserManual.md
+++ b/clang/docs/BSC/BiShengCLanguageUserManual.md
@@ -4373,6 +4373,20 @@ safe void nullptrTest(void) {
 ```
 对于上面这个示例，当编译选项`-nullability-check`不存在或者`-nullability-check=safeonly`时，只有在`safe`区的`error2`会被报告；当`-nullability-check=none`时，`error1`和`error2`均不会被报告；当`-nullability-check=all`时，非安全区的`error1`和安全区`error2`均会被报告。
 
+对于上面这个示例，当编译选项`-nullability-check`不存在或者`-nullability-check=safeonly`时，只有在`safe`区的`error2`会被报告；当`-nullability-check=none`时，`error1`和`error2`均不会被报告；当`-nullability-check=all`时，非安全区的`error1`和安全区`error2`均会被报告。
+
+对于上面这个示例，当编译选项`-nullability-check`不存在或者`-nullability-check=safeonly`时，只有在`safe`区的`error2`会被报告；当`-nullability-check=none`时，`error1`和`error2`均不会被报告；当`-nullability-check=all`时，非安全区的`error1`和安全区`error2`均会被报告。
+
+`safe_malloc`是 BiShengC 语言提供的一个安全的内存分配函数。
+该函数接收一个泛型类型`T`的变量，表示要分配的内存的大小以及分配后对内存的初始化。
+该函数的返回值为`T * owned`类型，即指向分配好的堆内存的`owned`指针。
+一些具体的使用例子如下。
+
+`safe_malloc`是 BiShengC 语言提供的一个安全的内存分配函数。
+该函数接收一个泛型类型`T`的变量，表示要分配的内存的大小以及分配后对内存的初始化。
+该函数的返回值为`T * owned`类型，即指向分配好的堆内存的`owned`指针。
+一些具体的使用例子如下。
+
 ## 标准库
 
 ### 安全 API