Update 5.1-alias.md

src/5.1-alias.md

@@ -100,7 +100,7 @@ fn foo(_1: &Point) -> &i32 {
 
 Developers can test the feature using the following command:
 ```
-cargo rap -alias=mop
+cargo rapx -alias=mop
 ```
 
 For example, we can apply the mop analysis to the first case, and the result is as follows:
@@ -151,9 +151,9 @@ mop_graph.solve_scc();
 mop_graph.check(0, &mut self.fn_map);
 ```
 
-* **Graph preparation**: Construct the control-flow graph for the target function. See the [source code](https://github.com/Artisan-Lab/RAP/blob/f76b764cb5b66ccfddd19dc083586b7a6a90b576/rap/src/analysis/core/alias/mop/graph.rs#L129).
-* **SCC shrinkage**: Extract the strongly connected components (SCCs) and shrink SCCs of the control-flow graph. See the [source code](https://github.com/Artisan-Lab/RAP/blob/f76b764cb5b66ccfddd19dc083586b7a6a90b576/rap/src/analysis/core/alias/mop/graph.rs#L417).
-* **Alias Check**: Traversal the control-flow graph and perform alias analysis. See the [source code](https://github.com/Artisan-Lab/RAP/blob/f76b764cb5b66ccfddd19dc083586b7a6a90b576/rap/src/analysis/core/alias/mop/mop.rs#L34)
+* **Graph preparation**: Construct the control-flow graph for the target function. See the [source code](https://github.com/Artisan-Lab/RAPx/blob/f76b764cb5b66ccfddd19dc083586b7a6a90b576/rap/src/analysis/core/alias/mop/graph.rs#L129).
+* **SCC shrinkage**: Extract the strongly connected components (SCCs) and shrink SCCs of the control-flow graph. See the [source code](https://github.com/Artisan-Lab/RAPx/blob/f76b764cb5b66ccfddd19dc083586b7a6a90b576/rap/src/analysis/core/alias/mop/graph.rs#L417).
+* **Alias Check**: Traversal the control-flow graph and perform alias analysis. See the [source code](https://github.com/Artisan-Lab/RAPx/blob/f76b764cb5b66ccfddd19dc083586b7a6a90b576/rap/src/analysis/core/alias/mop/mop.rs#L34)
 
 ## Lattice-based Alias Analysis
 TODO