Update 5.3-value.md

src/5.3-value.md

@@ -7,12 +7,12 @@ This module defines a graph data structure to store the data parsed from Rust mi
 ## Quick Usage Guide
 Developers can test the feature using the following command:
 ```shell
-cargo rap -dataflow
+cargo rapx -dataflow
 ```
 
 To switch in debug mode and draw the graph with `graphviz`, execute the following command.
 ```shell
-cargo rap -dataflow=debug
+cargo rapx -dataflow=debug
 ```
 
 For example, we can apply the value flow analysis to the `dangling_min` case, and the result of function `create_vec` is as follows: