Update 6.2-memleak.md

Author: hxuhack

src/6.2-memleak.md

@@ -37,7 +37,7 @@ impl<T> Drop for Proxy<T> {
 ```
 
 ## What's behind rCanary?
-Canary is a component of RAP, and the overall architecture is as shown in the following diagram:
+Canary is a component of RAPx, and the overall architecture is as shown in the following diagram:
 ![Framework of type analysis.](figure/rcanary.png)
 
 It can generate SMT-Lib2 format constraints for Rust MIR and is implemented as a Cargo component. We design an encoder to abstract data with heap allocation and formalize a refined leak-free memory model based on boolean satisfiability.
@@ -71,9 +71,9 @@ Before using rCanary, please make sure that the Z3 solver is installed in your o
 
 If not, run: `brew install z3` or `apt-get install z3`, with a minimum version of 4.10 for Z3.
 
-Running rCanary within RAP is very simple, just enter the sysroot (root directory) of a Cargo program and run:
+Running rCanary within RAPx is very simple, just enter the sysroot (root directory) of a Cargo program and run:
 ```shell
-cargo rap -mleak
+cargo rapx -mleak
 ```
 
 > Note: Analysis will be terminated if the directory or toolchain version is not `nightly-2024-06-30`.
@@ -106,7 +106,7 @@ fn main() {
 }
 ```
 
-Running `cargo rap -mleak`:
+Running `cargo rapx -mleak`:
 ```rust
 11-3:20:49:9 |FRONT| |WARN | [RAP] RCanary: Leak Function: Unsat DefId(0:3 ~ t[6d38]::main) src/main.rs:2:1: 8:2 (#0)
 11-3:20:49:9 |FRONT| |WARN | [RAP] RCanary: LeakItem Candidates: _2 = std::boxed::Box::<&str>::into_raw(move _3) -> [return: bb2, unwind: bb3], src/main.rs:5:15: 5:33 (#0)
@@ -262,4 +262,4 @@ bb 3 {
 CleanUp: true
 resume @ UnwindResume
 }
-```
+```